ghc-7.0.1: The GHC API

TcSMonad

Documentation

type CanonicalCts = Bag CanonicalCt Source

emptyCCan :: CanonicalCts Source

andCCan :: CanonicalCts -> CanonicalCts -> CanonicalCts Source

andCCans :: [CanonicalCts] -> CanonicalCts Source

singleCCan :: CanonicalCt -> CanonicalCts Source

extendCCans :: CanonicalCts -> CanonicalCt -> CanonicalCts Source

isEmptyCCan :: CanonicalCts -> Bool Source

isCTyEqCan :: CanonicalCt -> Bool Source

isCDictCan_Maybe :: CanonicalCt -> Maybe Class Source

isCIPCan_Maybe :: CanonicalCt -> Maybe (IPName Name)Source

isCFunEqCan_Maybe :: CanonicalCt -> Maybe TyCon Source

data CanonicalCt Source

Constructors

CDictCan
Fields cc_id :: EvVar cc_flavor :: CtFlavor cc_class :: Class cc_tyargs :: [Xi]
CIPCan
Fields cc_id :: EvVar cc_flavor :: CtFlavor cc_ip_nm :: IPName Name cc_ip_ty :: TcTauType
CTyEqCan
Fields cc_id :: EvVar cc_flavor :: CtFlavor cc_tyvar :: TcTyVar cc_rhs :: Xi
CFunEqCan
Fields cc_id :: EvVar cc_flavor :: CtFlavor cc_fun :: TyCon cc_tyargs :: [Xi] cc_rhs :: Xi

Instances

Outputable CanonicalCt

type Xi = Type Source

tyVarsOfCanonical :: CanonicalCt -> TcTyVarSet Source

tyVarsOfCanonicals :: CanonicalCts -> TcTyVarSet Source

tyVarsOfCDicts :: CanonicalCts -> TcTyVarSet Source

mkWantedConstraints :: CanonicalCts -> Bag Implication -> WantedConstraints Source

deCanonicaliseWanted :: CanonicalCt -> WantedEvVar Source

makeGivens :: CanonicalCts -> CanonicalCts Source

makeSolvedByInst :: CanonicalCt -> CanonicalCt Source

data CtFlavor Source

Constructors

Given GivenLoc
Derived WantedLoc DerivedOrig
Wanted WantedLoc

Instances

Outputable CtFlavor

isWanted :: CtFlavor -> Bool Source

isGiven :: CtFlavor -> Bool Source

isDerived :: CtFlavor -> Bool Source

isDerivedSC :: CtFlavor -> Bool Source

isDerivedByInst :: CtFlavor -> Bool Source

isGivenCt :: CanonicalCt -> Bool Source

isWantedCt :: CanonicalCt -> Bool Source

pprFlavorArising :: CtFlavor -> SDoc Source

data DerivedOrig Source

Constructors

DerSC
DerInst

canRewrite :: CtFlavor -> CtFlavor -> Bool Source

canSolve :: CtFlavor -> CtFlavor -> Bool Source

combineCtLoc :: CtFlavor -> CtFlavor -> WantedLoc Source

mkGivenFlavor :: CtFlavor -> SkolemInfo -> CtFlavor Source

mkWantedFlavor :: CtFlavor -> CtFlavor Source

getWantedLoc :: CanonicalCt -> WantedLoc Source

data TcS a Source

Instances

Monad TcS
Functor TcS

runTcS :: SimplContext -> Untouchables -> TcS a -> TcM (a, Bag FrozenError, Bag EvBind)Source

failTcS :: SDoc -> TcS aSource

panicTcS :: SDoc -> TcS aSource

traceTcS :: String -> SDoc -> TcS ()Source

traceTcS0 :: String -> SDoc -> TcS ()Source

tryTcS :: TcS a -> TcS aSource

nestImplicTcS :: EvBindsVar -> Untouchables -> TcS a -> TcS aSource

recoverTcS :: TcS a -> TcS a -> TcS aSource

wrapErrTcS :: TcM a -> TcS aSource

wrapWarnTcS :: TcM a -> TcS aSource

data SimplContext Source

Constructors

SimplInfer
SimplRuleLhs
SimplInteractive
SimplCheck

Instances

Outputable SimplContext

isInteractive :: SimplContext -> Bool Source

simplEqsOnly :: SimplContext -> Bool Source

performDefaulting :: SimplContext -> Bool Source

newWantedCoVar :: TcType -> TcType -> TcS EvVar Source

newGivOrDerCoVar :: TcType -> TcType -> Coercion -> TcS EvVar Source

newGivOrDerEvVar :: TcPredType -> EvTerm -> TcS EvVar Source

newIPVar :: IPName Name -> TcType -> TcS EvVar Source

newDictVar :: Class -> [TcType] -> TcS EvVar Source

newKindConstraint :: TcTyVar -> Kind -> TcS CoVar Source

setWantedCoBind :: CoVar -> Coercion -> TcS ()Source

setDerivedCoBind :: CoVar -> Coercion -> TcS ()Source

setIPBind :: EvVar -> EvTerm -> TcS ()Source

setDictBind :: EvVar -> EvTerm -> TcS ()Source

setEvBind :: EvVar -> EvTerm -> TcS ()Source

setWantedTyBind :: TcTyVar -> TcType -> TcS ()Source

newTcEvBindsTcS :: TcS EvBindsVar Source

getInstEnvs :: TcS (InstEnv, InstEnv)Source

getFamInstEnvs :: TcS (FamInstEnv, FamInstEnv)Source

getTopEnv :: TcS HscEnv Source

getGblEnv :: TcS TcGblEnv Source

getTcEvBinds :: TcS EvBindsVar Source

getUntouchables :: TcS Untouchables Source

getTcEvBindsBag :: TcS EvBindMap Source

getTcSContext :: TcS SimplContext Source

getTcSTyBinds :: TcS (IORef (TyVarEnv (TcTyVar, TcType)))Source

getTcSTyBindsMap :: TcS (TyVarEnv (TcTyVar, TcType))Source

getTcSErrors :: TcS (IORef (Bag FrozenError))Source

getTcSErrorsBag :: TcS (Bag FrozenError)Source

data FrozenError Source

Constructors

FrozenError ErrorKind CtFlavor TcType TcType

Instances

Outputable FrozenError

addErrorTcS :: ErrorKind -> CtFlavor -> TcType -> TcType -> TcS ()Source

data ErrorKind Source

Constructors

MisMatchError
OccCheckError
KindError

newFlattenSkolemTy :: TcType -> TcS TcType Source

instDFunTypes :: [Either TyVar TcType] -> TcS [TcType]Source

instDFunConstraints :: TcThetaType -> TcS [EvVar]Source

newFlexiTcSTy :: Kind -> TcS TcType Source

isGoodRecEv :: EvVar -> WantedEvVar -> TcS Bool Source

compatKind :: Kind -> Kind -> Bool Source

isTouchableMetaTyVar :: TcTyVar -> TcS Bool Source

isTouchableMetaTyVar_InRange :: Untouchables -> TcTyVar -> Bool Source

getDefaultInfo :: TcS (SimplContext, [Type], (Bool, Bool))Source

getDynFlags :: TcS DynFlags Source

matchClass :: Class -> [Type] -> TcS (MatchInstResult (DFunId, [Either TyVar TcType]))Source

matchFam :: TyCon -> [Type] -> TcS (MatchInstResult (TyCon, [Type]))Source

data MatchInstResult mi Source

Constructors

MatchInstNo
MatchInstSingle mi
MatchInstMany

checkWellStagedDFun :: PredType -> DFunId -> WantedLoc -> TcS ()Source

warnTcS :: CtLoc orig -> Bool -> SDoc -> TcS ()Source

pprEq :: TcType -> TcType -> SDoc Source

mkWantedFunDepEqns :: WantedLoc -> [(Equation, (PredType, SDoc), (PredType, SDoc))] -> TcS [WantedEvVar]Source