murder-1.3.4: MUtually Recursive Definitions Explicitly Represented

Safe HaskellNone

Language.Grammars.Grammar.AG

Documentation

newtype SF a Source

Constructors

SF 

Fields

unSF :: a
 

Instances

Idiomatic l env f g => Idiomatic l env (a -> f) (SF a -> g)