GHC.Tc.Types.Evidence · ghc-9.10.3

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
WpMultCoercion Coercion

Instances5Data, Semigroup, Monoid, Outputable, ToHie

Data HsWrapperDefined in ghc-9.10.3 · GHC.Tc.Types.Evidence
Semigroup HsWrapperDefined in ghc-9.10.3 · 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-9.10.3 · GHC.Tc.Types.Evidence
Outputable HsWrapperDefined in ghc-9.10.3 · GHC.Tc.Types.Evidence
ToHie (LocatedA HsWrapper)Defined in ghc-9.10.3 · GHC.Iface.Ext.Ast

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 MUST have a fixed RuntimeRep
-> 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.

PRECONDITION: the "from" type of the first wrapper must 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

21 declarations

datadata TcEvBinds

#

Instances3Data, Outputable, ToHie

Data TcEvBindsDefined in ghc-9.10.3 · GHC.Tc.Types.Evidence
Outputable TcEvBindsDefined in ghc-9.10.3 · GHC.Tc.Types.Evidence
ToHie (EvBindContext (LocatedA TcEvBinds))Defined in ghc-9.10.3 · GHC.Iface.Ext.Ast

datadata EvBindsVar

#

Constructors

EvBindsVar
- ebv_uniq :: Unique
- ebv_binds :: IORef EvBindMap
- ebv_tcvs :: IORef CoVarSet
CoEvBindsVar
- ebv_uniq :: Unique
- ebv_tcvs :: IORef CoVarSet

Instances2Outputable, Uniquable

Outputable EvBindsVarDefined in ghc-9.10.3 · GHC.Tc.Types.Evidence
Uniquable EvBindsVarDefined in ghc-9.10.3 · GHC.Tc.Types.Evidence

newtypenewtype EvBindMap

#

Constructors

EvBindMap
- ev_bind_varenv :: DVarEnv EvBind

Instances1Outputable

Outputable EvBindMapDefined in ghc-9.10.3 · GHC.Tc.Types.Evidence

valueemptyEvBindMap :: EvBindMap

#

valueextendEvBinds :: EvBindMap -> EvBind -> EvBindMap

#

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 :: Canonical

datadata EvBind

#

Constructors

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

Instances1Outputable

Outputable EvBindDefined in ghc-9.10.3 · GHC.Tc.Types.Evidence

valueemptyTcEvBinds :: TcEvBinds

#

valueisEmptyTcEvBinds :: TcEvBinds -> Bool

#

valuemkGivenEvBind :: EvVar -> EvTerm -> EvBind

#

valuemkWantedEvBind :: EvVar -> Canonical -> EvTerm -> EvBind

#

valueevBindVar :: EvBind -> EvVar

#

valueisCoEvBindsVar :: EvBindsVar -> Bool

#

EvTerm (already a CoreExpr)

17 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-9.10.3 · GHC.Tc.Types.Evidence
Outputable EvTermDefined in ghc-9.10.3 · GHC.Tc.Types.Evidence

typetype EvExpr = CoreExpr

#

valueevId :: EvId -> EvExpr

#

Any sort of evidence Id, including coercions

valueevCoercion :: TcCoercion -> EvTerm

#

valueevCast :: EvExpr -> TcCoercion -> EvTerm

#

d |> co

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

#

valueevDataConApp :: DataCon -> [Type] -> [EvExpr] -> EvTerm

#

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

#

valuemkEvCast :: EvExpr -> TcCoercion -> EvTerm

#

valueevVarsOfTerm :: EvTerm -> VarSet

#

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

#

valueevTypeable :: Type -> EvTypeable -> EvTerm

#

valuefindNeededEvVars :: EvBindMap -> VarSet -> VarSet

#

valueevTermCoercion :: EvTerm -> TcCoercion

#

valueevTermCoercion_maybe :: EvTerm -> 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-9.10.3 · GHC.Tc.Types.Evidence
Outputable EvCallStackDefined in ghc-9.10.3 · 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-9.10.3 · GHC.Tc.Types.Evidence
Outputable EvTypeableDefined in ghc-9.10.3 · GHC.Tc.Types.Evidence

HoleExprRef

1 declaration

datadata HoleExprRef

#

Where to store evidence for expression holes See Note [Holes] in GHC.Tc.Types.Constraint

Constructors

HER (IORef EvTerm) TcType Unique

Instances2Data, Outputable

Data HoleExprRefDefined in ghc-9.10.3 · GHC.Tc.Types.Evidence
Outputable HoleExprRefDefined in ghc-9.10.3 · GHC.Tc.Types.Evidence

TcCoercion

14 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, Outputable, Uniquable

Data CoercionHoleDefined in ghc-9.10.3 · GHC.Core.TyCo.Rep
Outputable CoercionHoleDefined in ghc-9.10.3 · GHC.Core.TyCo.Rep
Uniquable CoercionHoleDefined in ghc-9.10.3 · 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, Outputable, Binary, Anno, …

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

datadata LeftOrRight

#

CLeft CRight

Instances4Eq, Data, Outputable, Binary

Eq LeftOrRightDefined in ghc-9.10.3 · GHC.Types.Basic
Data LeftOrRightDefined in ghc-9.10.3 · GHC.Types.Basic
Outputable LeftOrRightDefined in ghc-9.10.3 · GHC.Types.Basic
Binary LeftOrRightDefined in ghc-9.10.3 · GHC.Types.Basic

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

#

valuemaybeSymCo :: SwapFlag -> TcCoercion -> TcCoercion

#

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

valueunwrapIP :: Type -> CoercionR

#

Create a Coercion that unwraps an implicit-parameter dictionary to expose the underlying value. We expect the Type to have the form `IP sym ty`, and return a Coercion `co :: IP sym ty ~ ty`