ghc-9.10.1: The GHC API
Safe HaskellNone
LanguageGHC2021

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 #