IOTasks-2.2.0
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.IOTasks.Internal.OutputPattern

Synopsis

Documentation

data PatternKind Source #

Constructors

SpecificationP 
TraceP 

data OutputPattern (k :: PatternKind) where Source #

Constructors

Wildcard :: OutputPattern k 
Text :: String -> OutputPattern k 
Sequence :: OutputPattern k -> OutputPattern k -> OutputPattern k 
ResultOf :: forall (tk :: TermKind) a. (Typeable a, Show a) => Term tk a -> OutputPattern 'SpecificationP 

Instances

Instances details
Monoid (OutputPattern k) Source # 
Instance details

Defined in Test.IOTasks.Internal.OutputPattern

Methods

mempty :: OutputPattern k #

mappend :: OutputPattern k -> OutputPattern k -> OutputPattern k #

mconcat :: [OutputPattern k] -> OutputPattern k #

Semigroup (OutputPattern k) Source # 
Instance details

Defined in Test.IOTasks.Internal.OutputPattern

Methods

(<>) :: OutputPattern k -> OutputPattern k -> OutputPattern k #

sconcat :: NonEmpty (OutputPattern k) -> OutputPattern k #

stimes :: Integral b => b -> OutputPattern k -> OutputPattern k #

Show (OutputPattern k) Source # 
Instance details

Defined in Test.IOTasks.Internal.OutputPattern

Methods

showsPrec :: Int -> OutputPattern k -> ShowS #

show :: OutputPattern k -> String #

showList :: [OutputPattern k] -> ShowS #

Eq (OutputPattern k) Source # 
Instance details

Defined in Test.IOTasks.Internal.OutputPattern

Methods

(==) :: OutputPattern k -> OutputPattern k -> Bool #

(/=) :: OutputPattern k -> OutputPattern k -> Bool #

Ord (OutputPattern k) Source # 
Instance details

Defined in Test.IOTasks.Internal.OutputPattern

Methods

compare :: OutputPattern k -> OutputPattern k -> Ordering #

(<) :: OutputPattern k -> OutputPattern k -> Bool #

(<=) :: OutputPattern k -> OutputPattern k -> Bool #

(>) :: OutputPattern k -> OutputPattern k -> Bool #

(>=) :: OutputPattern k -> OutputPattern k -> Bool #

max :: OutputPattern k -> OutputPattern k -> OutputPattern k #

min :: OutputPattern k -> OutputPattern k -> OutputPattern k #

convert :: OutputPattern k -> OutputPattern 'SpecificationP Source #

wildcard :: OutputPattern k Source #

text :: String -> OutputPattern k Source #

resultOf :: (Typeable a, Show a) => Term tk a -> OutputPattern 'SpecificationP Source #

valueTerms :: OutputPattern k -> [SomeTermK] Source #

showPattern :: OutputPattern k -> String Source #

showPatternSimple :: OutputPattern k -> String Source #

evalPattern :: ValueMap -> OutputPattern k -> (OverflowWarning, OutputPattern 'TraceP) Source #

type AddLinebreaks = Bool Source #

evalPatternSet :: ValueMap -> Set (OutputPattern k) -> (OverflowWarning, Set (OutputPattern 'TraceP)) Source #

evalPatternSet' :: AddLinebreaks -> ValueMap -> Set (OutputPattern k) -> (OverflowWarning, Set (OutputPattern 'TraceP)) Source #

(>:) :: OutputPattern 'TraceP -> OutputPattern 'TraceP -> Bool Source #

coverage relation on patterns