GHC.Iface.Decl

ghc-9.10.0.20240426: The GHC API

Safe Haskell | None
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 #