ghc-lib-parser-9.10.1.20250103: 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 #

tyThingToIfaceDecl :: Bool -> TyThing -> IfaceDecl #

toIfaceBooleanFormula :: BooleanFormula IfLclName -> IfaceBooleanFormula #