GHC.Iface.Decl
Description
Module for constructing interface declaration values from the corresponding TyThings.
TyThing
coAxiomToIfaceDecl :: CoAxiom br -> IfaceDecl Source #
tyThingToIfaceDecl :: TyThing -> IfaceDecl Source #