Data.Repa.Scalar.Product

Product type

data a :*: b infixr 9

A strict product type, written infix.

Constructors

!a :*: !b infixr 9

Instances

IsProdList ts => Discard 'Z (t1 :*: ts)

Defined in Data.Repa.Scalar.Product

Associated Types

type Discard' 'Z (t1 :*: ts)

Methods

discard :: Nat 'Z -> (t1 :*: ts) -> Discard' 'Z (t1 :*: ts)

IsProdList ts => Select 'Z (t1 :*: ts)

Defined in Data.Repa.Scalar.Product

Associated Types

type Select' 'Z (t1 :*: ts)

Methods

select :: Nat 'Z -> (t1 :*: ts) -> Select' 'Z (t1 :*: ts)

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

Defined in Data.Repa.Scalar.Product

Methods

basicUnsafeFreeze :: Mutable Vector s (a :*: b) -> ST s (Vector (a :*: b))

basicUnsafeThaw :: Vector (a :*: b) -> ST s (Mutable Vector s (a :*: b))

basicLength :: Vector (a :*: b) -> Int

basicUnsafeSlice :: Int -> Int -> Vector (a :*: b) -> Vector (a :*: b)

basicUnsafeIndexM :: Vector (a :*: b) -> Int -> Box (a :*: b)

basicUnsafeCopy :: Mutable Vector s (a :*: b) -> Vector (a :*: b) -> ST s ()

elemseq :: Vector (a :*: b) -> (a :*: b) -> b0 -> b0

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

Defined in Data.Repa.Scalar.Product

Methods

basicLength :: MVector s (a :*: b) -> Int

basicUnsafeSlice :: Int -> Int -> MVector s (a :*: b) -> MVector s (a :*: b)

basicOverlaps :: MVector s (a :*: b) -> MVector s (a :*: b) -> Bool

basicUnsafeNew :: Int -> ST s (MVector s (a :*: b))

basicInitialize :: MVector s (a :*: b) -> ST s ()

basicUnsafeReplicate :: Int -> (a :*: b) -> ST s (MVector s (a :*: b))

basicUnsafeRead :: MVector s (a :*: b) -> Int -> ST s (a :*: b)

basicUnsafeWrite :: MVector s (a :*: b) -> Int -> (a :*: b) -> ST s ()

basicClear :: MVector s (a :*: b) -> ST s ()

basicSet :: MVector s (a :*: b) -> (a :*: b) -> ST s ()

basicUnsafeCopy :: MVector s (a :*: b) -> MVector s (a :*: b) -> ST s ()

basicUnsafeMove :: MVector s (a :*: b) -> MVector s (a :*: b) -> ST s ()

basicUnsafeGrow :: MVector s (a :*: b) -> Int -> ST s (MVector s (a :*: b))

Functor ((:*:) a)

Defined in Data.Repa.Scalar.Product

Methods

fmap :: (a0 -> b) -> (a :*: a0) -> a :*: b

(<$) :: a0 -> (a :*: b) -> a :*: a0

Discard n ts => Discard ('S n) (t1 :*: ts)

Defined in Data.Repa.Scalar.Product

Associated Types

type Discard' ('S n) (t1 :*: ts)

Methods

discard :: Nat ('S n) -> (t1 :*: ts) -> Discard' ('S n) (t1 :*: ts)

Select n ts => Select ('S n) (t1 :*: ts)

Defined in Data.Repa.Scalar.Product

Associated Types

type Select' ('S n) (t1 :*: ts)

Methods

select :: Nat ('S n) -> (t1 :*: ts) -> Select' ('S n) (t1 :*: ts)

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

Defined in Data.Repa.Scalar.Product

Methods

showsPrec :: Int -> (a :*: b) -> ShowS

show :: (a :*: b) -> String

showList :: [a :*: b] -> ShowS

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

Defined in Data.Repa.Scalar.Product

Methods

(==) :: (a :*: b) -> (a :*: b) -> Bool

(/=) :: (a :*: b) -> (a :*: b) -> Bool

(IsKeyValues p, IsKeyValues ps, Keys p ~ Keys ps) => IsKeyValues (p :*: ps)

Defined in Data.Repa.Scalar.Product

Associated Types

type Keys (p :*: ps)

type Values (p :*: ps)

Methods

keys :: (p :*: ps) -> [Keys (p :*: ps)]

values :: (p :*: ps) -> Values (p :*: ps)

IsProdList fs => IsProdList (f :*: fs)

Defined in Data.Repa.Scalar.Product

Methods

isProdList :: (f :*: fs) -> Bool

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

Defined in Data.Repa.Scalar.Product

Mask ms ts => Mask (Drop :*: ms) (t1 :*: ts)

Defined in Data.Repa.Scalar.Product

Associated Types

type Mask' (Drop :*: ms) (t1 :*: ts)

Methods

mask :: (Drop :*: ms) -> (t1 :*: ts) -> Mask' (Drop :*: ms) (t1 :*: ts)

Mask ms ts => Mask (Keep :*: ms) (t1 :*: ts)

Defined in Data.Repa.Scalar.Product

Associated Types

type Mask' (Keep :*: ms) (t1 :*: ts)

Methods

mask :: (Keep :*: ms) -> (t1 :*: ts) -> Mask' (Keep :*: ms) (t1 :*: ts)

type Discard' 'Z (t1 :*: ts)

Defined in Data.Repa.Scalar.Product

type Discard' 'Z (t1 :*: ts) = ts

type Select' 'Z (t1 :*: ts)

Defined in Data.Repa.Scalar.Product

type Select' 'Z (t1 :*: ts) = t1

data MVector s (a :*: b)

Defined in Data.Repa.Scalar.Product

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

type Discard' ('S n) (t1 :*: ts)

Defined in Data.Repa.Scalar.Product

type Discard' ('S n) (t1 :*: ts) = t1 :*: Discard' n ts

type Select' ('S n) (t1 :*: ts)

Defined in Data.Repa.Scalar.Product

type Select' ('S n) (t1 :*: ts) = Select' n ts

type Keys (p :*: ps)

Defined in Data.Repa.Scalar.Product

type Keys (p :*: ps) = Keys p

type Values (p :*: ps)

Defined in Data.Repa.Scalar.Product

type Values (p :*: ps) = Values p :*: Values ps

data Vector (a :*: b)

Defined in Data.Repa.Scalar.Product

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

type Mask' (Drop :*: ms) (t1 :*: ts)

Defined in Data.Repa.Scalar.Product

type Mask' (Drop :*: ms) (t1 :*: ts) = Mask' ms ts

type Mask' (Keep :*: ms) (t1 :*: ts)

Defined in Data.Repa.Scalar.Product

type Mask' (Keep :*: ms) (t1 :*: ts) = t1 :*: Mask' ms ts

class IsProdList p where

Sequences of products that form a valid list, using () for the nil value.

Methods

isProdList :: p -> Bool

Instances

IsProdList ()

Defined in Data.Repa.Scalar.Product

Methods

isProdList :: () -> Bool

IsProdList fs => IsProdList (f :*: fs)

Defined in Data.Repa.Scalar.Product

Methods

isProdList :: (f :*: fs) -> Bool

class IsKeyValues p where

Sequences of products and tuples that form hetrogeneous key-value pairs.

Associated Types

type Keys p

type Values p

Methods

keys :: p -> [Keys p]

Get a cons-list of all the keys.

values :: p -> Values p

Get a heterogeneous product-list of all the values.

Instances

(IsKeyValues p, IsKeyValues ps, Keys p ~ Keys ps) => IsKeyValues (p :*: ps)

Defined in Data.Repa.Scalar.Product

Associated Types

type Keys (p :*: ps)

type Values (p :*: ps)

Methods

keys :: (p :*: ps) -> [Keys (p :*: ps)]

values :: (p :*: ps) -> Values (p :*: ps)

IsKeyValues (k, v)

Defined in Data.Repa.Scalar.Product

Associated Types

type Keys (k, v)

type Values (k, v)

Methods

keys :: (k, v) -> [Keys (k, v)]

values :: (k, v) -> Values (k, v)

Selecting

class IsProdList t => Select (n :: N) t where

Associated Types

type Select' n t

Methods

select :: Nat n -> t -> Select' n t

Return the element with this index from a product list.

Instances

IsProdList ts => Select 'Z (t1 :*: ts)

Defined in Data.Repa.Scalar.Product

Associated Types

type Select' 'Z (t1 :*: ts)

Methods

select :: Nat 'Z -> (t1 :*: ts) -> Select' 'Z (t1 :*: ts)

Select n ts => Select ('S n) (t1 :*: ts)

Defined in Data.Repa.Scalar.Product

Associated Types

type Select' ('S n) (t1 :*: ts)

Methods

select :: Nat ('S n) -> (t1 :*: ts) -> Select' ('S n) (t1 :*: ts)

Discarding

class IsProdList t => Discard (n :: N) t where

Associated Types

type Discard' n t

Methods

discard :: Nat n -> t -> Discard' n t

Discard the element with this index from a product list.

Instances

IsProdList ts => Discard 'Z (t1 :*: ts)

Defined in Data.Repa.Scalar.Product

Associated Types

type Discard' 'Z (t1 :*: ts)

Methods

discard :: Nat 'Z -> (t1 :*: ts) -> Discard' 'Z (t1 :*: ts)

Discard n ts => Discard ('S n) (t1 :*: ts)

Defined in Data.Repa.Scalar.Product

Associated Types

type Discard' ('S n) (t1 :*: ts)

Methods

discard :: Nat ('S n) -> (t1 :*: ts) -> Discard' ('S n) (t1 :*: ts)

Masking

class (IsProdList m, IsProdList t) => Mask m t where

Class of data types that can have parts masked out.

Associated Types

type Mask' m t

Methods

mask :: m -> t -> Mask' m t

Mask out some component of a type.

mask (Keep :*: Drop  :*: Keep :*: ()) 
     (1    :*: "foo" :*: 'a'  :*: ())   =   (1 :*: 'a' :*: ())

mask (Drop :*: Drop  :*: Drop :*: ()) 
     (1    :*: "foo" :*: 'a'  :*: ())   =   ()

Instances

Mask () ()

Defined in Data.Repa.Scalar.Product

Associated Types

type Mask' () ()

Methods

mask :: () -> () -> Mask' () ()

Mask ms ts => Mask (Drop :*: ms) (t1 :*: ts)

Defined in Data.Repa.Scalar.Product

Associated Types

type Mask' (Drop :*: ms) (t1 :*: ts)

Methods

mask :: (Drop :*: ms) -> (t1 :*: ts) -> Mask' (Drop :*: ms) (t1 :*: ts)

Mask ms ts => Mask (Keep :*: ms) (t1 :*: ts)

Defined in Data.Repa.Scalar.Product

Associated Types

type Mask' (Keep :*: ms) (t1 :*: ts)

Methods

mask :: (Keep :*: ms) -> (t1 :*: ts) -> Mask' (Keep :*: ms) (t1 :*: ts)

data Keep

Singleton to indicate a field that should be kept.

Constructors

Keep

Instances

Mask ms ts => Mask (Keep :*: ms) (t1 :*: ts)

Defined in Data.Repa.Scalar.Product

Associated Types

type Mask' (Keep :*: ms) (t1 :*: ts)

Methods

mask :: (Keep :*: ms) -> (t1 :*: ts) -> Mask' (Keep :*: ms) (t1 :*: ts)

type Mask' (Keep :*: ms) (t1 :*: ts)

Defined in Data.Repa.Scalar.Product

type Mask' (Keep :*: ms) (t1 :*: ts) = t1 :*: Mask' ms ts

data Drop

Singleton to indicate a field that should be dropped.

Constructors

Drop

Instances

Mask ms ts => Mask (Drop :*: ms) (t1 :*: ts)

Defined in Data.Repa.Scalar.Product

Associated Types

type Mask' (Drop :*: ms) (t1 :*: ts)

Methods

mask :: (Drop :*: ms) -> (t1 :*: ts) -> Mask' (Drop :*: ms) (t1 :*: ts)

type Mask' (Drop :*: ms) (t1 :*: ts)

Defined in Data.Repa.Scalar.Product

type Mask' (Drop :*: ms) (t1 :*: ts) = Mask' ms ts