Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
GHC.Iface.Decl
Description
Module for constructing interface declaration values
from the corresponding TyThing
s.
Documentation
coAxiomToIfaceDecl :: CoAxiom br -> IfaceDecl #
tyThingToIfaceDecl :: Bool -> TyThing -> IfaceDecl #