Safe Haskell | None |
---|
Synopsis
- data PatternKind
- data OutputPattern (k :: PatternKind)
- wildcard :: forall (k :: PatternKind). OutputPattern k
- text :: forall (k :: PatternKind). String -> OutputPattern k
- resultOf :: forall a (tk :: TermKind). (Typeable a, Show a) => Term tk a -> OutputPattern 'SpecificationP
- valueTerms :: forall (k :: PatternKind). OutputPattern k -> [SomeTermK]
- showPattern :: forall (k :: PatternKind). OutputPattern k -> String
- showPatternSimple :: forall (k :: PatternKind). OutputPattern k -> String
- evalPattern :: forall (k :: PatternKind). ValueMap -> OutputPattern k -> (OverflowWarning, OutputPattern 'TraceP)
- (>:) :: OutputPattern 'TraceP -> OutputPattern 'TraceP -> Bool
Documentation
data OutputPattern (k :: PatternKind) Source #
Instances
wildcard :: 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 #
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