Data.Repa.Product

Documentation

data a :*: b infixr 9

Strict product type, written infix.

Constructors

!a :*: !b infixr 9

Instances

(Unbox a, Unbox b) => Vector Vector ((:*:) a b)

(Unbox a, Unbox b) => MVector MVector ((:*:) a b)

(Eq a, Eq b) => Eq ((:*:) a b)

(Show a, Show b) => Show ((:*:) a b)

(Unbox a, Unbox b) => Unbox ((:*:) a b)

(Packable fa, Packable fb) => Packable ((:*:) fa fb)

(Format a, Format b) => Format ((:*:) a b)

data MVector s ((:*:) a b) = MV_Prod !Int !(MVector s a) !(MVector s b)

data Vector ((:*:) a b) = V_Prod !Int !(Vector a) !(Vector b)

type Value ((:*:) a b) = (:*:) (Value a) (Value b)