Parsley.Internal.Core.Primitives

Documentation

data Parser a

The opaque datatype that represents parsers.

Since: 0.1.0.0

data Reg (r :: Type) a

This is an opaque representation of a parsing register. It cannot be manipulated as a user, and the type parameter r is used to ensure that it cannot leak out of the scope it has been created in. It is the abstracted representation of a runtime storage location.

Since: 0.1.0.0

class ParserOps rep where

Methods

pure :: rep a -> Parser a

satisfy :: rep (Char -> Bool) -> Parser Char

conditional :: [(rep (a -> Bool), Parser b)] -> Parser a -> Parser b -> Parser b

Instances

x ~ Defunc => ParserOps x

Defined in Parsley.Internal.Core.Primitives

Methods

pure :: x a -> Parser a

satisfy :: x (Char -> Bool) -> Parser Char

conditional :: [(x (a -> Bool), Parser b)] -> Parser a -> Parser b -> Parser b

ParserOps WQ

Defined in Parsley.Internal.Core.Primitives

Methods

pure :: WQ a -> Parser a

satisfy :: WQ (Char -> Bool) -> Parser Char

conditional :: [(WQ (a -> Bool), Parser b)] -> Parser a -> Parser b -> Parser b

_pure :: Defunc a -> Parser a

_satisfy :: Defunc (Char -> Bool) -> Parser Char

_conditional :: [(Defunc (a -> Bool), Parser b)] -> Parser a -> Parser b -> Parser b

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

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

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

empty :: Parser a

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

lookAhead :: Parser a -> Parser a

notFollowedBy :: Parser a -> Parser ()

try :: Parser a -> Parser a

branch :: Parser (Either a b) -> Parser (a -> c) -> Parser (b -> c) -> Parser c

chainPre :: Parser (a -> a) -> Parser a -> Parser a

chainPost :: Parser a -> Parser (a -> a) -> Parser a

loop :: Parser () -> Parser a -> Parser a

newRegister :: Parser a -> (forall r. Reg r a -> Parser b) -> Parser b

get :: Reg r a -> Parser a

put :: Reg r a -> Parser a -> Parser ()

line :: Parser Int

col :: Parser Int

debug :: String -> Parser a -> Parser a