Moduleghc-9.14.1GHC2021
GHC.Builtin.Types.Prim
This module defines TyCons that can't be expressed in Haskell. They are all, therefore, wired-in TyCons. C.f module GHC.Builtin.Types
- 227 values
- Packageghc-9.14.1
- Exports227
- LanguageGHC2021
- LicenceBSD-3-Clause
- SourcePrim.hs
The FUN type constructor.
FUN :: forall (m :: Multiplicity) ->
forall {rep1 :: RuntimeRep} {rep2 :: RuntimeRep}.
TYPE rep1 -> TYPE rep2 -> Type
The runtime representations quantification is left inferred. This
means they cannot be specified with -XTypeApplications.
This is a deliberate choice to allow future extensions to the function arrow.
Primitive TyCons that are defined in GHC.Prim but not "exposed". See Note [Unexposed TyCons]
Primitive TyCons that are defined in, and exported from, GHC.Prim.
Given a Role, what TyCon is the type of equality predicates at that role?