Language.Grammars.Murder.UULib

Documentation

toPos :: Pos -> Pos

toDTerm :: (a -> b) -> (a, Pos) -> DTerm b

pChr :: Parser Token (DTerm Char)

pInt :: Parser Token (DTerm Int)

pCon :: Parser Token (DTerm String)

pVar :: Parser Token (DTerm String)

pOp :: Parser Token (DTerm String)

pTerm :: IsParser p Token => String -> p (DTerm String)

newtype Const f a s

Constructors

C

Fields

unC :: f a

compile :: Grammar a -> Parser Token a

mapEnv :: (forall a. f a s -> g a s) -> Env f s env -> Env g s env

type ParseMsg = Message Token (Maybe Token)

data ParseResult a

Constructors

Ok a

Rep a [ParseMsg]

Instances

Show a => Show (ParseResult a)

parse :: Parser Token a -> [Token] -> ParseResult a

rparse :: Parser Token a -> [Token] -> (a, [ParseMsg])