Data.EDN.Class.Parser

Generic continuation-based parser

Documentation

parseEither :: (a -> Parser b) -> a -> Either String b

Run a Parser reporting to an Either.

parseM :: Monad m => (a -> Parser b) -> a -> m b

Run a Parser reporting to arbitrary Monad with fail.

newtype Parser a

A continuation-based parser type.

Constructors

Parser

Fields

• runParser :: forall f r. Failure f r -> Success a f r -> f r

Instances

Monad Parser

Defined in Data.EDN.Class.Parser

Methods

(>>=) :: Parser a -> (a -> Parser b) -> Parser b

(>>) :: Parser a -> Parser b -> Parser b

return :: a -> Parser a

fail :: String -> Parser a

Functor Parser

Defined in Data.EDN.Class.Parser

Methods

fmap :: (a -> b) -> Parser a -> Parser b

(<$) :: a -> Parser b -> Parser a

MonadFail Parser

Defined in Data.EDN.Class.Parser

Methods

fail :: String -> Parser a

Applicative Parser

Defined in Data.EDN.Class.Parser

Methods

pure :: a -> Parser a

(<*>) :: Parser (a -> b) -> Parser a -> Parser b

liftA2 :: (a -> b -> c) -> Parser a -> Parser b -> Parser c

(*>) :: Parser a -> Parser b -> Parser b

(<*) :: Parser a -> Parser b -> Parser a

Alternative Parser

Defined in Data.EDN.Class.Parser

Methods

empty :: Parser a

(<|>) :: Parser a -> Parser a -> Parser a

some :: Parser a -> Parser [a]

many :: Parser a -> Parser [a]

MonadPlus Parser

Defined in Data.EDN.Class.Parser

Methods

mzero :: Parser a

mplus :: Parser a -> Parser a -> Parser a

Semigroup (Parser a)

Defined in Data.EDN.Class.Parser

Methods

(<>) :: Parser a -> Parser a -> Parser a

sconcat :: NonEmpty (Parser a) -> Parser a

stimes :: Integral b => b -> Parser a -> Parser a

Monoid (Parser a)

Defined in Data.EDN.Class.Parser

Methods

mempty :: Parser a

mappend :: Parser a -> Parser a -> Parser a

mconcat :: [Parser a] -> Parser a

type Success a f r = a -> f r

Success continuation.

type Failure f r = Expected -> String -> f r

Failure continuation.

type Expected = [Label]

Megaparsec-style collection of elements expected by combined parser alternatives.

type Label = String

Single element expected by a parser. String because MonadFail method.