Documentation

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

tcSubType :: CtOrigin -> UserTypeCtxt -> TcSigmaType -> TcSigmaType -> TcM HsWrapperSource

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

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

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

sigCtxt :: Id -> [TcTyVar] -> TcThetaType -> TcTauType -> TidyEnv -> TcM (TidyEnv, Message)Source

unifyType :: TcTauType -> TcTauType -> TcM TcCoercionSource

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

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

unifyKind :: TcKind -> TcKind -> TcM OrderingSource

unifyKindEq :: TcKind -> TcKind -> TcM ()Source

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

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 HsWrapperSource

failWithMisMatch :: [EqOrigin] -> TcM aSource

mkKindErrorCtxt :: Type -> Type -> Kind -> Kind -> TidyEnv -> TcM (TidyEnv, SDoc)Source