Copyright	(C) 2016-2025 David M. Johnson (@dmjio)
License	BSD3-style (see the file LICENSE)
Maintainer	David M. Johnson <code@dmj.io>
Stability	experimental
Portability	non-portable
Safe Haskell	None
Language	Haskell2010

Miso.Util.Parser

Contents

Description

Synopsis

type Parser token a = ParserT () [token] [] a
newtype ParserT r token (m :: Type -> Type) a = Parser {
- runParserT :: r -> token -> m (a, token)
}
data ParseError a token
- = UnexpectedParse [token]
- | LexicalError LexerError
- | Ambiguous [(a, [token])]
- | NoParses token
- | EmptyStream
parse :: Parser token a -> [token] -> Either (ParseError a token) a
satisfy :: (a -> Bool) -> ParserT r [a] [] a
peek :: Parser a a
token_ :: Eq token => token -> Parser token token
errorOut :: errorToken -> ParserT r errorToken [] ()
allTokens :: ParserT r a [] a
modifyTokens :: (t -> t) -> ParserT r t [] ()
askParser :: ParserT r token [] r

Types

type Parser token a = ParserT () [token] [] a Source #

Convenience synonym when defining parser combinators

newtype ParserT r token (m :: Type -> Type) a Source #

Core type for parsing

Constructors

Parser
Fields runParserT :: r -> token -> m (a, token)

Instances details

Alternative (ParserT r token []) Source #
Instance details Defined in Miso.Util.Parser Methods empty :: ParserT r token [] a # (<\|>) :: ParserT r token [] a -> ParserT r token [] a -> ParserT r token [] a # some :: ParserT r token [] a -> ParserT r token [] [a] # many :: ParserT r token [] a -> ParserT r token [] [a] #
Applicative (ParserT r token []) Source #
Instance details Defined in Miso.Util.Parser Methods pure :: a -> ParserT r token [] a # (<>) :: ParserT r token [] (a -> b) -> ParserT r token [] a -> ParserT r token [] b # liftA2 :: (a -> b -> c) -> ParserT r token [] a -> ParserT r token [] b -> ParserT r token [] c # (>) :: ParserT r token [] a -> ParserT r token [] b -> ParserT r token [] b # (<*) :: ParserT r token [] a -> ParserT r token [] b -> ParserT r token [] a #
Functor (ParserT r token []) Source #
Instance details Defined in Miso.Util.Parser Methods fmap :: (a -> b) -> ParserT r token [] a -> ParserT r token [] b # (<$) :: a -> ParserT r token [] b -> ParserT r token [] a #
Monad (ParserT r token []) Source #
Instance details Defined in Miso.Util.Parser Methods (>>=) :: ParserT r token [] a -> (a -> ParserT r token [] b) -> ParserT r token [] b # (>>) :: ParserT r token [] a -> ParserT r token [] b -> ParserT r token [] b # return :: a -> ParserT r token [] a #
MonadFail (ParserT r token []) Source #
Instance details Defined in Miso.Util.Parser Methods fail :: String -> ParserT r token [] a #

A type for expressing failure during parsing.

Constructors

Instances details

(Show a, Show token) => Show (ParseError a token) Source #
Instance details Defined in Miso.Util.Parser Methods showsPrec :: Int -> ParseError a token -> ShowS # show :: ParseError a token -> String # showList :: [ParseError a token] -> ShowS #
(Eq a, Eq token) => Eq (ParseError a token) Source #
Instance details Defined in Miso.Util.Parser Methods (==) :: ParseError a token -> ParseError a token -> Bool # (/=) :: ParseError a token -> ParseError a token -> Bool #

Combinators

parse :: Parser token a -> [token] -> Either (ParseError a token) a Source #

Executes a parser against a series of tokens.

Predicate combinator used as a base to construct other high-level parser combinators.

Views the next token without consuming input

token_ :: Eq token => token -> Parser token token Source #

Smart constructor for building a token parser combinator

errorOut :: errorToken -> ParserT r errorToken [] () Source #

Parser combinator that always fails

Returns all input from a parser

Modifies tokens

Retrieves read-only state from a Parser