|
|
|
|
|
| Documentation |
|
| type Vect a = (a, a) |
|
| type VVar = Vect Var |
|
| type VExpr = Vect CoreExpr |
|
| type VBind = Vect CoreBind |
|
| vectorised :: Vect a -> a |
|
| lifted :: Vect a -> a |
|
| mapVect :: (a -> b) -> Vect a -> Vect b |
|
| vNonRec :: VVar -> VExpr -> VBind |
|
| vRec :: [VVar] -> [VExpr] -> VBind |
|
| vVar :: VVar -> VExpr |
|
| vType :: Type -> VExpr |
|
| vNote :: Note -> VExpr -> VExpr |
|
| vLet :: VBind -> VExpr -> VExpr |
|
| vLams :: Var -> [VVar] -> VExpr -> VExpr |
|
| vLamsWithoutLC :: [VVar] -> VExpr -> VExpr |
|
| vVarApps :: Var -> VExpr -> [VVar] -> VExpr |
|
| vCaseDEFAULT :: VExpr -> VVar -> Type -> Type -> VExpr -> VExpr |
|
| vCaseProd :: VExpr -> Type -> Type -> DataCon -> DataCon -> [Var] -> [VVar] -> VExpr -> VExpr |
|
| Produced by Haddock version 2.4.2 |
