repa-1.0.0.0: High performance, regular, shape polymorphic parallel arrays.

Data.Array.Repa.Index

Contents

Description

Index types.

Synopsis

Index types

data Z Source

An index of dimension zero

Constructors

Z 

Instances

data tail :. head Source

Our index type, used for both shapes and indices.

Constructors

tail :. head 

Instances

(Eq tail, Eq head) => Eq (:. tail head) 
(Ord tail, Ord head) => Ord (:. tail head) 
(Show tail, Show head) => Show (:. tail head) 
(Shape sh, Arbitrary sh) => Arbitrary (:. sh Int)

Generate an arbitrary index, which may have 0's for some components.

Shape sh => Shape (:. sh Int) 
Slice sl => Slice (:. sl All) 
Slice sl => Slice (:. sl Int) 

Common dimensions.

type DIM0 = ZSource

Testing

arbitraryShape :: (Shape sh, Arbitrary sh) => Gen (sh :. Int)Source

Generate an aribrary shape that does not have 0's for any component.

arbitrarySmallShape :: (Shape sh, Arbitrary sh) => Int -> Gen (sh :. Int)Source

Generate an arbitrary shape where each dimension is more than zero, but less than a specific value.

props_DataArrayRepaIndex :: [(String, Property)]Source

QuickCheck properties for this module.