GHC.Tc.Utils.Zonk

Specialisations of the HsSyn syntax for the typechecker

This module is an extension of HsSyn syntax, for use in the type checker.

Extracting types from HsSyn

hsLitType :: HsLit (GhcPass p) -> TcType

hsPatType :: Pat GhcTc -> Type

hsLPatType :: LPat GhcTc -> Type

Other HsSyn functions

mkHsDictLet :: TcEvBinds -> LHsExpr GhcTc -> LHsExpr GhcTc

mkHsApp :: forall (id :: Pass). LHsExpr (GhcPass id) -> LHsExpr (GhcPass id) -> LHsExpr (GhcPass id)

mkHsAppTy :: forall (p :: Pass). LHsType (GhcPass p) -> LHsType (GhcPass p) -> LHsType (GhcPass p)

mkHsCaseAlt :: forall (p :: Pass) body. (Anno (GRHS (GhcPass p) (LocatedA (body (GhcPass p)))) ~ SrcSpan, Anno (Match (GhcPass p) (LocatedA (body (GhcPass p)))) ~ SrcSpanAnnA) => LPat (GhcPass p) -> LocatedA (body (GhcPass p)) -> LMatch (GhcPass p) (LocatedA (body (GhcPass p)))

tcShortCutLit :: HsOverLit GhcRn -> ExpRhoType -> TcM (Maybe (HsOverLit GhcTc))

shortCutLit :: Platform -> OverLitVal -> TcType -> Maybe (HsExpr GhcTc)

hsOverLitName :: OverLitVal -> Name

conLikeResTy :: ConLike -> [Type] -> Type

re-exported from TcMonad

type TcId = Id

type TcIdSet = IdSet

Zonking

For a description of "zonking", see Note [What is zonking?] in GHC.Tc.Utils.TcMType

zonkTopDecls :: Bag EvBind -> LHsBinds GhcTc -> [LRuleDecl GhcTc] -> [LTcSpecPrag] -> [LForeignDecl GhcTc] -> TcM (TypeEnv, Bag EvBind, LHsBinds GhcTc, [LForeignDecl GhcTc], [LTcSpecPrag], [LRuleDecl GhcTc])

zonkTopExpr :: HsExpr GhcTc -> TcM (HsExpr GhcTc)

zonkTopLExpr :: LHsExpr GhcTc -> TcM (LHsExpr GhcTc)

zonkTopBndrs :: [TcId] -> TcM [Id]

data ZonkEnv

See Note [The ZonkEnv] Confused by zonking? See Note [What is zonking?] in GHC.Tc.Utils.TcMType.

Instances

Outputable ZonkEnv

Defined in GHC.Tc.Utils.Zonk

Methods

ppr :: ZonkEnv -> SDoc

data ZonkFlexi

Constructors

DefaultFlexi

SkolemiseFlexi

RuntimeUnkFlexi

NoFlexi

emptyZonkEnv :: TcM ZonkEnv

mkEmptyZonkEnv :: ZonkFlexi -> TcM ZonkEnv

initZonkEnv :: (ZonkEnv -> TcM b) -> TcM b

zonkTyVarBindersX :: ZonkEnv -> [VarBndr TcTyVar vis] -> TcM (ZonkEnv, [VarBndr TyVar vis])

zonkTyVarBinderX :: ZonkEnv -> VarBndr TcTyVar vis -> TcM (ZonkEnv, VarBndr TyVar vis)

zonkTyBndrs :: [TcTyVar] -> TcM (ZonkEnv, [TyVar])

zonkTyBndrsX :: ZonkEnv -> [TcTyVar] -> TcM (ZonkEnv, [TyVar])

zonkTcTypeToType :: TcType -> TcM Type

zonkTcTypeToTypeX :: ZonkEnv -> TcType -> TcM Type

zonkTcTypesToTypesX :: ZonkEnv -> [TcType] -> TcM [Type]

zonkScaledTcTypesToTypesX :: ZonkEnv -> [Scaled TcType] -> TcM [Scaled Type]

zonkTyVarOcc :: ZonkEnv -> TyVar -> TcM TcType

zonkCoToCo :: ZonkEnv -> Coercion -> TcM Coercion

zonkEvBinds :: ZonkEnv -> Bag EvBind -> TcM (ZonkEnv, Bag EvBind)

zonkTcEvBinds :: ZonkEnv -> TcEvBinds -> TcM (ZonkEnv, TcEvBinds)

zonkTcMethInfoToMethInfoX :: ZonkEnv -> TcMethInfo -> TcM MethInfo

lookupTyVarOcc :: ZonkEnv -> TcTyVar -> Maybe TyVar