Safe Haskell	None
Language	GHC2024

System.Process.Quick.CallEffect

Contents

Orphan instances

Documentation

data TimeReference Source #

Constructors

LaunchTime
BootTime
ExitTime
Now

Instances

Instances details

Show TimeReference Source #
Instance details Defined in System.Process.Quick.CallEffect Methods showsPrec :: Int -> TimeReference -> ShowS # show :: TimeReference -> String # showList :: [TimeReference] -> ShowS #
Eq TimeReference Source #
Instance details Defined in System.Process.Quick.CallEffect Methods (==) :: TimeReference -> TimeReference -> Bool # (/=) :: TimeReference -> TimeReference -> Bool #
Ord TimeReference Source #
Instance details Defined in System.Process.Quick.CallEffect Methods compare :: TimeReference -> TimeReference -> Ordering # (<) :: TimeReference -> TimeReference -> Bool # (<=) :: TimeReference -> TimeReference -> Bool # (>) :: TimeReference -> TimeReference -> Bool # (>=) :: TimeReference -> TimeReference -> Bool # max :: TimeReference -> TimeReference -> TimeReference # min :: TimeReference -> TimeReference -> TimeReference #

data FsPredicate Source #

Constructors

FsExists
DirStructMatches FsEffect
FsPathHasPerm FileMode	AND
FsTime Ordering TimeReference

Instances

Instances details

Show FsPredicate Source #
Instance details Defined in System.Process.Quick.CallEffect Methods showsPrec :: Int -> FsPredicate -> ShowS # show :: FsPredicate -> String # showList :: [FsPredicate] -> ShowS #
Eq FsPredicate Source #
Instance details Defined in System.Process.Quick.CallEffect Methods (==) :: FsPredicate -> FsPredicate -> Bool # (/=) :: FsPredicate -> FsPredicate -> Bool #

data FsEffect Source #

Constructors

FsPathPredicate FilePath [FsPredicate]
FsNot FsEffect
FsAnd [FsEffect]
FsOr [FsEffect]

Instances

Instances details

Show FsEffect Source #
Instance details Defined in System.Process.Quick.CallEffect Methods showsPrec :: Int -> FsEffect -> ShowS # show :: FsEffect -> String # showList :: [FsEffect] -> ShowS #
Eq FsEffect Source #
Instance details Defined in System.Process.Quick.CallEffect Methods (==) :: FsEffect -> FsEffect -> Bool # (/=) :: FsEffect -> FsEffect -> Bool #

data Mismatch a Source #

Constructors

Mismatch
Fields expected :: a got :: a

Instances

Instances details

Show a => Show (Mismatch a) Source #
Instance details Defined in System.Process.Quick.CallEffect Methods showsPrec :: Int -> Mismatch a -> ShowS # show :: Mismatch a -> String # showList :: [Mismatch a] -> ShowS #
Eq a => Eq (Mismatch a) Source #
Instance details Defined in System.Process.Quick.CallEffect Methods (==) :: Mismatch a -> Mismatch a -> Bool # (/=) :: Mismatch a -> Mismatch a -> Bool #

data CallEffect Source #

Constructors

SleepFor Integer
ExitCode (Mismatch ExitCode)
FsEffect FsEffect
OrCe [CallEffect]
AndCe [CallEffect]
NotCe [CallEffect]
StdOutputCe
Fields rx :: String output :: String
StdErrorCe
Fields rx :: String output :: String

Instances

Instances details

Show CallEffect Source #
Instance details Defined in System.Process.Quick.CallEffect Methods showsPrec :: Int -> CallEffect -> ShowS # show :: CallEffect -> String # showList :: [CallEffect] -> ShowS #
Eq CallEffect Source #
Instance details Defined in System.Process.Quick.CallEffect Methods (==) :: CallEffect -> CallEffect -> Bool # (/=) :: CallEffect -> CallEffect -> Bool #

data CsExecReport Source #

Constructors

CsExecReport
Fields exitCode :: ExitCode stdErr :: String stdOut :: String execTime :: NominalDiffTime processDir :: FilePath

Instances

Instances details

Show CsExecReport Source #
Instance details Defined in System.Process.Quick.CallEffect Methods showsPrec :: Int -> CsExecReport -> ShowS # show :: CsExecReport -> String # showList :: [CsExecReport] -> ShowS #
Eq CsExecReport Source #
Instance details Defined in System.Process.Quick.CallEffect Methods (==) :: CsExecReport -> CsExecReport -> Bool # (/=) :: CsExecReport -> CsExecReport -> Bool #

class CallSpecOutcomeCheck c where Source #

Methods

check :: MonadIO m => CsExecReport -> c -> m [CallEffect] Source #

call after callSpec in the same directory

Instances

Instances details

CallSpecOutcomeCheck OutcomeChecker Source #
Instance details Defined in System.Process.Quick.CallEffect Methods check :: MonadIO m => CsExecReport -> OutcomeChecker -> m [CallEffect] Source #

data OutcomeChecker Source #

Constructors

ExitCodeEqualTo ExitCode
StdErrMatches String
StdOutMatches String
FileCreated FilePath
DirCreated FilePath

Instances

Instances details

Data OutcomeChecker Source #

Instance details

Defined in System.Process.Quick.CallEffect

Methods

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

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

toConstr :: OutcomeChecker -> Constr #

dataTypeOf :: OutcomeChecker -> DataType #

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

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

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

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

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

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

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

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

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

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

Generic OutcomeChecker Source #

Instance details

Defined in System.Process.Quick.CallEffect

Associated Types

type Rep OutcomeChecker

Instance details

Defined in System.Process.Quick.CallEffect

type Rep OutcomeChecker = D1 ('MetaData "OutcomeChecker" "System.Process.Quick.CallEffect" "quick-process-0.0.3-inplace" 'False) ((C1 ('MetaCons "ExitCodeEqualTo" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ExitCode)) :+: C1 ('MetaCons "StdErrMatches" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))) :+: (C1 ('MetaCons "StdOutMatches" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: (C1 ('MetaCons "FileCreated" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FilePath)) :+: C1 ('MetaCons "DirCreated" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FilePath)))))

Methods

from :: OutcomeChecker -> Rep OutcomeChecker x #

to :: Rep OutcomeChecker x -> OutcomeChecker #

Show OutcomeChecker Source #

Instance details

Defined in System.Process.Quick.CallEffect

Methods

showsPrec :: Int -> OutcomeChecker -> ShowS #

show :: OutcomeChecker -> String #

showList :: [OutcomeChecker] -> ShowS #

Eq OutcomeChecker Source #

Instance details

Defined in System.Process.Quick.CallEffect

Methods

(==) :: OutcomeChecker -> OutcomeChecker -> Bool #

(/=) :: OutcomeChecker -> OutcomeChecker -> Bool #

CallArgumentGen OutcomeChecker Source #

Instance details

Defined in System.Process.Quick.CallArgument

Methods

cArgName :: OutcomeChecker -> Maybe String Source #

progArgExpr :: OutcomeChecker -> QR Exp Source #

fieldExpr :: OutcomeChecker -> QR (Maybe VarBangType) Source #

outcomeCheckersExpr :: OutcomeChecker -> QR Exp Source #

initCallSpecsExpr :: OutcomeChecker -> QR Exp Source #

CallSpecOutcomeCheck OutcomeChecker Source #

Instance details

Defined in System.Process.Quick.CallEffect

Methods

check :: MonadIO m => CsExecReport -> OutcomeChecker -> m [CallEffect] Source #

Lift OutcomeChecker Source #

Instance details

Defined in System.Process.Quick.CallEffect

Methods

lift :: Quote m => OutcomeChecker -> m Exp #

liftTyped :: forall (m :: Type -> Type). Quote m => OutcomeChecker -> Code m OutcomeChecker #

type Rep OutcomeChecker Source #

Instance details

Defined in System.Process.Quick.CallEffect

type Rep OutcomeChecker = D1 ('MetaData "OutcomeChecker" "System.Process.Quick.CallEffect" "quick-process-0.0.3-inplace" 'False) ((C1 ('MetaCons "ExitCodeEqualTo" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ExitCode)) :+: C1 ('MetaCons "StdErrMatches" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))) :+: (C1 ('MetaCons "StdOutMatches" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: (C1 ('MetaCons "FileCreated" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FilePath)) :+: C1 ('MetaCons "DirCreated" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FilePath)))))

parseRx :: String -> Regex Source #

Orphan instances

Data ExitCode Source #
Instance details Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ExitCode -> c ExitCode # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ExitCode # toConstr :: ExitCode -> Constr # dataTypeOf :: ExitCode -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ExitCode) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ExitCode) # gmapT :: (forall b. Data b => b -> b) -> ExitCode -> ExitCode # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ExitCode -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ExitCode -> r # gmapQ :: (forall d. Data d => d -> u) -> ExitCode -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ExitCode -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ExitCode -> m ExitCode # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ExitCode -> m ExitCode # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ExitCode -> m ExitCode #
Lift ExitCode Source #
Instance details Methods lift :: Quote m => ExitCode -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => ExitCode -> Code m ExitCode #