Skip to content

HORIZON HASKELL Docs lts/ghc-9.10.xc74966e2026-09-27Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · c74966e · 2026-09-27

Moduleghc-9.10.3GHC2021

GHC.Core.ConLike

1 type
17 values

Packageghc-9.10.3
Exports18
LanguageGHC2021
LicenceBSD-3-Clause
SourceConLike.hs

datadata ConLike

A constructor-like thing

Constructors

RealDataCon DataCon
PatSynCon PatSyn

Instances7Eq, Data, NamedThing, Outputable, Uniquable, OutputableBndr, …

Eq ConLikeDefined in ghc-9.10.3 · GHC.Core.ConLike
Data ConLikeDefined in ghc-9.10.3 · GHC.Core.ConLike
NamedThing ConLikeDefined in ghc-9.10.3 · GHC.Core.ConLike
Outputable ConLikeDefined in ghc-9.10.3 · GHC.Core.ConLike
Uniquable ConLikeDefined in ghc-9.10.3 · GHC.Core.ConLike
OutputableBndr ConLikeDefined in ghc-9.10.3 · GHC.Core.ConLike
type Anno ConLike = SrcSpanAnnNDefined in ghc-9.10.3 · GHC.Hs.Pat · orphan

valueconLikeConLikeName :: ConLike -> ConLikeName

valueisVanillaConLike :: ConLike -> Bool

Is this a 'vanilla' constructor-like thing (no existentials, no provided constraints)?

valueconLikeArity :: ConLike -> Arity

Number of arguments

valueconLikeFieldLabels :: ConLike -> [FieldLabel]

Names of fields used for selectors

valueconLikeConInfo :: ConLike -> ConInfo

The ConInfo (arity and field labels) associated to a ConLike.

valueconLikeInstOrigArgTys :: ConLike -> [Type] -> [Scaled Type]

Returns just the instantiated value argument types of a ConLike, (excluding dictionary args)

valueconLikeUserTyVarBinders :: ConLike -> [InvisTVBinder]

TyVarBinders for the type variables of the ConLike. For pattern synonyms, this will always consist of the universally quantified variables followed by the existentially quantified type variables. For data constructors, the situation is slightly more complicated—see Note [DataCon user type variable binders] in GHC.Core.DataCon.

valueconLikeExTyCoVars :: ConLike -> [TyCoVar]

Existentially quantified type/coercion variables

valueconLikeName :: ConLike -> Name

valueconLikeStupidTheta :: ConLike -> ThetaType

The "stupid theta" of the ConLike, such as data Eq a in:

data Eq a => T a = ...

It is empty for PatSynCon as they do not allow such contexts. See Note [The stupid context] in GHC.Core.DataCon.

valueconLikeImplBangs :: ConLike -> [HsImplBang]

Returns the strictness information for each constructor

valueconLikeFullSig

:: ConLike
-> ([TyVar], [TyCoVar], [EqSpec], ThetaType, ThetaType, [Scaled Type], Type)

The "full signature" of the ConLike returns, in order:

1) The universally quantified type variables

2) The existentially quantified type/coercion variables

3) The equality specification

4) The provided theta (the constraints provided by a match)

5) The required theta (the constraints required for a match)

6) The original argument types (i.e. before any change of the representation of the type)

7) The original result type

valueconLikeResTy :: ConLike -> [Type] -> Type

Returns the type of the whole pattern

valueconLikeFieldType :: ConLike -> FieldLabelString -> Type

Extract the type for any given labelled field of the ConLike

valueconLikesWithFields

:: [ConLike]
-> [FieldLabelString]
-> ([ConLike], [ConLike])

The ConLikes that have *all* the given fields

valueconLikeIsInfix :: ConLike -> Bool

valueconLikeHasBuilder :: ConLike -> Bool

conLikeHasBuilder returns True except for uni-directional pattern synonyms, which have no builder