| Safe Haskell | None |
|---|---|
| Language | GHC2024 |
System.Process.Quick.CallEffect
Synopsis
- data TimeReference
- = LaunchTime
- | BootTime
- | ExitTime
- | Now
- data FsPredicate
- data FsEffect
- = FsPathPredicate FilePath [FsPredicate]
- | FsNot FsEffect
- | FsAnd [FsEffect]
- | FsOr [FsEffect]
- data ViRex = ViRex ByteString Regex
- data OutMatcher
- data CallEffect
- class CallSpecEffect cse where
- unsatisfiedEffects :: MonadIO m => cse -> m [CallEffect]
Documentation
data TimeReference Source #
Constructors
| LaunchTime | |
| BootTime | |
| ExitTime | |
| Now |
Instances
| Show TimeReference Source # | |
Defined in System.Process.Quick.CallEffect Methods showsPrec :: Int -> TimeReference -> ShowS # show :: TimeReference -> String # showList :: [TimeReference] -> ShowS # | |
| Eq TimeReference Source # | |
Defined in System.Process.Quick.CallEffect Methods (==) :: TimeReference -> TimeReference -> Bool # (/=) :: TimeReference -> TimeReference -> Bool # | |
| Ord TimeReference Source # | |
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
| Show FsPredicate Source # | |
Defined in System.Process.Quick.CallEffect Methods showsPrec :: Int -> FsPredicate -> ShowS # show :: FsPredicate -> String # showList :: [FsPredicate] -> ShowS # | |
| Eq FsPredicate Source # | |
Defined in System.Process.Quick.CallEffect | |
Constructors
| FsPathPredicate FilePath [FsPredicate] | |
| FsNot FsEffect | |
| FsAnd [FsEffect] | |
| FsOr [FsEffect] |
Constructors
| ViRex ByteString Regex |
Instances
data OutMatcher Source #
Constructors
| ExactMatching ByteString | |
| WholeMatching ViRex | |
| LineMatching ViRex |
Instances
| Show OutMatcher Source # | |
Defined in System.Process.Quick.CallEffect Methods showsPrec :: Int -> OutMatcher -> ShowS # show :: OutMatcher -> String # showList :: [OutMatcher] -> ShowS # | |
| Eq OutMatcher Source # | |
Defined in System.Process.Quick.CallEffect | |
data CallEffect Source #
Constructors
| SleepFor Integer | |
| ExitCode Int | |
| FsEffect FsEffect | |
| OrCe [CallEffect] | |
| AndCe [CallEffect] | |
| NotCe [CallEffect] | |
| StdOutputCe OutMatcher | |
| StdErrorCe OutMatcher |
Instances
| Show CallEffect Source # | |
Defined in System.Process.Quick.CallEffect Methods showsPrec :: Int -> CallEffect -> ShowS # show :: CallEffect -> String # showList :: [CallEffect] -> ShowS # | |
| Eq CallEffect Source # | |
Defined in System.Process.Quick.CallEffect | |
class CallSpecEffect cse where Source #
instances are generated for types with CallSpec and Subcases The class is introduced because, expected effects don't have fields in a CallSpec record
Methods
unsatisfiedEffects :: MonadIO m => cse -> m [CallEffect] Source #