| Safe Haskell | Ignore |
|---|---|
| Language | GHC2021 |
GHC.Iface.Decl
Description
Module for constructing interface declaration values
from the corresponding TyThings.
Documentation
coAxiomToIfaceDecl :: forall (br :: BranchFlag). CoAxiom br -> IfaceDecl #
tyThingToIfaceDecl :: Bool -> TyThing -> IfaceDecl #