ghc-7.10.3: The GHC API

Safe HaskellNone
LanguageHaskell2010

TcUnify

Synopsis

Documentation

tcWrapResult :: HsExpr TcId -> TcRhoType -> TcRhoType -> TcM (HsExpr TcId) Source

tcGen :: UserTypeCtxt -> TcType -> ([TcTyVar] -> TcRhoType -> TcM result) -> TcM (HsWrapper, result) Source

tcSubType :: UserTypeCtxt -> TcSigmaType -> TcSigmaType -> TcM HsWrapper Source

tcSubType_NC :: UserTypeCtxt -> TcSigmaType -> TcSigmaType -> TcM HsWrapper Source

tcSubTypeDS :: UserTypeCtxt -> TcSigmaType -> TcRhoType -> TcM HsWrapper Source

tcSubTypeDS_NC :: UserTypeCtxt -> TcSigmaType -> TcRhoType -> TcM HsWrapper Source

checkConstraints :: SkolemInfo -> [TcTyVar] -> [EvVar] -> TcM result -> TcM (TcEvBinds, result) Source

buildImplication :: SkolemInfo -> [TcTyVar] -> [EvVar] -> TcM result -> TcM (Bag Implication, TcEvBinds, result) Source

unifyType :: TcTauType -> TcTauType -> TcM TcCoercion Source

unifyTypeList :: [TcTauType] -> TcM () Source

unifyTheta :: TcThetaType -> TcThetaType -> TcM [TcCoercion] Source

unifyKindX :: TcKind -> TcKind -> TcM (Maybe Ordering) Source

tcInfer :: (TcType -> TcM a) -> TcM (a, TcType) Source

Infer a type using a type "checking" function by passing in a ReturnTv, which can unify with *anything*. See also Note [ReturnTv] in TcType

matchExpectedListTy :: TcRhoType -> TcM (TcCoercion, TcRhoType) Source

matchExpectedPArrTy :: TcRhoType -> TcM (TcCoercion, TcRhoType) Source

matchExpectedTyConApp :: TyCon -> TcRhoType -> TcM (TcCoercion, [TcSigmaType]) Source

matchExpectedAppTy :: TcRhoType -> TcM (TcCoercion, (TcSigmaType, TcSigmaType)) Source

matchExpectedFunTys :: SDoc -> Arity -> TcRhoType -> TcM (TcCoercion, [TcSigmaType], TcRhoType) Source

matchExpectedFunKind :: TcKind -> TcM (Maybe (TcKind, TcKind)) Source

wrapFunResCoercion :: [TcType] -> HsWrapper -> TcM HsWrapper Source