GHC.Iface.Decl

Module for constructing interface declaration values from the corresponding TyThings.

Documentation

coAxiomToIfaceDecl :: forall (br :: BranchFlag). CoAxiom br -> IfaceDecl

tyThingToIfaceDecl :: Bool -> TyThing -> IfaceDecl

toIfaceBooleanFormula :: BooleanFormula IfLclName -> IfaceBooleanFormula