Moduleghc-10.0.0.20260917GHC2024
GHC.Iface.Decl
Module for constructing interface declaration values from the corresponding TyThings.
Synopsis
- value coAxiomToIfaceDecl
- value tyThingToIfaceDecl
- Packageghc-10.0.0.20260917
- Exports2
- LanguageGHC2024
- LicenceBSD-3-Clause
- SourceDecl.hs