uulib-0.9.2: ContentsIndex
UU.Parsing.Interface
Documentation
data AnaParser state result s p a
show/hide 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)
show/hide 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
show/hide Instances
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