ghc-9.8.3: The GHC API
Safe HaskellNone
LanguageHaskell2010

GHC.Iface.Decl

Description

Module for constructing interface declaration values from the corresponding TyThings.

Documentation

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

tyThingToIfaceDecl :: Bool -> TyThing -> IfaceDecl Source #

toIfaceBooleanFormula :: BooleanFormula IfLclName -> IfaceBooleanFormula Source #