GHC.Iface.Type · ghc-9.10.3 · horizon-platform

typetype IfExtName = Name

typetype IfLclName = FastString

datadata IfaceType

A kind of universal type, used for types and kinds.

Any time a Type is pretty-printed, it is first converted to an IfaceType before being printed. See Note [Pretty printing via Iface syntax] in GHC.Types.TyThing.Ppr

Instances4NFData, Outputable, Binary

NFData IfaceTypeDefined in ghc-9.10.3 · GHC.Iface.Type
Outputable IfaceTypeDefined in ghc-9.10.3 · GHC.Iface.Type
Binary IfaceTypeDefined in ghc-9.10.3 · GHC.Iface.Type
Binary (DefMethSpec IfaceType)Defined in ghc-9.10.3 · GHC.Iface.Type

typetype IfacePredType = IfaceType

#

typetype IfaceKind = IfaceType

#

datadata IfaceCoercion

#

Instances3NFData, Outputable, Binary

NFData IfaceCoercionDefined in ghc-9.10.3 · GHC.Iface.Type
Outputable IfaceCoercionDefined in ghc-9.10.3 · GHC.Iface.Type
Binary IfaceCoercionDefined in ghc-9.10.3 · GHC.Iface.Type

datadata IfaceMCoercion

#

Instances2NFData, Binary

NFData IfaceMCoercionDefined in ghc-9.10.3 · GHC.Iface.Type
Binary IfaceMCoercionDefined in ghc-9.10.3 · GHC.Iface.Type

datadata IfaceUnivCoProv

#

Constructors

IfacePhantomProv IfaceCoercion
IfaceProofIrrelProv IfaceCoercion
IfacePluginProv String

Instances2NFData, Binary

NFData IfaceUnivCoProvDefined in ghc-9.10.3 · GHC.Iface.Type
Binary IfaceUnivCoProvDefined in ghc-9.10.3 · GHC.Iface.Type

typetype IfaceMult = IfaceType

#

datadata IfaceTyCon

#

Constructors

IfaceTyCon
- ifaceTyConName :: IfExtName
- ifaceTyConInfo :: IfaceTyConInfo

Instances4Eq, NFData, Outputable, Binary

Eq IfaceTyConDefined in ghc-9.10.3 · GHC.Iface.Type
NFData IfaceTyConDefined in ghc-9.10.3 · GHC.Iface.Type
Outputable IfaceTyConDefined in ghc-9.10.3 · GHC.Iface.Type
Binary IfaceTyConDefined in ghc-9.10.3 · GHC.Iface.Type

datadata IfaceTyConInfo

#

Constructors

IfaceTyConInfo
- ifaceTyConIsPromoted :: PromotionFlag
- ifaceTyConSort :: IfaceTyConSort

Instances4Eq, NFData, Outputable, Binary

Eq IfaceTyConInfoDefined in ghc-9.10.3 · GHC.Iface.Type
NFData IfaceTyConInfoDefined in ghc-9.10.3 · GHC.Iface.Type
Outputable IfaceTyConInfoDefined in ghc-9.10.3 · GHC.Iface.Type
Binary IfaceTyConInfoDefined in ghc-9.10.3 · GHC.Iface.Type

valuemkIfaceTyConInfo :: PromotionFlag -> IfaceTyConSort -> IfaceTyConInfo

#

datadata IfaceTyConSort

#

The various types of TyCons which have special, built-in syntax.

Constructors

IfaceNormalTyCon
a regular tycon
IfaceTupleTyCon !Arity !TupleSort
a tuple, e.g. (a, b, c) or (#a, b, c#). The arity is the tuple width, not the tycon arity (which is twice the width in the case of unboxed tuples).
IfaceSumTyCon !Arity
an unboxed sum, e.g. (# a | b | c #)
IfaceEqualityTyCon
A heterogeneous equality TyCon (i.e. eqPrimTyCon, eqReprPrimTyCon, heqTyCon) that is actually being applied to two types of the same kind. This affects pretty-printing only: see Note [Equality predicates in IfaceType]

Instances4Eq, NFData, Outputable, Binary

Eq IfaceTyConSortDefined in ghc-9.10.3 · GHC.Iface.Type
NFData IfaceTyConSortDefined in ghc-9.10.3 · GHC.Iface.Type
Outputable IfaceTyConSortDefined in ghc-9.10.3 · GHC.Iface.Type
Binary IfaceTyConSortDefined in ghc-9.10.3 · GHC.Iface.Type

datadata IfaceTyLit

#

Constructors

IfaceNumTyLit Integer
IfaceStrTyLit FastString
IfaceCharTyLit Char

Instances4Eq, NFData, Outputable, Binary

Eq IfaceTyLitDefined in ghc-9.10.3 · GHC.Iface.Type
NFData IfaceTyLitDefined in ghc-9.10.3 · GHC.Iface.Type
Outputable IfaceTyLitDefined in ghc-9.10.3 · GHC.Iface.Type
Binary IfaceTyLitDefined in ghc-9.10.3 · GHC.Iface.Type

datadata IfaceAppArgs

#

Stores the arguments in a type application as a list. See Note [Suppressing invisible arguments].

Constructors

IA_Nil
IA_Arg IfaceType ForAllTyFlag IfaceAppArgs

Instances5Semigroup, Monoid, NFData, Outputable, Binary

Semigroup IfaceAppArgsDefined in ghc-9.10.3 · GHC.Iface.Type
Monoid IfaceAppArgsDefined in ghc-9.10.3 · GHC.Iface.Type
NFData IfaceAppArgsDefined in ghc-9.10.3 · GHC.Iface.Type
Outputable IfaceAppArgsDefined in ghc-9.10.3 · GHC.Iface.Type
Binary IfaceAppArgsDefined in ghc-9.10.3 · GHC.Iface.Type

typetype IfaceContext = [IfacePredType]

#

datadata IfaceBndr

#

Constructors

IfaceIdBndr !IfaceIdBndr
IfaceTvBndr !IfaceTvBndr

Instances3NFData, Outputable, Binary

NFData IfaceBndrDefined in ghc-9.10.3 · GHC.Iface.Type
Outputable IfaceBndrDefined in ghc-9.10.3 · GHC.Iface.Type
Binary IfaceBndrDefined in ghc-9.10.3 · GHC.Iface.Type

datadata IfaceOneShot

#

IfaceNoOneShot IfaceOneShot

Instances3NFData, Outputable, Binary

NFData IfaceOneShotDefined in ghc-9.10.3 · GHC.Iface.Type
Outputable IfaceOneShotDefined in ghc-9.10.3 · GHC.Iface.Type
Binary IfaceOneShotDefined in ghc-9.10.3 · GHC.Iface.Type

typetype IfaceLamBndr = (IfaceBndr, IfaceOneShot)

#

typetype IfaceTvBndr = (IfLclName, IfaceKind)

#

typetype IfaceIdBndr = (IfaceType, IfLclName, IfaceType)

#

typetype IfaceTyConBinder = VarBndr IfaceBndr TyConBndrVis

#

typetype IfaceForAllSpecBndr = VarBndr IfaceBndr Specificity

#

typetype IfaceForAllBndr = VarBndr IfaceBndr ForAllTyFlag

#

datadata ForAllTyFlag

#

ForAllTyFlag

Is something required to appear in source Haskell (Required), permitted by request (Specified) (visible type application), or prohibited entirely from appearing in source Haskell (Inferred)? See Note [VarBndrs, ForAllTyBinders, TyConBinders, and visibility] in GHC.Core.TyCo.Rep

Constructors

Invisible !Specificity
Required

Instances7Eq, Data, Ord, NFData, Binary, Outputable, …

Eq ForAllTyFlagDefined in ghc-9.10.3 · GHC.Types.Var
Data ForAllTyFlagDefined in ghc-9.10.3 · GHC.Types.Var
Ord ForAllTyFlagDefined in ghc-9.10.3 · GHC.Types.Var
NFData ForAllTyFlagDefined in ghc-9.10.3 · GHC.Types.Var
Outputable ForAllTyFlagDefined in ghc-9.10.3 · GHC.Types.Var
Binary ForAllTyFlagDefined in ghc-9.10.3 · GHC.Types.Var
Outputable tv => Outputable (VarBndr tv ForAllTyFlag)Defined in ghc-9.10.3 · GHC.Types.Var

patternpattern Specified :: ForAllTyFlag

#

patternpattern Inferred :: ForAllTyFlag

#

datadata FunTyFlag

#

The non-dependent version of ForAllTyFlag. See Note [FunTyFlag] Appears here partly so that it's together with its friends ForAllTyFlag and ForallVisFlag, but also because it is used in IfaceType, rather early in the compilation chain

FTF_T_T FTF_T_C FTF_C_T FTF_C_C

Instances5Eq, Data, Ord, Outputable, Binary

Eq FunTyFlagDefined in ghc-9.10.3 · GHC.Types.Var
Data FunTyFlagDefined in ghc-9.10.3 · GHC.Types.Var
Ord FunTyFlagDefined in ghc-9.10.3 · GHC.Types.Var
Outputable FunTyFlagDefined in ghc-9.10.3 · GHC.Types.Var
Binary FunTyFlagDefined in ghc-9.10.3 · GHC.Types.Var

datadata ShowForAllFlag

#

Show forall flag

Unconditionally show the forall quantifier with (ShowForAllMust) or when (ShowForAllWhen) the names used are free in the binder or when compiling with -fprint-explicit-foralls.

ShowForAllMust ShowForAllWhen

datadata ShowSub

#

Constructors

ShowSub
- ss_how_much :: ShowHowMuch
- ss_forall :: ShowForAllFlag

datadata ShowHowMuch

#

Constructors

ShowHeader AltPpr
Header information only, not rhs
ShowSome (Maybe (OccName -> Bool)) AltPpr
Show the declaration and its RHS. The Maybe predicate allows filtering of the sub-components which should be printing; any sub-components filtered out will be elided with ....
ShowIface
Everything including GHC-internal information (used in --show-iface)

Instances1Outputable

Outputable ShowHowMuchDefined in ghc-9.10.3 · GHC.Iface.Type

newtypenewtype AltPpr

#

Constructors

AltPpr (Maybe (OccName -> SDoc))

valuemkIfaceForAllTvBndr :: ForAllTyFlag -> IfaceTvBndr -> IfaceForAllBndr

#

Make an IfaceForAllBndr from an IfaceTvBndr.

valuemkIfaceTyConKind :: [IfaceTyConBinder] -> IfaceKind -> IfaceKind

#

Build the tyConKind from the binders and the result kind. Keep in sync with mkTyConKind in GHC.Core.TyCon.

valueifaceForAllSpecToBndrs :: [IfaceForAllSpecBndr] -> [IfaceForAllBndr]

#

valueifaceForAllSpecToBndr :: IfaceForAllSpecBndr -> IfaceForAllBndr

#

valueifForAllBndrVar :: IfaceForAllBndr -> IfaceBndr

#

Extract an IfaceBndr from an IfaceForAllBndr.

valueifForAllBndrName :: IfaceForAllBndr -> IfLclName

#

Extract the variable name from an IfaceForAllBndr.

valueifaceBndrName :: IfaceBndr -> IfLclName

#

valueifTyConBinderVar :: IfaceTyConBinder -> IfaceBndr

#

Extract an IfaceBndr from an IfaceTyConBinder.

valueifTyConBinderName :: IfaceTyConBinder -> IfLclName

#

Extract the variable name from an IfaceTyConBinder.

valueisIfaceLiftedTypeKind :: IfaceKind -> Bool

#

Returns true for Type or (TYPE LiftedRep)

valueappArgsIfaceTypes :: IfaceAppArgs -> [IfaceType]

#

valueappArgsIfaceTypesForAllTyFlags

:: IfaceAppArgs
-> [(IfaceType, ForAllTyFlag)]

#

newtypenewtype SuppressBndrSig

#

Do we want to suppress kind annotations on binders? See Note [Suppressing binder signatures]

Constructors

SuppressBndrSig Bool

newtypenewtype UseBndrParens

#

Constructors

UseBndrParens Bool

newtypenewtype PrintExplicitKinds

#

Constructors

PrintExplicitKinds Bool

valuepprIfaceType :: IfaceType -> SDoc

#

valuepprParendIfaceType :: IfaceType -> SDoc

#

valuepprPrecIfaceType :: PprPrec -> IfaceType -> SDoc

#

valuepprIfaceContext :: PprPrec -> [IfacePredType] -> SDoc

#

Prints a context or () if empty You give it the context precedence

valuepprIfaceContextArr :: [IfacePredType] -> SDoc

#

Prints "(C a, D b) =>", including the arrow. Used when we want to print a context in a type, so we use funPrec to decide whether to parenthesise a singleton predicate; e.g. Num a => a -> a

valuepprIfaceIdBndr :: IfaceIdBndr -> SDoc

#

valuepprIfaceLamBndr :: IfaceLamBndr -> SDoc

#

valuepprIfaceTvBndr :: IfaceTvBndr -> SuppressBndrSig -> UseBndrParens -> SDoc

#

valuepprIfaceTyConBinders :: SuppressBndrSig -> [IfaceTyConBinder] -> SDoc

#

valuepprIfaceBndrs :: [IfaceBndr] -> SDoc

#

valuepprIfaceAppArgs :: IfaceAppArgs -> SDoc

#