murder-1.0: MUtually Recursive Definitions Explicitly Represented

Safe HaskellSafe-Infered

Language.Grammars.Murder.UULib

Documentation

toPos :: Pos -> PosSource

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

pChr :: Parser Token (DTerm Char)Source

pInt :: Parser Token (DTerm Int)Source

pCon :: Parser Token (DTerm String)Source

pVar :: Parser Token (DTerm String)Source

pOp :: Parser Token (DTerm String)Source

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

newtype Const f a s Source

Constructors

C 

Fields

unC :: f a
 

compile :: Grammar a -> Parser Token aSource

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

type ParseMsg = Message Token (Maybe Token)Source

data ParseResult a Source

Constructors

Ok a 
Rep a [ParseMsg] 

Instances

Show a => Show (ParseResult a) 

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

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