uulib-0.9.2: Contents Index

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 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' Instances OutputState Pair

class Symbol s where

Methods deleteCost :: s -> Int symBefore :: s -> s symAfter :: s -> s 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 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) 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] Instances ??? s => Eq (Expecting s) ??? s => Ord (Expecting s) (Eq s, Show s) => Show (Expecting s)

data SymbolR s

Constructors Range !s !s EmptyR Instances Eq s => Eq (SymbolR s) Ord s => Ord (SymbolR s) (Eq s, Show s) => Show (SymbolR s)

Produced by Haddock version 0.8