Safe Haskell	None

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 #