| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
DebuggingTMTypes
Documentation
newtype DebuggingState Source #
Instances
| Eq DebuggingState Source # | |
Defined in DebuggingTMTypes Methods (==) :: DebuggingState -> DebuggingState -> Bool # (/=) :: DebuggingState -> DebuggingState -> Bool # | |
| Ord DebuggingState Source # | |
Defined in DebuggingTMTypes Methods 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 Methods showsPrec :: Int -> DebuggingState -> ShowS # show :: DebuggingState -> String # showList :: [DebuggingState] -> ShowS # | |
newtype DebuggingSymbol Source #
Instances
| Eq DebuggingSymbol Source # | |
Defined in DebuggingTMTypes Methods (==) :: DebuggingSymbol -> DebuggingSymbol -> Bool # (/=) :: DebuggingSymbol -> DebuggingSymbol -> Bool # | |
| Ord DebuggingSymbol Source # | |
Defined in DebuggingTMTypes Methods 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 Methods showsPrec :: Int -> DebuggingSymbol -> ShowS # show :: DebuggingSymbol -> String # showList :: [DebuggingSymbol] -> ShowS # | |
data DebuggingMove Source #
Constructors
| D DebuggingSymbol | |
| L | |
| R |
Instances
| Eq DebuggingMove Source # | |
Defined in DebuggingTMTypes Methods (==) :: DebuggingMove -> DebuggingMove -> Bool # (/=) :: DebuggingMove -> DebuggingMove -> Bool # | |
| Ord DebuggingMove Source # | |
Defined in DebuggingTMTypes Methods 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 Methods showsPrec :: Int -> DebuggingMove -> ShowS # show :: DebuggingMove -> String # showList :: [DebuggingMove] -> ShowS # | |
newtype DebuggingQuadruples Source #
Constructors
| DQuadruples (Map (DebuggingState, DebuggingSymbol) (DebuggingMove, DebuggingState)) |
Instances
| Eq DebuggingQuadruples Source # | |
Defined in DebuggingTMTypes Methods (==) :: DebuggingQuadruples -> DebuggingQuadruples -> Bool # (/=) :: DebuggingQuadruples -> DebuggingQuadruples -> Bool # | |
| Ord DebuggingQuadruples Source # | |
Defined in DebuggingTMTypes Methods 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 Methods showsPrec :: Int -> DebuggingQuadruples -> ShowS # show :: DebuggingQuadruples -> String # showList :: [DebuggingQuadruples] -> ShowS # | |
newtype DebuggingTuringMachine Source #
Constructors
| DTM DebuggingQuadruples |
Instances
| Eq DebuggingTuringMachine Source # | |
Defined in DebuggingTMTypes Methods (==) :: DebuggingTuringMachine -> DebuggingTuringMachine -> Bool # (/=) :: DebuggingTuringMachine -> DebuggingTuringMachine -> Bool # | |
| Show DebuggingTuringMachine Source # | |
Defined in DebuggingTMTypes Methods showsPrec :: Int -> DebuggingTuringMachine -> ShowS # show :: DebuggingTuringMachine -> String # showList :: [DebuggingTuringMachine] -> ShowS # | |
newtype SymbolsPair Source #
Constructors
| SymbolsPair (Nonterminal, Int, Bool, Symbol, Symbol) |
Instances
| Eq SymbolsPair Source # | |
Defined in DebuggingTMTypes | |
| Show SymbolsPair Source # | |
Defined in DebuggingTMTypes Methods showsPrec :: Int -> SymbolsPair -> ShowS # show :: SymbolsPair -> String # showList :: [SymbolsPair] -> ShowS # | |