VectCore

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.3.0