Documentation

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

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

tcGen :: SkolemInfo -> 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, WantedConstraints, result)Source

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

unifyType :: TcTauType -> TcTauType -> TcM CoercionISource

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

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

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

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

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

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

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

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

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

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

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