Safe Haskell	None
Language	GHC2024

System.Process.Quick.Predicate.InFile

Documentation

data InFile (ext :: Symbol) Source #

Instances

Instances details

KnownSymbol e => Predicate (InFile e :: Type) String Source #

Instance details

Defined in System.Process.Quick.Predicate.InFile

Methods

validate :: Proxy (InFile e) -> String -> Maybe RefineException #

Predicate (InFile e) String => Predicate (InFile e :: Type) (NeList String) Source #

Instance details

Defined in System.Process.Quick.Predicate.InFile

Methods

validate :: Proxy (InFile e) -> NeList String -> Maybe RefineException #

Predicate (InFile e) String => Predicate (InFile e :: Type) [String] Source #

Instance details

Defined in System.Process.Quick.Predicate.InFile

Methods

validate :: Proxy (InFile e) -> [String] -> Maybe RefineException #

RefinedInArgLocator (Refined (InFile e) FilePath :: Type) Source #

Instance details

Defined in System.Process.Quick.Predicate.InFile

Methods

locateRefinedInArg :: Proxy (Refined (InFile e) FilePath) -> ArgCollector m Source #

RefinedInArgLocator (Refined (InFile e) (NeList FilePath) :: Type) Source #

Instance details

Defined in System.Process.Quick.Predicate.InFile

Methods

locateRefinedInArg :: Proxy (Refined (InFile e) (NeList FilePath)) -> ArgCollector m Source #

RefinedInArgLocator (Refined (InFile e) [FilePath] :: Type) Source #

Instance details

Defined in System.Process.Quick.Predicate.InFile

Methods

locateRefinedInArg :: Proxy (Refined (InFile e) [FilePath]) -> ArgCollector m Source #

KnownSymbol ext => Data (InFile ext) Source #

Instance details

Defined in System.Process.Quick.Predicate.InFile

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> InFile ext -> c (InFile ext) #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (InFile ext) #

toConstr :: InFile ext -> Constr #

dataTypeOf :: InFile ext -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (InFile ext)) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (InFile ext)) #

gmapT :: (forall b. Data b => b -> b) -> InFile ext -> InFile ext #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> InFile ext -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> InFile ext -> r #

gmapQ :: (forall d. Data d => d -> u) -> InFile ext -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> InFile ext -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> InFile ext -> m (InFile ext) #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> InFile ext -> m (InFile ext) #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> InFile ext -> m (InFile ext) #

Generic (InFile ext) Source #

Instance details

Defined in System.Process.Quick.Predicate.InFile

Associated Types

type Rep (InFile ext)
Instance details Defined in System.Process.Quick.Predicate.InFile type Rep (InFile ext) = D1 ('MetaData "InFile" "System.Process.Quick.Predicate.InFile" "quick-process-0.0.1-inplace" 'False) (V1 :: Type -> Type)

Methods

from :: InFile ext -> Rep (InFile ext) x #

to :: Rep (InFile ext) x -> InFile ext #

Show (InFile ext) Source #

Instance details

Defined in System.Process.Quick.Predicate.InFile

Methods

showsPrec :: Int -> InFile ext -> ShowS #

show :: InFile ext -> String #

showList :: [InFile ext] -> ShowS #

Eq (InFile ext) Source #

Instance details

Defined in System.Process.Quick.Predicate.InFile

Methods

(==) :: InFile ext -> InFile ext -> Bool #

(/=) :: InFile ext -> InFile ext -> Bool #

KnownSymbol e => Arbitrary (Refined (InFile e) FilePath) Source #

Instance details

Defined in System.Process.Quick.Predicate.InFile

Methods

arbitrary :: Gen (Refined (InFile e) FilePath) #

shrink :: Refined (InFile e) FilePath -> [Refined (InFile e) FilePath] #

KnownSymbol e => Arbitrary (Refined (InFile e) (NeList FilePath)) Source #

Instance details

Defined in System.Process.Quick.Predicate.InFile

Methods

arbitrary :: Gen (Refined (InFile e) (NeList FilePath)) #

shrink :: Refined (InFile e) (NeList FilePath) -> [Refined (InFile e) (NeList FilePath)] #

KnownSymbol e => Arbitrary (Refined (InFile e) [FilePath]) Source #

Instance details

Defined in System.Process.Quick.Predicate.InFile

Methods

arbitrary :: Gen (Refined (InFile e) [FilePath]) #

shrink :: Refined (InFile e) [FilePath] -> [Refined (InFile e) [FilePath]] #

type Rep (InFile ext) Source #

Instance details

Defined in System.Process.Quick.Predicate.InFile

type Rep (InFile ext) = D1 ('MetaData "InFile" "System.Process.Quick.Predicate.InFile" "quick-process-0.0.1-inplace" 'False) (V1 :: Type -> Type)

genFilePathBy :: forall (e :: Symbol). KnownSymbol e => Proxy e -> Gen FilePath Source #

data OutFile (ext :: Symbol) Source #

Instances

Instances details

KnownSymbol e => Predicate (OutFile e :: Type) String Source #
Instance details Defined in System.Process.Quick.Predicate.InFile Methods validate :: Proxy (OutFile e) -> String -> Maybe RefineException #
RefinedOutArgLocator (Refined (OutFile e) FilePath :: Type) Source #
Instance details Defined in System.Process.Quick.Predicate.InFile Methods locateRefinedOutArg :: Proxy (Refined (OutFile e) FilePath) -> ArgCollector m Source #
KnownSymbol e => Arbitrary (Refined (OutFile e) FilePath) Source #
Instance details Defined in System.Process.Quick.Predicate.InFile Methods arbitrary :: Gen (Refined (OutFile e) FilePath) # shrink :: Refined (OutFile e) FilePath -> [Refined (OutFile e) FilePath] #

findRefinedStrings :: forall {k} v (p :: k) m x. (Typeable p, MonadWriter [FilePath] m, MonadIO m, Typeable x, Typeable v, Data x) => Proxy p -> (v -> [String]) -> x -> m x Source #