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