Moduleghc-lib-parser-9.14.1.20251220GHC2021

GHC.Tc.Types.Evidence

Contents

HsWrapper
Evidence bindings
EvTerm (already a CoreExpr)
HoleExprRef
TcCoercion
QuoteWrapper

Synopsis

data HsWrapper
value <.>
value mkWpTyApps
value mkWpEvApps
value mkWpEvVarApps
value mkWpTyLams
value mkWpForAllCast
value mkWpEvLams
value mkWpLet
value mkWpFun
value mkWpCastN
value mkWpCastR
value mkWpEta
value collectHsWrapBinders
value idHsWrapper
value isIdHsWrapper
value pprHsWrapper
value hsWrapDictBinders
data TcEvBinds
data EvBindsVar
newtype EvBindMap
value emptyEvBindMap
value extendEvBinds
value unionEvBindMap
value lookupEvBind
value evBindMapBinds
value foldEvBindMap
value nonDetStrictFoldEvBindMap
value filterEvBindMap
value isEmptyEvBindMap
value evBindMapToVarSet
value varSetMinusEvBindMap
data EvBindInfo
data EvBind
value emptyTcEvBinds
value isEmptyTcEvBinds
value mkGivenEvBind
value mkWantedEvBind
value evBindVar
value isCoEvBindsVar
data EvTerm
type EvExpr
value evId
value evCoercion
value evCast
value evCastE
value evDFunApp
value evDictApp
value evSelector
value evDelayedError
value mkEvScSelectors
value evTypeable
value evWrapIPE
value evUnwrapIPE
value evUnaryDictAppE
value mkEvCast
value nestedEvIdsOfTerm
value evTermFVs
value evTermCoercion
value evTermCoercion_maybe
value evExprCoercion
value evExprCoercion_maybe
data EvCallStack
data EvTypeable
data HoleExprRef
type TcCoercion
type TcCoercionR
type TcCoercionN
type TcCoercionP
data CoercionHole
type TcMCoercion
type TcMCoercionN
type TcMCoercionR
data Role
data LeftOrRight
value pickLR
value maybeSymCo
data QuoteWrapper
value applyQuoteWrapper
value quoteWrapperTyVarTy

Packageghc-lib-parser-9.14.1.20251220
Exports80
LanguageGHC2021
LicenceBSD-3-Clause
SourceEvidence.hs

HsWrapper

datadata HsWrapper

Constructors

WpHole
WpCompose HsWrapper HsWrapper
WpFun HsWrapper HsWrapper (Scaled TcTypeFRR)
WpCast TcCoercionR
WpEvLam EvVar
WpEvApp EvTerm
WpTyLam TyVar
WpTyApp KindOrType
WpLet TcEvBinds

Instances4Data, Semigroup, Monoid, Outputable

Data HsWrapperDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Tc.Types.Evidence
Semigroup HsWrapperDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Tc.Types.Evidence
The Semigroup instance is a bit fishy, since WpCompose, as a data constructor, is "syntactic" and not associative. Concretely, if a, b, and c aren't WpHole:
```
(a <> b) <> c ?= a <> (b <> c)
```
>
```
(a `WpCompose` b) `WpCompose` c /= @ a `WpCompose` (b `WpCompose` c)
```
However these two associations are are "semantically equal" in the sense that they produce equal functions when passed to GHC.HsToCore.Binds.dsHsWrapper.
Monoid HsWrapperDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Tc.Types.Evidence
Outputable HsWrapperDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Tc.Types.Evidence

value(<.>) :: HsWrapper -> HsWrapper -> HsWrapper

valuemkWpTyApps :: [Type] -> HsWrapper

valuemkWpEvApps :: [EvTerm] -> HsWrapper

valuemkWpEvVarApps :: [EvVar] -> HsWrapper

valuemkWpTyLams :: [TyVar] -> HsWrapper

valuemkWpForAllCast :: [ForAllTyBinder] -> Type -> HsWrapper

valuemkWpEvLams :: [Var] -> HsWrapper

valuemkWpLet :: TcEvBinds -> HsWrapper

valuemkWpFun

:: HsWrapper
-> HsWrapper
-> Scaled TcTypeFRR
the "from" type of the first wrapper
-> TcType
Either "from" type or "to" type of the second wrapper (used only when the second wrapper is the identity)
-> HsWrapper

Source#

Smart constructor to create a WpFun HsWrapper, which avoids introducing a lambda abstraction if the two supplied wrappers are either identities or casts.

PRECONDITION: either:

both of the HsWrappers are identities or casts, or
both the "from" and "to" types of the first wrapper have a syntactically fixed RuntimeRep (see Note [Fixed RuntimeRep] in GHC.Tc.Utils.Concrete).

valuemkWpCastN :: TcCoercionN -> HsWrapper

valuemkWpCastR :: TcCoercionR -> HsWrapper

valuemkWpEta :: [Id] -> HsWrapper -> HsWrapper

valuecollectHsWrapBinders :: HsWrapper -> ([Var], HsWrapper)

valueidHsWrapper :: HsWrapper

valueisIdHsWrapper :: HsWrapper -> Bool

valuepprHsWrapper :: HsWrapper -> (Bool -> SDoc) -> SDoc

valuehsWrapDictBinders :: HsWrapper -> Bag DictId

Source#

Identifies the lambda-bound dictionaries of an HsWrapper. This is used (only) to allow the pattern-match overlap checker to know what Given dictionaries are in scope.

We specifically do not collect dictionaries bound in a WpLet. These are either superclasses of lambda-bound ones, or (extremely numerous) results of binding Wanted dictionaries. We definitely don't want all those cluttering up the Given dictionaries for pattern-match overlap checking!

Evidence bindings

datadata TcEvBinds

Instances2Data, Outputable

Data TcEvBindsDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Tc.Types.Evidence
Outputable TcEvBindsDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Tc.Types.Evidence

datadata EvBindsVar

Constructors

EvBindsVar
- ebv_uniq :: Unique
- ebv_binds :: IORef EvBindMap
- ebv_tcvs :: IORef [TcCoercion]
CoEvBindsVar
- ebv_uniq :: Unique
- ebv_tcvs :: IORef [TcCoercion]

Instances2Uniquable, Outputable

Uniquable EvBindsVarDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Tc.Types.Evidence
Outputable EvBindsVarDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Tc.Types.Evidence

newtypenewtype EvBindMap

Constructors

EvBindMap
- ev_bind_varenv :: DVarEnv EvBind

Instances1Outputable

Outputable EvBindMapDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Tc.Types.Evidence

valueemptyEvBindMap :: EvBindMap

valueextendEvBinds :: EvBindMap -> EvBind -> EvBindMap

valueunionEvBindMap :: EvBindMap -> EvBindMap -> EvBindMap

Source#

Union two evidence binding maps

valuelookupEvBind :: EvBindMap -> EvVar -> Maybe EvBind

valueevBindMapBinds :: EvBindMap -> Bag EvBind

valuefoldEvBindMap :: (EvBind -> a -> a) -> a -> EvBindMap -> a

valuenonDetStrictFoldEvBindMap :: (EvBind -> a -> a) -> a -> EvBindMap -> a

valuefilterEvBindMap :: (EvBind -> Bool) -> EvBindMap -> EvBindMap

valueisEmptyEvBindMap :: EvBindMap -> Bool

valueevBindMapToVarSet :: EvBindMap -> VarSet

valuevarSetMinusEvBindMap :: VarSet -> EvBindMap -> VarSet

datadata EvBindInfo

Constructors

EvBindGiven
EvBindWanted
- ebi_canonical :: CanonicalEvidence

datadata EvBind

Constructors

EvBind
- eb_lhs :: EvVar
- eb_rhs :: EvTerm
- eb_info :: EvBindInfo

Instances2Data, Outputable

Data EvBindDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Tc.Types.Evidence
Outputable EvBindDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Tc.Types.Evidence

valueemptyTcEvBinds :: TcEvBinds

valueisEmptyTcEvBinds :: TcEvBinds -> Bool

valuemkGivenEvBind :: EvVar -> EvTerm -> EvBind

valuemkWantedEvBind :: EvVar -> CanonicalEvidence -> EvTerm -> EvBind

valueevBindVar :: EvBind -> EvVar

valueisCoEvBindsVar :: EvBindsVar -> Bool

EvTerm (already a CoreExpr)

datadata EvTerm

Constructors

EvExpr EvExpr
EvTypeable Type EvTypeable
EvFun
- et_tvs :: [TyVar]
- et_given :: [EvVar]
- et_binds :: TcEvBinds
- et_body :: EvVar

Instances2Data, Outputable

Data EvTermDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Tc.Types.Evidence
Outputable EvTermDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Tc.Types.Evidence

typetype EvExpr = CoreExpr

valueevId :: EvId -> EvExpr

Source#

Any sort of evidence Id, including coercions

valueevCoercion :: TcCoercion -> EvTerm

valueevCast :: EvExpr -> TcCoercion -> EvTerm

valueevCastE :: EvExpr -> TcCoercion -> EvExpr

Source#

d |> co

valueevDFunApp :: DFunId -> [Type] -> [EvExpr] -> EvTerm

valueevDictApp :: Class -> [Type] -> [EvExpr] -> EvTerm

valueevSelector :: Id -> [Type] -> [EvExpr] -> EvExpr

valueevDelayedError :: Type -> String -> EvTerm

valuemkEvScSelectors :: Class -> [TcType] -> [(TcPredType, EvExpr)]

valueevTypeable :: Type -> EvTypeable -> EvTerm

valueevWrapIPE :: PredType -> EvExpr -> EvExpr

valueevUnwrapIPE :: PredType -> EvExpr -> EvExpr

valueevUnaryDictAppE :: Class -> [Type] -> EvExpr -> EvExpr

valuemkEvCast :: EvExpr -> TcCoercion -> EvTerm

Deprecated. Please use evCast instead

valuenestedEvIdsOfTerm :: EvTerm -> VarSet

valueevTermFVs :: EvTerm -> FV

valueevTermCoercion :: EvTerm -> TcCoercion

valueevTermCoercion_maybe :: EvTerm -> Maybe TcCoercion

valueevExprCoercion :: EvExpr -> TcCoercion

valueevExprCoercion_maybe :: EvExpr -> Maybe TcCoercion

datadata EvCallStack

Source#

Evidence for CallStack implicit parameters.

Constructors

EvCsEmpty
EvCsPushCall FastString RealSrcSpan EvExpr
EvCsPushCall origin loc stk represents a call from origin, occurring at loc, in a calling context stk.

Instances2Data, Outputable

Data EvCallStackDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Tc.Types.Evidence
Outputable EvCallStackDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Tc.Types.Evidence

datadata EvTypeable

Source#

Instructions on how to make a Typeable dictionary. See Note [Typeable evidence terms]

Constructors

EvTypeableTyCon TyCon [EvTerm]
Dictionary for Typeable T where T is a type constructor with all of its kind variables saturated. The [EvTerm] is Typeable evidence for the applied kinds..
EvTypeableTyApp EvTerm EvTerm
Dictionary for Typeable (s t), given a dictionaries for s and t.
EvTypeableTrFun EvTerm EvTerm EvTerm
Dictionary for Typeable (s % w -> t), given a dictionaries for w, s, and t.
EvTypeableTyLit EvTerm
Dictionary for a type literal, e.g. Typeable "foo" or Typeable 3 The EvTerm is evidence of, e.g., KnownNat 3 (see #10348)

Instances2Data, Outputable

Data EvTypeableDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Tc.Types.Evidence
Outputable EvTypeableDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Tc.Types.Evidence

HoleExprRef

datadata HoleExprRef

Source#

Where to store evidence for expression holes See Note [Holes in expressions] in GHC.Hs.Expr.

Constructors

HER (IORef EvTerm) TcType Unique

Instances2Data, Outputable

Data HoleExprRefDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Tc.Types.Evidence
Outputable HoleExprRefDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Tc.Types.Evidence

TcCoercion

typetype TcCoercion = Coercion

typetype TcCoercionR = CoercionR

typetype TcCoercionN = CoercionN

typetype TcCoercionP = CoercionP

datadata CoercionHole

Source#

A coercion to be filled in by the type-checker. See Note [Coercion holes]

Instances3Data, Uniquable, Outputable

Data CoercionHoleDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Core.TyCo.Rep
Uniquable CoercionHoleDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Core.TyCo.Rep
Outputable CoercionHoleDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Core.TyCo.Rep

typetype TcMCoercion = MCoercion

typetype TcMCoercionN = MCoercionN

typetype TcMCoercionR = MCoercionR

datadata Role

Source#

See Note [Roles] in GHC.Core.Coercion

Order of constructors matters: the Ord instance coincides with the *super*typing relation on roles.

Nominal Representational Phantom

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

Eq RoleDefined in ghc-lib-parser-9.14.1.20251220 · Language.Haskell.Syntax.Basic
Data RoleDefined in ghc-lib-parser-9.14.1.20251220 · Language.Haskell.Syntax.Basic
Ord RoleDefined in ghc-lib-parser-9.14.1.20251220 · Language.Haskell.Syntax.Basic
NFData RoleDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Core.Coercion.Axiom · orphan
Outputable RoleDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Core.Coercion.Axiom · orphan
Binary RoleDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Core.Coercion.Axiom · orphan
type Anno (Maybe Role) = EpAnnCODefined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Decls · orphan

datadata LeftOrRight

CLeft CRight

Instances6Eq, Data, Ord, NFData, Outputable, Binary

Eq LeftOrRightDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Types.Basic
Data LeftOrRightDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Types.Basic
Ord LeftOrRightDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Types.Basic
NFData LeftOrRightDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Types.Basic
Outputable LeftOrRightDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Types.Basic
Binary LeftOrRightDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Types.Basic