UU.Parsing.StateParser

Documentation

class StateParser p st | p -> st where

Minimal complete definition

change

Methods

change :: (st -> st) -> p st

set :: st -> p st

get :: p st

Instances

(InputState inp s p, OutputState out) => StateParser (AnaParser (inp, st) out s p) st

Methods

change :: (st -> st) -> AnaParser (inp, st) out s p st

set :: st -> AnaParser (inp, st) out s p st

get :: AnaParser (inp, st) out s p st

Orphan instances

InputState inp s p => InputState (inp, state) s p

Methods

splitStateE :: (inp, state) -> Either' (inp, state) s

splitState :: (inp, state) -> (#LiftedRep, LiftedRep, s, (inp, state)#)

getPosition :: (inp, state) -> p

reportError :: Message s p -> (inp, state) -> (inp, state)

insertSymbol :: s -> (inp, state) -> (inp, state)

deleteSymbol :: s -> (inp, state) -> (inp, state)