|
|
|
|
|
| Documentation |
|
| tcSubExp :: InstOrigin -> BoxySigmaType -> BoxySigmaType -> TcM HsWrapper |
|
| tcGen :: BoxySigmaType -> TcTyVarSet -> Maybe UserTypeCtxt -> ([TcTyVar] -> BoxyRhoType -> TcM result) -> TcM (HsWrapper, result) |
|
| checkSigTyVars :: [TcTyVar] -> TcM () |
|
| checkSigTyVarsWrt :: TcTyVarSet -> [TcTyVar] -> TcM () |
|
| bleatEscapedTvs :: TcTyVarSet -> [TcTyVar] -> [TcTyVar] -> TcM () |
|
| sigCtxt :: Id -> [TcTyVar] -> TcThetaType -> TcTauType -> TidyEnv -> TcM (TidyEnv, Message) |
|
| unifyType :: TcTauType -> TcTauType -> TcM CoercionI |
|
| unifyTypeList :: [TcTauType] -> TcM () |
|
| unifyTheta :: TcThetaType -> TcThetaType -> TcM [CoercionI] |
|
| unifyKind :: TcKind -> TcKind -> TcM () |
|
| unifyKinds :: [TcKind] -> [TcKind] -> TcM () |
|
| unifyFunKind :: TcKind -> TcM (Maybe (TcKind, TcKind)) |
|
| preSubType :: [TcTyVar] -> TcTyVarSet -> TcType -> BoxySigmaType -> TcM [TcType] |
|
| boxyMatchTypes :: TcTyVarSet -> [TcType] -> [BoxySigmaType] -> TvSubst |
|
| tcInfer :: (BoxyType -> TcM a) -> TcM (a, TcType) |
|
| subFunTys :: SDoc -> Arity -> BoxySigmaType -> Maybe UserTypeCtxt -> ([BoxySigmaType] -> BoxyRhoType -> TcM a) -> TcM (HsWrapper, a) |
|
| unBox :: BoxyType -> TcM TcType |
|
| refineBox :: TcType -> TcM TcType |
|
| refineBoxToTau :: TcType -> TcM TcType |
|
| withBox :: Kind -> (BoxySigmaType -> TcM a) -> TcM (a, TcType) |
|
| boxyUnify :: BoxyType -> BoxyType -> TcM CoercionI |
|
| boxyUnifyList :: [BoxyType] -> [BoxyType] -> TcM [CoercionI] |
|
| zapToMonotype :: BoxySigmaType -> TcM TcTauType |
|
| boxySplitListTy :: BoxyRhoType -> TcM (BoxySigmaType, CoercionI) |
|
| boxySplitPArrTy :: BoxyRhoType -> TcM (BoxySigmaType, CoercionI) |
|
| boxySplitTyConApp :: TyCon -> BoxyRhoType -> TcM ([BoxySigmaType], CoercionI) |
|
| boxySplitAppTy :: BoxyRhoType -> TcM ((BoxySigmaType, BoxySigmaType), CoercionI) |
|
| wrapFunResCoercion :: [TcType] -> HsWrapper -> TcM HsWrapper |
|
| Produced by Haddock version 2.7.2 |