IOTasks
Safe HaskellNone

Test.IOTasks.OutputPattern

Synopsis

Documentation

data PatternKind Source #

Constructors

SpecificationP 
TraceP 

data OutputPattern (k :: PatternKind) Source #

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 'TraceP) Source # 
Instance details

Defined in Test.IOTasks.Internal.OutputPattern

Methods

showsPrec :: Int -> OutputPattern 'TraceP -> ShowS

show :: OutputPattern 'TraceP -> String

showList :: [OutputPattern 'TraceP] -> 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

wildcard :: forall (k :: PatternKind). OutputPattern k Source #

nonEmptyWildcard :: forall (k :: PatternKind). OutputPattern k Source #

text :: forall (k :: PatternKind). String -> OutputPattern k Source #

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

decoratedResultOf :: forall a (tk :: TermKind). (Typeable a, Show a) => Term tk a -> OutputPattern 'SpecificationP Source #

Mandatory decoration of some term's result

Conceptually we have

writeOutput [decoratedResultOf t]
= writeOutput [nonEmptyWildcard <> resultOf t <> wildcard, wildcard <> resultOf t <> nonEmptyWildcard]

but matching failure will produce a specialized message

valueTerms :: forall (k :: PatternKind). OutputPattern k -> [SomeTermK] Source #

showPattern :: forall (k :: PatternKind). OutputPattern k -> String Source #

showPatternSimple :: forall (k :: PatternKind). OutputPattern k -> String Source #

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

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

coverage relation on patterns