FP.Parser

Documentation

data ParserState t

Constructors

ParserState

Fields

parserStateStream :: [t]

parserStateConsumed :: Int

Instances

Monoid (ParserState t)

(Pretty [t0], Pretty Int) => Pretty (ParserState t)

MonadState (ParserState t) (Parser t)

parserStateConsumedL :: forall t. Lens (ParserState t) Int

parserStateStreamL :: forall t. Lens (ParserState t) [t]

class (Monad m, MonadBot m, MonadAppend m, MonadState (ParserState t) m) => MonadParser t m | m -> t

Instances

MonadParser t (Parser t)

end :: MonadParser t m => m ()

final :: MonadParser t m => m a -> m a

satisfies :: MonadParser t m => (t -> Bool) -> m t

pluck :: MonadParser t m => m t

lit :: (MonadParser t m, Eq t) => t -> m t

word :: (MonadParser t m, Eq t) => [t] -> m [t]

string :: MonadParser Char m => String -> m String

newtype Parser t a

Constructors

Parser

Fields

unParser :: StateT (ParserState t) (ListT ID) a

Instances

MonadParser t (Parser t)

MonadAppend (Parser t)

MonadBot (Parser t)

Monad (Parser t)

Bind (Parser t)

Product (Parser t)

Applicative (Parser t)

Functor (Parser t)

Unit (Parser t)

MonadState (ParserState t) (Parser t)

runParser :: [t] -> Parser t a -> [(ParserState t, a)]

data ParseError t a

Constructors

ParsingError

AmbiguousParse [a]

Instances

Pretty [a0] => Pretty (ParseError k t a)

parseFinal :: Parser t a -> [t] -> ParseError t a :+: a

parseFinalOn :: [t] -> Parser t a -> ParseError t a :+: a

tokenize :: Parser c a -> [c] -> [c] :+: [a]

data LexParseError c t a

Constructors

LexingError [c]

LexParsingError [t]

LexAmbiguousParse ([t], [a])

Instances

(Pretty [c0], Pretty [t0], Pretty ([t0], [a0])) => Pretty (LexParseError c t a)

lexParseFinal :: forall c t a. (Pretty c, Pretty t) => Parser c t -> (t -> Bool) -> Parser t a -> [c] -> LexParseError c t a :+: a

data Mix m a

Constructors

Pre (m (a -> a))

Post (m (a -> a))

Inf (m (a -> a -> a))

InfL (m (a -> a -> a))

InfR (m (a -> a -> a))

infRL :: forall m a. Prism (Mix m a) (m (a -> a -> a))

infLL :: forall m a. Prism (Mix m a) (m (a -> a -> a))

infL :: forall m a. Prism (Mix m a) (m (a -> a -> a))

postL :: forall m a. Prism (Mix m a) (m (a -> a))

preL :: forall m a. Prism (Mix m a) (m (a -> a))

data Level m a

Constructors

Level

Fields

levelPre :: m (a -> a)

levelPost :: m (a -> a)

levelInf :: m (a -> a -> a)

levelInfL :: m (a -> a -> a)

levelInfR :: m (a -> a -> a)

splitMixes :: MonadParser t m => [Mix m a] -> Level m a

pre :: Monad m => (b -> a -> a) -> m b -> Mix m a

post :: Monad m => (a -> b -> a) -> m b -> Mix m a

inf' :: Monad m => (a -> b -> a -> a) -> m b -> m (a -> a -> a)

inf :: Monad m => (a -> b -> a -> a) -> m b -> Mix m a

infl :: Monad m => (a -> b -> a -> a) -> m b -> Mix m a

infr :: Monad m => (a -> b -> a -> a) -> m b -> Mix m a

between :: MonadParser t m => m () -> m () -> m a -> m a

buildMix :: MonadParser t m => [m a] -> Map Int [Mix m a] -> m a

buildLevel :: MonadParser t m => m a -> Level m a -> m a

buildMixPre :: MonadParser t m => m a -> m (a -> a) -> m a

buildMixPost :: MonadParser t m => m (a -> a) -> m (a -> a)

buildMixInf :: MonadParser t m => m a -> m (a -> a -> a) -> m (a -> a)

buildMixInfL :: MonadParser t m => m a -> m (a -> a -> a) -> m (a -> a)

buildMixInfR :: MonadParser t m => m a -> m (a -> a -> a) -> m (a -> a)