|
|
|
|
|
Documentation |
|
data AnaParser state result s p a |
Instances | |
|
|
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 | |
|
|
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 | | 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 |