Searched refs:newFlexiTyVarTy (Results 1 – 8 of 8) sorted by relevance
443 = do { pat_ty <- newFlexiTyVarTy liftedTypeKind621 = do { m1_ty <- newFlexiTyVarTy typeToTypeKind622 ; m2_ty <- newFlexiTyVarTy typeToTypeKind623 ; tup_ty <- newFlexiTyVarTy liftedTypeKind629 _ -> do { n_ty <- newFlexiTyVarTy typeToTypeKind672 ; new_res_ty <- newFlexiTyVarTy liftedTypeKind745 = do { m_ty <- newFlexiTyVarTy typeToTypeKind756 ; id_tys_s <- (mapM . mapM) (const (newFlexiTyVarTy liftedTypeKind))980 = do { body_ty <- newFlexiTyVarTy liftedTypeKind983 ; exp_tys <- replicateM arity $ newFlexiTyVarTy liftedTypeKind[all …]
320 = do { arr_ty <- newFlexiTyVarTy arrowTyConKind321 ; stk_ty <- newFlexiTyVarTy liftedTypeKind322 ; res_ty <- newFlexiTyVarTy liftedTypeKind414 tc_arr_rhs env rhs = do { ty <- newFlexiTyVarTy liftedTypeKind
20 newFlexiTyVarTy, -- Kind -> TcM TcType951 newFlexiTyVarTy :: Kind -> TcM TcType952 newFlexiTyVarTy kind = do function957 newFlexiTyVarTys n kind = replicateM n (newFlexiTyVarTy kind)961 = do { rr <- newFlexiTyVarTy runtimeRepTy969 ; newFlexiTyVarTy kind }
444 = do { ty1 <- newFlexiTyVarTy kind1445 ; ty2 <- newFlexiTyVarTy kind2
230 ; alpha <- newFlexiTyVarTy liftedTypeKind2514 ; newFlexiTyVarTy liftedTypeKind }
3244 do { tv_ty <- TcM.newFlexiTyVarTy (tyVarKind fmv)3308 newFlexiTcSTy knd = wrapTcS (TcM.newFlexiTyVarTy knd)
1744 ; res_ty <- newFlexiTyVarTy liftedTypeKind
579 newVar = liftTcM . newFlexiTyVarTy