Cont package:Earley

data Cont s r e t a b

Earley Text.Earley.Generator.Internal Text.Earley.Parser.Internal

A continuation accepting an a and producing a b.

Cont :: a -> Results s t b -> !ProdR s r e t (b -> c) -> c -> Results s t d -> !Conts s r e t d e' -> Cont s r e t a e'

Earley Text.Earley.Generator.Internal

Cont :: a -> Results s b -> !ProdR s r e t (b -> c) -> c -> Results s d -> !Conts s r e t d e' -> Cont s r e t a e'

Earley Text.Earley.Parser.Internal

data Conts s r e t a c

Earley Text.Earley.Generator.Internal Text.Earley.Parser.Internal

Conts :: !STRef s [Cont s r e t a c] -> !STRef s (Maybe (STRef s (Results s t a))) -> Conts s r e t a c

Earley Text.Earley.Generator.Internal

Conts :: !STRef s [Cont s r e t a c] -> !STRef s (Maybe (STRef s (Results s a))) -> Conts s r e t a c

Earley Text.Earley.Parser.Internal

contToState :: BirthPos -> Results s t a -> Cont s r e t a c -> State s r e t c

Earley Text.Earley.Generator.Internal

contraMapCont :: (b -> Results s t a) -> Cont s r e t a c -> Cont s r e t b c

Earley Text.Earley.Generator.Internal

conts :: Conts s r e t a c -> !STRef s [Cont s r e t a c]

Earley Text.Earley.Generator.Internal Text.Earley.Parser.Internal

contsArgs :: Conts s r e t a c -> !STRef s (Maybe (STRef s (Results s t a)))

Earley Text.Earley.Generator.Internal

contToState :: BirthPos -> Results s a -> Cont s r e t a c -> State s r e t c

Earley Text.Earley.Parser.Internal

contraMapCont :: (b -> Results s a) -> Cont s r e t a c -> Cont s r e t b c

Earley Text.Earley.Parser.Internal

contsArgs :: Conts s r e t a c -> !STRef s (Maybe (STRef s (Results s a)))

Earley Text.Earley.Parser.Internal

FinalCont :: (a -> Results s t c) -> Cont s r e t a c

Earley Text.Earley.Generator.Internal

newConts :: STRef s [Cont s r e t a c] -> ST s (Conts s r e t a c)

Earley Text.Earley.Generator.Internal Text.Earley.Parser.Internal

resetConts :: Rule s r e t a -> ST s ()

Earley Text.Earley.Generator.Internal Text.Earley.Parser.Internal

ruleConts :: Rule s r e t a -> !STRef s (STRef s [Cont s r e t a r])

Earley Text.Earley.Generator.Internal Text.Earley.Parser.Internal

simplifyCont :: Conts s r e t b a -> ST s [Cont s r e t b a]

Earley Text.Earley.Generator.Internal Text.Earley.Parser.Internal

Strings of non-ambiguous continuations can be optimised by removing indirections.

FinalCont :: (a -> Results s c) -> Cont s r e t a c

Earley Text.Earley.Parser.Internal