Modulemiso-1.12.0.0

Miso.Util.Parser

Synopsis

valueallTokens :: ParserT r a [] a

valueanyToken :: ParserT r [a] [] a

valueaskParser :: ParserT r token [] r

valueendOfInput :: Parser a ()

valueerrorOut :: errorToken -> ParserT r errorToken [] ()

valuemodifyTokens :: (t -> t) -> ParserT r t [] ()

valueparse :: Parser token a -> [token] -> Either (ParseError a token) a

valuepeek :: Parser a a

valuesatisfy :: (a -> Bool) -> ParserT r [a] [] a

valuetoken_ :: Eq token => token -> Parser token token

datadata ParseError a token

Instances2Eq, Show

(Eq token, Eq a) => Eq (ParseError a token)Defined in miso-1.12.0.0 · Miso.Util.Parser
(Show token, Show a) => Show (ParseError a token)Defined in miso-1.12.0.0 · Miso.Util.Parser

typetype Parser token a = ParserT () [token] [] a

newtypenewtype ParserT r token (m :: Type -> Type) a

Instances6Monad, Functor, MonadFail, Applicative, Alternative, MonadPlus