ghc-lib-parser-9.12.2.20250421: The GHC API, decoupled from GHC versions

Safe Haskell | Ignore
Language | GHC2021

GHC.Iface.Decl

Description

Module for constructing interface declaration values from the corresponding `TyThing`s.

# Documentation

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

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

toIfaceBooleanFormula :: BooleanFormula IfLclName -> IfaceBooleanFormula Source #