Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
newtype DebuggingState Source #
Instances
Eq DebuggingState Source # | |
Defined in DebuggingTMTypes (==) :: DebuggingState -> DebuggingState -> Bool # (/=) :: DebuggingState -> DebuggingState -> Bool # | |
Ord DebuggingState Source # | |
Defined in DebuggingTMTypes compare :: DebuggingState -> DebuggingState -> Ordering # (<) :: DebuggingState -> DebuggingState -> Bool # (<=) :: DebuggingState -> DebuggingState -> Bool # (>) :: DebuggingState -> DebuggingState -> Bool # (>=) :: DebuggingState -> DebuggingState -> Bool # max :: DebuggingState -> DebuggingState -> DebuggingState # min :: DebuggingState -> DebuggingState -> DebuggingState # | |
Show DebuggingState Source # | |
Defined in DebuggingTMTypes showsPrec :: Int -> DebuggingState -> ShowS # show :: DebuggingState -> String # showList :: [DebuggingState] -> ShowS # |
newtype DebuggingSymbol Source #
Instances
Eq DebuggingSymbol Source # | |
Defined in DebuggingTMTypes (==) :: DebuggingSymbol -> DebuggingSymbol -> Bool # (/=) :: DebuggingSymbol -> DebuggingSymbol -> Bool # | |
Ord DebuggingSymbol Source # | |
Defined in DebuggingTMTypes compare :: DebuggingSymbol -> DebuggingSymbol -> Ordering # (<) :: DebuggingSymbol -> DebuggingSymbol -> Bool # (<=) :: DebuggingSymbol -> DebuggingSymbol -> Bool # (>) :: DebuggingSymbol -> DebuggingSymbol -> Bool # (>=) :: DebuggingSymbol -> DebuggingSymbol -> Bool # max :: DebuggingSymbol -> DebuggingSymbol -> DebuggingSymbol # min :: DebuggingSymbol -> DebuggingSymbol -> DebuggingSymbol # | |
Show DebuggingSymbol Source # | |
Defined in DebuggingTMTypes showsPrec :: Int -> DebuggingSymbol -> ShowS # show :: DebuggingSymbol -> String # showList :: [DebuggingSymbol] -> ShowS # |
data DebuggingMove Source #
Instances
Eq DebuggingMove Source # | |
Defined in DebuggingTMTypes (==) :: DebuggingMove -> DebuggingMove -> Bool # (/=) :: DebuggingMove -> DebuggingMove -> Bool # | |
Ord DebuggingMove Source # | |
Defined in DebuggingTMTypes compare :: DebuggingMove -> DebuggingMove -> Ordering # (<) :: DebuggingMove -> DebuggingMove -> Bool # (<=) :: DebuggingMove -> DebuggingMove -> Bool # (>) :: DebuggingMove -> DebuggingMove -> Bool # (>=) :: DebuggingMove -> DebuggingMove -> Bool # max :: DebuggingMove -> DebuggingMove -> DebuggingMove # min :: DebuggingMove -> DebuggingMove -> DebuggingMove # | |
Show DebuggingMove Source # | |
Defined in DebuggingTMTypes showsPrec :: Int -> DebuggingMove -> ShowS # show :: DebuggingMove -> String # showList :: [DebuggingMove] -> ShowS # |
newtype DebuggingQuadruples Source #
Instances
Eq DebuggingQuadruples Source # | |
Defined in DebuggingTMTypes (==) :: DebuggingQuadruples -> DebuggingQuadruples -> Bool # (/=) :: DebuggingQuadruples -> DebuggingQuadruples -> Bool # | |
Ord DebuggingQuadruples Source # | |
Defined in DebuggingTMTypes compare :: DebuggingQuadruples -> DebuggingQuadruples -> Ordering # (<) :: DebuggingQuadruples -> DebuggingQuadruples -> Bool # (<=) :: DebuggingQuadruples -> DebuggingQuadruples -> Bool # (>) :: DebuggingQuadruples -> DebuggingQuadruples -> Bool # (>=) :: DebuggingQuadruples -> DebuggingQuadruples -> Bool # max :: DebuggingQuadruples -> DebuggingQuadruples -> DebuggingQuadruples # min :: DebuggingQuadruples -> DebuggingQuadruples -> DebuggingQuadruples # | |
Show DebuggingQuadruples Source # | |
Defined in DebuggingTMTypes showsPrec :: Int -> DebuggingQuadruples -> ShowS # show :: DebuggingQuadruples -> String # showList :: [DebuggingQuadruples] -> ShowS # |
newtype DebuggingTuringMachine Source #
Instances
Eq DebuggingTuringMachine Source # | |
Defined in DebuggingTMTypes | |
Show DebuggingTuringMachine Source # | |
Defined in DebuggingTMTypes showsPrec :: Int -> DebuggingTuringMachine -> ShowS # show :: DebuggingTuringMachine -> String # showList :: [DebuggingTuringMachine] -> ShowS # |
newtype SymbolsPair Source #
SymbolsPair (Nonterminal, Int, Bool, Symbol, Symbol) |
Instances
Eq SymbolsPair Source # | |
Defined in DebuggingTMTypes (==) :: SymbolsPair -> SymbolsPair -> Bool # (/=) :: SymbolsPair -> SymbolsPair -> Bool # | |
Show SymbolsPair Source # | |
Defined in DebuggingTMTypes showsPrec :: Int -> SymbolsPair -> ShowS # show :: SymbolsPair -> String # showList :: [SymbolsPair] -> ShowS # |