ghc-6.12.3: The GHC API Source code Contents Index

Inst

Synopsis

data Inst pprInstances :: [Instance] -> SDoc pprDictsTheta :: [Inst] -> SDoc pprDictsInFull :: [Inst] -> SDoc showLIE :: SDoc -> TcM () pprInst :: Inst -> SDoc pprInsts :: [Inst] -> SDoc pprInstInFull :: Inst -> SDoc tidyInsts :: [Inst] -> (TidyEnv, [Inst]) tidyMoreInsts :: TidyEnv -> [Inst] -> (TidyEnv, [Inst]) newDictBndr :: InstLoc -> TcPredType -> TcM Inst newDictBndrs :: InstLoc -> TcThetaType -> TcM [Inst] newDictBndrsO :: InstOrigin -> TcThetaType -> TcM [Inst] newDictOccs :: InstLoc -> TcThetaType -> TcM [Inst] newDictOcc :: InstLoc -> TcPredType -> TcM Inst instCall :: InstOrigin -> [TcType] -> TcThetaType -> TcM HsWrapper instStupidTheta :: InstOrigin -> TcThetaType -> TcM () cloneDict :: Inst -> TcM Inst mkOverLit :: OverLitVal -> TcM HsLit newIPDict :: InstOrigin -> IPName Name -> Type -> TcM (IPName Id, Inst) newMethod :: InstLoc -> Id -> [Type] -> TcRn Inst newMethodFromName :: InstOrigin -> BoxyRhoType -> Name -> TcM TcId newMethodWithGivenTy :: InstOrigin -> Id -> [Type] -> TcRn TcId tcInstClassOp :: InstLoc -> Id -> [TcType] -> TcM Inst tcSyntaxName :: InstOrigin -> TcType -> (Name, HsExpr Name) -> TcM (Name, HsExpr TcId) tyVarsOfInst :: Inst -> TyVarSet tyVarsOfInsts :: [Inst] -> TyVarSet tyVarsOfLIE :: Bag Inst -> TyVarSet tcTyVarsOfInst :: Inst -> TyVarSet tcTyVarsOfInsts :: [Inst] -> TcTyVarSet ipNamesOfInst :: Inst -> [Name] ipNamesOfInsts :: [Inst] -> [Name] fdPredsOfInst :: Inst -> [TcPredType] fdPredsOfInsts :: [Inst] -> [PredType] growInstsTyVars :: [Inst] -> TyVarSet -> TyVarSet getDictClassTys :: Inst -> (Class, [Type]) dictPred :: Inst -> TcPredType lookupSimpleInst :: Inst -> TcM LookupInstResult data LookupInstResult = NoInstance | GenInst [Inst] (LHsExpr TcId) tcExtendLocalInstEnv :: [Instance] -> TcM a -> TcM a tcGetInstEnvs :: TcM (InstEnv, InstEnv) getOverlapFlag :: TcM OverlapFlag isAbstractableInst :: Inst -> Bool isEqInst :: Inst -> Bool isDict :: Inst -> Bool isClassDict :: Inst -> Bool isMethod :: Inst -> Bool isImplicInst :: Inst -> Bool isIPDict :: Inst -> Bool isInheritableInst :: Inst -> Bool isMethodOrLit :: Inst -> Bool isTyVarDict :: Inst -> Bool isMethodFor :: TcIdSet -> Inst -> Bool zonkInst :: Inst -> TcM Inst zonkInsts :: [Inst] -> TcRn [Inst] instToId :: Inst -> TcId instToVar :: Inst -> Var instType :: Inst -> Type instName :: Inst -> Name instToDictBind :: Inst -> LHsExpr TcId -> TcDictBinds addInstToDictBind :: TcDictBinds -> Inst -> LHsExpr TcId -> TcDictBinds data InstOrigin = SigOrigin SkolemInfo | IPBindOrigin (IPName Name) | OccurrenceOf Name | SpecPragOrigin Name | IPOccOrigin (IPName Name) | LiteralOrigin (HsOverLit Name) | NegateOrigin | ArithSeqOrigin (ArithSeqInfo Name) | PArrSeqOrigin (ArithSeqInfo Name) | TupleOrigin | InstSigOrigin | ExprSigOrigin | RecordUpdOrigin | ViewPatOrigin | InstScOrigin | NoScOrigin | DerivOrigin | StandAloneDerivOrigin | DefaultOrigin | DoOrigin | ProcOrigin | ImplicOrigin SDoc | EqOrigin | AnnOrigin data InstLoc pprInstLoc :: InstLoc -> SDoc mkWantedCo :: TcTyVar -> EqInstCo mkGivenCo :: Coercion -> EqInstCo isWantedCo :: EqInstCo -> Bool eqInstCoType :: EqInstCo -> TcType mkIdEqInstCo :: EqInstCo -> Type -> TcM () mkSymEqInstCo :: EqInstCo -> (Type, Type) -> TcM EqInstCo mkLeftTransEqInstCo :: EqInstCo -> Coercion -> (Type, Type) -> TcM EqInstCo mkRightTransEqInstCo :: EqInstCo -> Coercion -> (Type, Type) -> TcM EqInstCo mkAppEqInstCo :: EqInstCo -> (Type, Type) -> (Type, Type) -> TcM (EqInstCo, EqInstCo) mkTyConEqInstCo :: EqInstCo -> TyCon -> [(Type, Type)] -> TcM [EqInstCo] mkFunEqInstCo :: EqInstCo -> (Type, Type) -> (Type, Type) -> TcM (EqInstCo, EqInstCo) wantedEqInstIsUnsolved :: Inst -> TcM Bool eitherEqInst :: Inst -> (TcTyVar -> a) -> (Coercion -> a) -> a mkEqInst :: PredType -> EqInstCo -> TcM Inst mkWantedEqInst :: PredType -> TcM Inst wantedToLocalEqInst :: Inst -> Inst finalizeEqInst :: Inst -> TcM Inst eqInstType :: Inst -> TcType eqInstCoercion :: Inst -> EqInstCo eqInstTys :: Inst -> (TcType, TcType)

Documentation

data Inst Source

Instances Eq Inst Ord Inst Outputable Inst

pprInstances :: [Instance] -> SDoc Source

pprDictsTheta :: [Inst] -> SDoc Source

pprDictsInFull :: [Inst] -> SDoc Source

showLIE :: SDoc -> TcM () Source

pprInst :: Inst -> SDoc Source

pprInsts :: [Inst] -> SDoc Source

pprInstInFull :: Inst -> SDoc Source

tidyInsts :: [Inst] -> (TidyEnv, [Inst]) Source

tidyMoreInsts :: TidyEnv -> [Inst] -> (TidyEnv, [Inst]) Source

newDictBndr :: InstLoc -> TcPredType -> TcM Inst Source

newDictBndrs :: InstLoc -> TcThetaType -> TcM [Inst] Source

newDictBndrsO :: InstOrigin -> TcThetaType -> TcM [Inst] Source

newDictOccs :: InstLoc -> TcThetaType -> TcM [Inst] Source

newDictOcc :: InstLoc -> TcPredType -> TcM Inst Source

instCall :: InstOrigin -> [TcType] -> TcThetaType -> TcM HsWrapper Source

instStupidTheta :: InstOrigin -> TcThetaType -> TcM () Source

cloneDict :: Inst -> TcM Inst Source

mkOverLit :: OverLitVal -> TcM HsLit Source

newIPDict :: InstOrigin -> IPName Name -> Type -> TcM (IPName Id, Inst) Source

newMethod :: InstLoc -> Id -> [Type] -> TcRn Inst Source

newMethodFromName :: InstOrigin -> BoxyRhoType -> Name -> TcM TcId Source

newMethodWithGivenTy :: InstOrigin -> Id -> [Type] -> TcRn TcId Source

tcInstClassOp :: InstLoc -> Id -> [TcType] -> TcM Inst Source

tcSyntaxName :: InstOrigin -> TcType -> (Name, HsExpr Name) -> TcM (Name, HsExpr TcId) Source

tyVarsOfInst :: Inst -> TyVarSet Source

All free type variables (not including the coercion variables of equalities)

tyVarsOfInsts :: [Inst] -> TyVarSet Source

tyVarsOfLIE :: Bag Inst -> TyVarSet Source

tcTyVarsOfInst :: Inst -> TyVarSet Source

All free meta type variables *including* the coercion variables of equalities

tcTyVarsOfInsts :: [Inst] -> TcTyVarSet Source

ipNamesOfInst :: Inst -> [Name] Source

ipNamesOfInsts :: [Inst] -> [Name] Source

fdPredsOfInst :: Inst -> [TcPredType] Source

fdPredsOfInsts :: [Inst] -> [PredType] Source

growInstsTyVars :: [Inst] -> TyVarSet -> TyVarSet Source

getDictClassTys :: Inst -> (Class, [Type]) Source

dictPred :: Inst -> TcPredType Source

lookupSimpleInst :: Inst -> TcM LookupInstResult Source

data LookupInstResult Source

Constructors NoInstance GenInst [Inst] (LHsExpr TcId)

tcExtendLocalInstEnv :: [Instance] -> TcM a -> TcM a Source

tcGetInstEnvs :: TcM (InstEnv, InstEnv) Source

getOverlapFlag :: TcM OverlapFlag Source

isAbstractableInst :: Inst -> Bool Source

isEqInst :: Inst -> Bool Source

isDict :: Inst -> Bool Source

isClassDict :: Inst -> Bool Source

isMethod :: Inst -> Bool Source

isImplicInst :: Inst -> Bool Source

isIPDict :: Inst -> Bool Source

isInheritableInst :: Inst -> Bool Source

isMethodOrLit :: Inst -> Bool Source

isTyVarDict :: Inst -> Bool Source

isMethodFor :: TcIdSet -> Inst -> Bool Source

zonkInst :: Inst -> TcM Inst Source

zonkInsts :: [Inst] -> TcRn [Inst] Source

instToId :: Inst -> TcId Source

instToVar :: Inst -> Var Source

instType :: Inst -> Type Source

instName :: Inst -> Name Source

instToDictBind :: Inst -> LHsExpr TcId -> TcDictBinds Source

addInstToDictBind :: TcDictBinds -> Inst -> LHsExpr TcId -> TcDictBinds Source

data InstOrigin Source

Constructors SigOrigin SkolemInfo IPBindOrigin (IPName Name) OccurrenceOf Name SpecPragOrigin Name IPOccOrigin (IPName Name) LiteralOrigin (HsOverLit Name) NegateOrigin ArithSeqOrigin (ArithSeqInfo Name) PArrSeqOrigin (ArithSeqInfo Name) TupleOrigin InstSigOrigin ExprSigOrigin RecordUpdOrigin ViewPatOrigin InstScOrigin NoScOrigin DerivOrigin StandAloneDerivOrigin DefaultOrigin DoOrigin ProcOrigin ImplicOrigin SDoc EqOrigin AnnOrigin Instances Outputable InstOrigin

data InstLoc Source

pprInstLoc :: InstLoc -> SDoc Source

mkWantedCo :: TcTyVar -> EqInstCo Source

mkGivenCo :: Coercion -> EqInstCo Source

isWantedCo :: EqInstCo -> Bool Source

eqInstCoType :: EqInstCo -> TcType Source

mkIdEqInstCo :: EqInstCo -> Type -> TcM () Source

mkSymEqInstCo :: EqInstCo -> (Type, Type) -> TcM EqInstCo Source

mkLeftTransEqInstCo :: EqInstCo -> Coercion -> (Type, Type) -> TcM EqInstCo Source

mkRightTransEqInstCo :: EqInstCo -> Coercion -> (Type, Type) -> TcM EqInstCo Source

mkAppEqInstCo :: EqInstCo -> (Type, Type) -> (Type, Type) -> TcM (EqInstCo, EqInstCo) Source

mkTyConEqInstCo :: EqInstCo -> TyCon -> [(Type, Type)] -> TcM [EqInstCo] Source

mkFunEqInstCo :: EqInstCo -> (Type, Type) -> (Type, Type) -> TcM (EqInstCo, EqInstCo) Source

wantedEqInstIsUnsolved :: Inst -> TcM Bool Source

A wanted equality is unsolved as long as its cotv is unfilled.

eitherEqInst :: Inst -> (TcTyVar -> a) -> (Coercion -> a) -> a Source

mkEqInst :: PredType -> EqInstCo -> TcM Inst Source

mkWantedEqInst :: PredType -> TcM Inst Source

wantedToLocalEqInst :: Inst -> Inst Source

finalizeEqInst :: Inst -> TcM Inst Source

eqInstType :: Inst -> TcType Source

eqInstCoercion :: Inst -> EqInstCo Source

eqInstTys :: Inst -> (TcType, TcType) Source

Produced by Haddock version 2.6.1