Safe Haskell | None |
---|---|
Language | Haskell98 |
UU.Parsing.Machine
Documentation
newtype RealParser state s p a Source #
newtype RealRecogn state s p Source #
newtype RealAccept state result s p a Source #
newtype ParsRec state result s p a Source #
Constructors
PR (RealParser state s p a, RealRecogn state s p, RealAccept state result s p a) |
mkPR :: OutputState result => (RealParser t s p a, RealRecogn t s p) -> ParsRec t result s p a Source #
unP :: RealParser t3 t2 t1 t -> (t -> r'' -> r') -> (t3 -> Steps r'' t2 t1) -> t3 -> Steps r' t2 t1 Source #
parseRecbasic :: (inp -> Steps (out c d) sym pos) -> ParsRec inp out sym pos a -> inp -> Steps (out a (out c d)) sym pos Source #
parsebasic :: (inp -> Steps (out c d) sym pos) -> AnaParser inp out sym pos a -> inp -> Steps (out a (out c d)) sym pos Source #
libAccept :: (OutputState a, InputState b s p) => ParsRec b a s p s Source #
libInsert :: (OutputState result, InputState t s p) => Int# -> s -> Expecting s -> ParsRec t result s p s Source #
libSucceed :: OutputState result => t1 -> ParsRec t result s p t1 Source #
libSeq :: (OutputState t, OutputState result) => ParsRec t3 t2 s p (t1 -> a) -> ParsRec t3 t s p t1 -> ParsRec t3 result s p a Source #
libDollar :: OutputState result => (t2 -> a) -> ParsRec t1 t s p t2 -> ParsRec t1 result s p a Source #
libDollarL :: OutputState result => t5 -> ParsRec t4 t3 t2 t1 t -> ParsRec t4 result t2 t1 t5 Source #
libDollarR :: OutputState result => t2 -> ParsRec t1 t s p a -> ParsRec t1 result s p a Source #
libSeqL :: OutputState result => ParsRec t3 t2 s p a -> ParsRec t3 t1 s p t -> ParsRec t3 result s p a Source #
libSeqR :: OutputState result => ParsRec t3 t2 s p t1 -> ParsRec t3 t s p a -> ParsRec t3 result s p a Source #
libOr :: (Ord t2, OutputState result) => ParsRec t4 t3 t2 t1 a -> ParsRec t4 t t2 t1 a -> ParsRec t4 result t2 t1 a Source #
libFail :: OutputState a => ParsRec b a c p d Source #
hasSuccess :: Steps a s p -> Bool Source #
lib_correct :: Ord s => (b -> c -> Steps d s p) -> (b -> c -> Steps d s p) -> b -> c -> Steps d s p Source #
traverse :: ToBeat (Steps a s p) -> (Steps v s p -> Steps a s p, Steps v s p) -> Int# -> Int# -> ToBeat (Steps a s p) Source #
data AnaParser state result s p a Source #
Constructors
AnaParser | |
Instances
(InputState inp s p, OutputState out) => StateParser (AnaParser (inp, st) out s p) st Source # | |
(Ord s, Symbol s, InputState state s p, OutputState result) => IsParser (AnaParser state result s p) s Source # | The fast |
data TableEntry state result s p a Source #
Constructors
TableEntry (ParsRec state result s p a) (Expecting s -> ParsRec state result s p a) |
anaFail :: OutputState a => AnaParser b a c p d Source #
noOneParser :: OneDescr state result s p a Source #
pEmpty :: ParsRec state result s p a -> (Bool, Either a (ParsRec state result s p a)) -> AnaParser state result s p a Source #
anaSucceed :: OutputState result => a -> AnaParser state result s p a Source #
anaLow :: OutputState result => a -> AnaParser state result s p a Source #
anaOr :: (OutputState result, Ord s, Symbol s, InputState state s p) => AnaParser state result s p a -> AnaParser state result s p a -> AnaParser state result s p a Source #
anaSeq :: (OutputState t5, OutputState result, Ord s, Symbol s, InputState state s p) => (t7 -> ParsRec t6 t5 s t4 t3 -> ParsRec state result s p a) -> (ParsRec t2 t1 s t t7 -> ParsRec t6 t5 s t4 t3 -> ParsRec state result s p a) -> (t7 -> t3 -> a) -> AnaParser t2 t1 s t t7 -> AnaParser t6 t5 s t4 t3 -> AnaParser state result s p a Source #
seqZeroZero :: OutputState result => Maybe (Bool, Either t3 t2) -> Maybe (Bool, Either t1 (ParsRec t result s p t1)) -> (t3 -> ParsRec t result s p t1 -> b) -> (t2 -> ParsRec t result s p t1 -> b) -> (t3 -> t1 -> a) -> Maybe (Bool, Either a b) Source #
orOneOneDescr :: Ord s => OneDescr state result s p a -> OneDescr state result s p a -> Bool -> OneDescr state result s p a Source #
anaCostRange :: (Ord d, Symbol d, InputState b d p, OutputState a) => Int# -> d -> SymbolR d -> AnaParser b a d p d Source #
anaGetFirsts :: AnaParser state result s p a -> Expecting s Source #
anaSetFirsts :: (OutputState result, Ord s, Symbol s, InputState state s p) => Expecting s -> AnaParser state result s p a -> AnaParser state result s p a Source #
mapOnePars :: (ParsRec t3 t2 s t1 t -> ParsRec state result s p a) -> OneDescr t3 t2 s t1 t -> OneDescr state result s p a Source #
mkParser :: (InputState state s p, Symbol s, Ord s, OutputState result) => Nat -> Maybe (Bool, Either a (ParsRec state result s p a)) -> OneDescr state result s p a -> AnaParser state result s p a Source #
mergeTables :: (OutputState result, Ord t1, Ord a1, Symbol a1) => [(SymbolR a1, ParsRec t2 result t1 t a)] -> [(SymbolR a1, ParsRec t2 result t1 t a)] -> [(SymbolR a1, ParsRec t2 result t1 t a)] Source #
libMap :: 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)) -> ParsRec state result s p a -> ParsRec state result s p b Source #
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 Source #
libWrap :: 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)) -> ParsRec state result s p a -> ParsRec state result s p b Source #
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 Source #