uulib-0.9.2: Contents Index

UU.Parsing.Interface

Documentation

data AnaParser state result s p a

Instances (Ord s, Symbol s, InputState state s p, OutputState result) => IsParser (AnaParser state result s p) s (InputState inp s p, OutputState out) => StateParser (AnaParser (inp, st) out s p) st

pWrap :: OutputState result => (forall r r'' . (b -> r -> r'') -> state -> Steps (a, r) s p -> (state -> Steps r s p) -> (state, Steps r'' s p, state -> Steps r s p)) -> (forall r . state -> Steps r s p -> (state -> Steps r s p) -> (state, Steps r s p, state -> Steps r s p)) -> AnaParser state result s p a -> AnaParser state result s p b

pMap :: OutputState result => (forall r r'' . (b -> r -> r'') -> state -> Steps (a, r) s p -> (state, Steps r'' s p)) -> (forall r . state -> Steps r s p -> (state, Steps r s p)) -> AnaParser state result s p a -> AnaParser state result s p b

module UU.Parsing.MachineInterface

type Parser s = AnaParser [s] Pair s (Maybe s)

class IsParser p s | p -> s where

Methods (<*>) :: p (a -> b) -> p a -> p b (<*) :: p a -> p b -> p a (*>) :: p a -> p b -> p b (<$>) :: (a -> b) -> p a -> p b (<$) :: b -> p a -> p b pSucceed :: a -> p a pLow :: a -> p a (<|>) :: p a -> p a -> p a pFail :: p a pCostRange :: Int -> s -> SymbolR s -> p s pCostSym :: Int -> s -> s -> p s pSym :: s -> p s pRange :: s -> SymbolR s -> p s getfirsts :: p v -> Expecting s setfirsts :: Expecting s -> p v -> p v getzerop :: p v -> Maybe (p v) getonep :: p v -> Maybe (p v) Instances (Ord s, Symbol s, InputState state s p, OutputState result) => IsParser (AnaParser state result s p) s (Symbol s, Ord s, InputState i s p, OutputState o) => IsParser (OffsideParser i o s p) s

pCost :: (OutputState out, InputState inp sym pos, Symbol sym, Ord sym) => Int -> AnaParser inp out sym pos ()

getInputState :: (InputState a c d, Symbol c, Ord c, OutputState b) => AnaParser a b c d a

parse :: (Symbol s, InputState inp s pos) => AnaParser inp Pair s pos a -> inp -> Steps (Pair a (Pair inp ())) s pos

parseIOMessage :: (Symbol s, InputState inp s p) => (Message s p -> String) -> AnaParser inp Pair s p a -> inp -> IO a

parseIOMessageN :: (Symbol s, InputState inp s p) => (Message s p -> String) -> Int -> AnaParser inp Pair s p a -> inp -> IO a

data Pair a r

Constructors Pair a r Instances OutputState Pair

evalStepsIO :: (Message s p -> String) -> Steps b s p -> IO b

evalStepsIO' :: (Message s p -> String) -> Int -> Steps b s p -> IO b

Produced by Haddock version 0.8