Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.IOTasks.Trace

Synopsis

data AbstractTrace
data OptFlag
- = Optional
- | Mandatory
progRead :: Char -> AbstractTrace
progWrite :: OptFlag -> Set (OutputPattern 'TraceP) -> AbstractTrace
terminate :: AbstractTrace
outOfInputs :: AbstractTrace
data Trace
ordinaryTrace :: AbstractTrace -> Trace
pattern ProgRead :: Char -> Trace -> Trace
pattern ProgReadString :: String -> Trace -> Trace
pattern ProgWrite :: OptFlag -> Set (OutputPattern 'TraceP) -> Trace -> Trace
pattern Terminate :: Trace
pattern OutOfInputs :: Trace
inputSequence :: Trace -> [String]
isTerminating :: Trace -> Bool
data NTrace
normalizedTrace :: AbstractTrace -> NTrace
pattern NProgRead :: Char -> NTrace -> NTrace
pattern NProgReadString :: String -> NTrace -> NTrace
pattern NProgWrite :: OptFlag -> Set (OutputPattern 'TraceP) -> NTrace -> NTrace
pattern NTerminate :: NTrace
pattern NOutOfInputs :: NTrace
inputSequenceN :: NTrace -> [String]
isTerminatingN :: NTrace -> Bool
showTrace :: Trace -> Doc
showTraceSimple :: Trace -> Doc
showTraceN :: NTrace -> Doc
showTraceNSimple :: NTrace -> Doc
showTrace' :: (Doc -> Doc -> Doc) -> Trace -> Doc
showTraceSimple' :: (Doc -> Doc -> Doc) -> Trace -> Doc
showTraceN' :: (Doc -> Doc -> Doc) -> NTrace -> Doc
showTraceNSimple' :: (Doc -> Doc -> Doc) -> NTrace -> Doc
covers :: NTrace -> NTrace -> MatchResult
data MatchResult
isSuccessfulMatch :: MatchResult -> Bool
isInputMismatch :: MatchResult -> Bool
isOutputMismatch :: MatchResult -> Bool
isAlignmentMismatch :: MatchResult -> Bool
isTerminationMismatch :: MatchResult -> Bool
pPrintMatchResult :: (Doc -> Doc -> Doc) -> MatchResult -> Doc
pPrintMatchResultSimple :: (Doc -> Doc -> Doc) -> MatchResult -> Doc

Documentation

data AbstractTrace Source #

Instances

Instances details

Semigroup AbstractTrace Source #
Instance details Defined in Test.IOTasks.Trace Methods (<>) :: AbstractTrace -> AbstractTrace -> AbstractTrace # sconcat :: NonEmpty AbstractTrace -> AbstractTrace # stimes :: Integral b => b -> AbstractTrace -> AbstractTrace #
Show AbstractTrace Source #
Instance details Defined in Test.IOTasks.Trace Methods showsPrec :: Int -> AbstractTrace -> ShowS # show :: AbstractTrace -> String # showList :: [AbstractTrace] -> ShowS #

data OptFlag Source #

Constructors

Optional
Mandatory

Instances

Instances details

Show OptFlag Source #
Instance details Defined in Test.IOTasks.Trace Methods showsPrec :: Int -> OptFlag -> ShowS # show :: OptFlag -> String # showList :: [OptFlag] -> ShowS #
Eq OptFlag Source #
Instance details Defined in Test.IOTasks.Trace Methods (==) :: OptFlag -> OptFlag -> Bool # (/=) :: OptFlag -> OptFlag -> Bool #
Ord OptFlag Source #
Instance details Defined in Test.IOTasks.Trace Methods compare :: OptFlag -> OptFlag -> Ordering # (<) :: OptFlag -> OptFlag -> Bool # (<=) :: OptFlag -> OptFlag -> Bool # (>) :: OptFlag -> OptFlag -> Bool # (>=) :: OptFlag -> OptFlag -> Bool # max :: OptFlag -> OptFlag -> OptFlag # min :: OptFlag -> OptFlag -> OptFlag #

progRead :: Char -> AbstractTrace Source #

progWrite :: OptFlag -> Set (OutputPattern 'TraceP) -> AbstractTrace Source #

terminate :: AbstractTrace Source #

outOfInputs :: AbstractTrace Source #

data Trace Source #

Instances

Instances details

Semigroup Trace Source #
Instance details Defined in Test.IOTasks.Trace Methods (<>) :: Trace -> Trace -> Trace # sconcat :: NonEmpty Trace -> Trace # stimes :: Integral b => b -> Trace -> Trace #
Show Trace Source #
Instance details Defined in Test.IOTasks.Trace Methods showsPrec :: Int -> Trace -> ShowS # show :: Trace -> String # showList :: [Trace] -> ShowS #
Eq Trace Source #
Instance details Defined in Test.IOTasks.Trace Methods (==) :: Trace -> Trace -> Bool # (/=) :: Trace -> Trace -> Bool #
Pretty Trace Source #
Instance details Defined in Test.IOTasks.Trace Methods pPrintPrec :: PrettyLevel -> Rational -> Trace -> Doc # pPrint :: Trace -> Doc # pPrintList :: PrettyLevel -> [Trace] -> Doc #

ordinaryTrace :: AbstractTrace -> Trace Source #

pattern ProgRead :: Char -> Trace -> Trace Source #

pattern ProgReadString :: String -> Trace -> Trace Source #

pattern ProgWrite :: OptFlag -> Set (OutputPattern 'TraceP) -> Trace -> Trace Source #

pattern Terminate :: Trace Source #

pattern OutOfInputs :: Trace Source #

inputSequence :: Trace -> [String] Source #

isTerminating :: Trace -> Bool Source #

data NTrace Source #

Instances

Instances details

Semigroup NTrace Source #
Instance details Defined in Test.IOTasks.Trace Methods (<>) :: NTrace -> NTrace -> NTrace # sconcat :: NonEmpty NTrace -> NTrace # stimes :: Integral b => b -> NTrace -> NTrace #
Show NTrace Source #
Instance details Defined in Test.IOTasks.Trace Methods showsPrec :: Int -> NTrace -> ShowS # show :: NTrace -> String # showList :: [NTrace] -> ShowS #
Eq NTrace Source #
Instance details Defined in Test.IOTasks.Trace Methods (==) :: NTrace -> NTrace -> Bool # (/=) :: NTrace -> NTrace -> Bool #
Pretty NTrace Source #
Instance details Defined in Test.IOTasks.Trace Methods pPrintPrec :: PrettyLevel -> Rational -> NTrace -> Doc # pPrint :: NTrace -> Doc # pPrintList :: PrettyLevel -> [NTrace] -> Doc #

normalizedTrace :: AbstractTrace -> NTrace Source #

pattern NProgRead :: Char -> NTrace -> NTrace Source #

pattern NProgReadString :: String -> NTrace -> NTrace Source #

pattern NProgWrite :: OptFlag -> Set (OutputPattern 'TraceP) -> NTrace -> NTrace Source #

pattern NTerminate :: NTrace Source #

pattern NOutOfInputs :: NTrace Source #

inputSequenceN :: NTrace -> [String] Source #

isTerminatingN :: NTrace -> Bool Source #

showTrace :: Trace -> Doc Source #

showTraceSimple :: Trace -> Doc Source #

showTraceN :: NTrace -> Doc Source #

showTraceNSimple :: NTrace -> Doc Source #

showTrace' :: (Doc -> Doc -> Doc) -> Trace -> Doc Source #

like showTrace but trace steps are combined with the user supplied function

showTraceSimple' :: (Doc -> Doc -> Doc) -> Trace -> Doc Source #

like showTraceSimple but trace steps are combined with the user supplied function

showTraceN' :: (Doc -> Doc -> Doc) -> NTrace -> Doc Source #

like showTraceN but trace steps are combined with the user supplied function

showTraceNSimple' :: (Doc -> Doc -> Doc) -> NTrace -> Doc Source #

like showTraceNSimple but trace steps are combined with the user supplied function

covers :: NTrace -> NTrace -> MatchResult Source #

data MatchResult Source #

Instances

Instances details

Semigroup MatchResult Source #
Instance details Defined in Test.IOTasks.Trace Methods (<>) :: MatchResult -> MatchResult -> MatchResult # sconcat :: NonEmpty MatchResult -> MatchResult # stimes :: Integral b => b -> MatchResult -> MatchResult #
Show MatchResult Source #
Instance details Defined in Test.IOTasks.Trace Methods showsPrec :: Int -> MatchResult -> ShowS # show :: MatchResult -> String # showList :: [MatchResult] -> ShowS #
Eq MatchResult Source #
Instance details Defined in Test.IOTasks.Trace Methods (==) :: MatchResult -> MatchResult -> Bool # (/=) :: MatchResult -> MatchResult -> Bool #
Pretty MatchResult Source #
Instance details Defined in Test.IOTasks.Trace Methods pPrintPrec :: PrettyLevel -> Rational -> MatchResult -> Doc # pPrint :: MatchResult -> Doc # pPrintList :: PrettyLevel -> [MatchResult] -> Doc #

isSuccessfulMatch :: MatchResult -> Bool Source #

isInputMismatch :: MatchResult -> Bool Source #

isOutputMismatch :: MatchResult -> Bool Source #

isAlignmentMismatch :: MatchResult -> Bool Source #

isTerminationMismatch :: MatchResult -> Bool Source #

pPrintMatchResult :: (Doc -> Doc -> Doc) -> MatchResult -> Doc Source #

pPrintMatchResultSimple :: (Doc -> Doc -> Doc) -> MatchResult -> Doc Source #