murder-1.0: MUtually Recursive Definitions Explicitly Represented

Safe HaskellSafe-Infered

Language.Grammars.Murder.UULib

Documentation

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

newtype Const f a s Source

Constructors

C 

Fields

unC :: f a
 

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

data ParseResult a Source

Constructors

Ok a 
Rep a [ParseMsg] 

Instances

Show a => Show (ParseResult a) 

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