Moduleghc-lib-parser-9.14.1.20251220GHC2021

GHC.Tc.Types.Evidence

22 types
58 values

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

HsWrapper

18 declarations

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

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

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

22 declarations

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

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)

24 declarations

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

Any sort of evidence Id, including coercions

valueevCoercion :: TcCoercion -> EvTerm

valueevCast :: EvExpr -> TcCoercion -> EvTerm

valueevCastE :: EvExpr -> TcCoercion -> EvExpr

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

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

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

1 declaration

datadata HoleExprRef

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

12 declarations

typetype TcCoercion = Coercion

typetype TcCoercionR = CoercionR

typetype TcCoercionN = CoercionN

typetype TcCoercionP = CoercionP

datadata CoercionHole

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

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

valuepickLR :: LeftOrRight -> (a, a) -> a

valuemaybeSymCo :: SwapFlag -> TcCoercion -> TcCoercion

If a SwapFlag is IsSwapped, flip the orientation of a coercion

QuoteWrapper

3 declarations

datadata QuoteWrapper

Constructors

QuoteWrapper EvVar Type

Instances1Data

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

valueapplyQuoteWrapper :: QuoteWrapper -> HsWrapper

Convert the QuoteWrapper into a normal HsWrapper which can be used to apply its contents.

valuequoteWrapperTyVarTy :: QuoteWrapper -> Type