quick-process
Safe HaskellNone
LanguageGHC2024

System.Process.Quick.Predicate

Documentation

refinErr :: forall {k} (p :: k) a. (Predicate p a, Show a) => a -> Refined p a Source #

type ArgCollector (m :: Type -> Type) = (MonadIO m, MonadWriter [FilePath] m) => forall v. Data v => v -> m v Source #

class RefinedInArgLocator (x :: k) where Source #

Methods

locateRefinedInArg :: Proxy x -> ArgCollector m Source #

Instances

Instances details
RefinedInArgLocator (Refined InDir FilePath) Source # 
Instance details

Defined in System.Process.Quick.Predicate.InDir

Methods

locateRefinedInArg :: Proxy (Refined InDir 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 #

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 #

class RefinedOutArgLocator (x :: k) where Source #

Methods

locateRefinedOutArg :: Proxy x -> ArgCollector m Source #

Instances

Instances details
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 #