quick-process-0.0.1: sandbox-effect/CallSpecs/CpManyToDir.hs
-- {-# OPTIONS_GHC -ddump-splices #-}
{-# LANGUAGE TemplateHaskell #-}
module CallSpecs.CpManyToDir where
import System.Process.Quick
import System.Process.Quick.Prelude
$(genCallSpec
[TrailingHelpValidate, SandboxValidate]
"cp"
( VarArg @(Refined (InFile "hs") (NeList FilePath)) "source"
.*. VarArg @(Refined InDir FilePath) "destination"
.*. HNil
)
)