|
UU.Parsing.MachineInterface |
|
|
|
|
Documentation |
|
class InputState state s pos | state -> s, state -> pos where |
| Methods | splitStateE :: state -> Either' state s | | splitState :: state -> (s, state) | | getPosition :: state -> pos | | reportError :: Message s pos -> state -> state |
| | Instances | |
|
|
class OutputState r where |
| Methods | acceptR :: v -> rest -> r v rest | | nextR :: (a -> rest -> rest') -> (b -> a) -> r b rest -> rest' |
| | Instances | |
|
|
class Symbol s where |
| Methods | deleteCost :: s -> Int | | symBefore :: s -> s | | symAfter :: s -> s |
| | Instances | |
|
|
data Either' state s |
Constructors | Left' !s state | | Right' state | |
|
|
|
data Steps val s p |
Constructors | forall a . OkVal (a -> val) (Steps a s p) | | Ok | | | Cost | | costing :: Int | | rest :: (Steps val s p) | |
| StRepair | | | Best (Steps val s p) (Steps val s p) (Steps val s p) | | NoMoreSteps val | |
|
|
|
data Action s |
Constructors | Insert s | | Delete s | | Other String | |
| Instances | |
|
|
val :: (a -> b) -> Steps a s p -> Steps b s p |
|
evalSteps :: Steps a s p -> a |
|
getMsgs :: Steps a s p -> [Message s p] |
|
data Message sym pos |
Constructors | | Instances | (Eq s, Show s, Show p) => Show (Message s p) |
|
|
|
data Expecting s |
Constructors | | Instances | |
|
|
data SymbolR s |
Constructors | | Instances | |
|
|
Produced by Haddock version 0.8 |