uulib-0.9.2: ContentsIndex
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
show/hide Instances
InputState Input Char Pos
InputState inp s p => InputState (inp, state) s p
InputState [s] s (Maybe s)
InputState inp s p => InputState (OffsideInput inp s p) (OffsideSymbol s) p
class OutputState r where
Methods
acceptR :: v -> rest -> r v rest
nextR :: (a -> rest -> rest') -> (b -> a) -> r b rest -> rest'
show/hide Instances
class Symbol s where
Methods
deleteCost :: s -> Int
symBefore :: s -> s
symAfter :: s -> s
show/hide Instances
Symbol Char
Symbol s => Symbol (OffsideSymbol s)
Symbol (GenToken key tp val)
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
rest :: (Steps val s p)
Cost
costing :: Int
rest :: (Steps val s p)
StRepair
costing :: Int
m :: !(Message s p)
rest :: (Steps val s p)
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
show/hide Instances
Show s => Show (Action s)
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
Msg (Expecting sym) !pos (Action sym)
show/hide Instances
(Eq s, Show s, Show p) => Show (Message s p)
data Expecting s
Constructors
ESym (SymbolR s)
EStr String
EOr [Expecting s]
ESeq [Expecting s]
show/hide Instances
??? s => Eq (Expecting s)
??? s => Ord (Expecting s)
(Eq s, Show s) => Show (Expecting s)
data SymbolR s
Constructors
Range !s !s
EmptyR
show/hide Instances
Eq s => Eq (SymbolR s)
Ord s => Ord (SymbolR s)
(Eq s, Show s) => Show (SymbolR s)
Produced by Haddock version 0.8