Data.Array.Comfort.Shape

Documentation

class C sh where

Methods

size :: sh -> Int

Instances

C Zero

Defined in Data.Array.Comfort.Shape

Methods

size :: Zero -> Int

C ()

Defined in Data.Array.Comfort.Shape

Methods

size :: () -> Int

C f => C (Shape f)

Defined in Data.Array.Comfort.Container

Methods

size :: Shape f -> Int

C (Constructed tag)

Defined in Data.Array.Comfort.Shape

Methods

size :: Constructed tag -> Int

C sh => C (Cube sh)

Defined in Data.Array.Comfort.Shape

Methods

size :: Cube sh -> Int

Integral n => C (Cyclic n)

Defined in Data.Array.Comfort.Shape

Methods

size :: Cyclic n -> Int

C sh => C (Deferred sh)

Defined in Data.Array.Comfort.Shape

Methods

size :: Deferred sh -> Int

(Enum n, Bounded n) => C (Enumeration n)

Defined in Data.Array.Comfort.Shape

Methods

size :: Enumeration n -> Int

Integral n => C (OneBased n)

Defined in Data.Array.Comfort.Shape

Methods

size :: OneBased n -> Int

Ix n => C (Range n)

Defined in Data.Array.Comfort.Shape

Methods

size :: Range n -> Int

Foldable f => C (Record f)

Defined in Data.Array.Comfort.Shape

Methods

size :: Record f -> Int

Integral n => C (Shifted n)

Defined in Data.Array.Comfort.Shape

Methods

size :: Shifted n -> Int

C sh => C (Square sh)

Defined in Data.Array.Comfort.Shape

Methods

size :: Square sh -> Int

Integral n => C (ZeroBased n)

Defined in Data.Array.Comfort.Shape

Methods

size :: ZeroBased n -> Int

Ord n => C (Set n)

Defined in Data.Array.Comfort.Shape

Methods

size :: Set n -> Int

(C sh0, C sh1) => C (sh0 ::+ sh1)

Defined in Data.Array.Comfort.Shape

Methods

size :: (sh0 ::+ sh1) -> Int

ElementTuple tuple => C (NestedTuple ixtype tuple)

Defined in Data.Array.Comfort.Shape

Methods

size :: NestedTuple ixtype tuple -> Int

(TriangularPart part, C size) => C (Triangular part size)

Defined in Data.Array.Comfort.Shape

Methods

size :: Triangular part size -> Int

(Ord k, C shape) => C (Map k shape)

Concatenate many arrays according to the shapes stored in a Map.

Defined in Data.Array.Comfort.Shape

Methods

size :: Map k shape -> Int

(C sh0, C sh1) => C (sh0, sh1)

Defined in Data.Array.Comfort.Shape

Methods

size :: (sh0, sh1) -> Int

C sh => C (Tagged s sh)

Defined in Data.Array.Comfort.Shape

Methods

size :: Tagged s sh -> Int

(C sh0, C sh1, C sh2) => C (sh0, sh1, sh2)

Defined in Data.Array.Comfort.Shape

Methods

size :: (sh0, sh1, sh2) -> Int

(SimplexOrderC order, CollisionC coll, Traversable f, C size) => C (Simplex order coll f size)

Defined in Data.Array.Comfort.Shape

Methods

size :: Simplex order coll f size -> Int

class C sh => Indexed sh where

Minimal complete definition

indices, (unifiedOffset | unifiedSizeOffset)

Associated Types

type Index sh

Methods

indices :: sh -> [Index sh]

offset :: sh -> Index sh -> Int

uncheckedOffset :: sh -> Index sh -> Int

unifiedOffset :: Checking check => sh -> Index sh -> Result check Int

inBounds :: sh -> Index sh -> Bool

sizeOffset :: sh -> (Int, Index sh -> Int)

uncheckedSizeOffset :: sh -> (Int, Index sh -> Int)

unifiedSizeOffset :: Checking check => sh -> (Int, Index sh -> Result check Int)

Instances

Indexed ()

>>> Shape.indices ()
[()]

Defined in Data.Array.Comfort.Shape

Associated Types

type Index ()

Methods

indices :: () -> [Index ()]

offset :: () -> Index () -> Int

uncheckedOffset :: () -> Index () -> Int

unifiedOffset :: Checking check => () -> Index () -> Result check Int

inBounds :: () -> Index () -> Bool

sizeOffset :: () -> (Int, Index () -> Int)

uncheckedSizeOffset :: () -> (Int, Index () -> Int)

unifiedSizeOffset :: Checking check => () -> (Int, Index () -> Result check Int)

Indexed f => Indexed (Shape f)

Defined in Data.Array.Comfort.Container

Associated Types

type Index (Shape f)

Methods

indices :: Shape f -> [Index (Shape f)]

offset :: Shape f -> Index (Shape f) -> Int

uncheckedOffset :: Shape f -> Index (Shape f) -> Int

unifiedOffset :: Checking check => Shape f -> Index (Shape f) -> Result check Int

inBounds :: Shape f -> Index (Shape f) -> Bool

sizeOffset :: Shape f -> (Int, Index (Shape f) -> Int)

uncheckedSizeOffset :: Shape f -> (Int, Index (Shape f) -> Int)

unifiedSizeOffset :: Checking check => Shape f -> (Int, Index (Shape f) -> Result check Int)

Indexed (Constructed tag)

Defined in Data.Array.Comfort.Shape

Associated Types

type Index (Constructed tag)

Methods

indices :: Constructed tag -> [Index (Constructed tag)]

offset :: Constructed tag -> Index (Constructed tag) -> Int

uncheckedOffset :: Constructed tag -> Index (Constructed tag) -> Int

unifiedOffset :: Checking check => Constructed tag -> Index (Constructed tag) -> Result check Int

inBounds :: Constructed tag -> Index (Constructed tag) -> Bool

sizeOffset :: Constructed tag -> (Int, Index (Constructed tag) -> Int)

uncheckedSizeOffset :: Constructed tag -> (Int, Index (Constructed tag) -> Int)

unifiedSizeOffset :: Checking check => Constructed tag -> (Int, Index (Constructed tag) -> Result check Int)

Indexed sh => Indexed (Cube sh)

Defined in Data.Array.Comfort.Shape

Associated Types

type Index (Cube sh)

Methods

indices :: Cube sh -> [Index (Cube sh)]

offset :: Cube sh -> Index (Cube sh) -> Int

uncheckedOffset :: Cube sh -> Index (Cube sh) -> Int

unifiedOffset :: Checking check => Cube sh -> Index (Cube sh) -> Result check Int

inBounds :: Cube sh -> Index (Cube sh) -> Bool

sizeOffset :: Cube sh -> (Int, Index (Cube sh) -> Int)

uncheckedSizeOffset :: Cube sh -> (Int, Index (Cube sh) -> Int)

unifiedSizeOffset :: Checking check => Cube sh -> (Int, Index (Cube sh) -> Result check Int)

Integral n => Indexed (Cyclic n)

Defined in Data.Array.Comfort.Shape

Associated Types

type Index (Cyclic n)

Methods

indices :: Cyclic n -> [Index (Cyclic n)]

offset :: Cyclic n -> Index (Cyclic n) -> Int

uncheckedOffset :: Cyclic n -> Index (Cyclic n) -> Int

unifiedOffset :: Checking check => Cyclic n -> Index (Cyclic n) -> Result check Int

inBounds :: Cyclic n -> Index (Cyclic n) -> Bool

sizeOffset :: Cyclic n -> (Int, Index (Cyclic n) -> Int)

uncheckedSizeOffset :: Cyclic n -> (Int, Index (Cyclic n) -> Int)

unifiedSizeOffset :: Checking check => Cyclic n -> (Int, Index (Cyclic n) -> Result check Int)

C sh => Indexed (Deferred sh)

Defined in Data.Array.Comfort.Shape

Associated Types

type Index (Deferred sh)

Methods

indices :: Deferred sh -> [Index (Deferred sh)]

offset :: Deferred sh -> Index (Deferred sh) -> Int

uncheckedOffset :: Deferred sh -> Index (Deferred sh) -> Int

unifiedOffset :: Checking check => Deferred sh -> Index (Deferred sh) -> Result check Int

inBounds :: Deferred sh -> Index (Deferred sh) -> Bool

sizeOffset :: Deferred sh -> (Int, Index (Deferred sh) -> Int)

uncheckedSizeOffset :: Deferred sh -> (Int, Index (Deferred sh) -> Int)

unifiedSizeOffset :: Checking check => Deferred sh -> (Int, Index (Deferred sh) -> Result check Int)

(Enum n, Bounded n) => Indexed (Enumeration n)

Defined in Data.Array.Comfort.Shape

Associated Types

type Index (Enumeration n)

Methods

indices :: Enumeration n -> [Index (Enumeration n)]

offset :: Enumeration n -> Index (Enumeration n) -> Int

uncheckedOffset :: Enumeration n -> Index (Enumeration n) -> Int

unifiedOffset :: Checking check => Enumeration n -> Index (Enumeration n) -> Result check Int

inBounds :: Enumeration n -> Index (Enumeration n) -> Bool

sizeOffset :: Enumeration n -> (Int, Index (Enumeration n) -> Int)

uncheckedSizeOffset :: Enumeration n -> (Int, Index (Enumeration n) -> Int)

unifiedSizeOffset :: Checking check => Enumeration n -> (Int, Index (Enumeration n) -> Result check Int)

Integral n => Indexed (OneBased n)

Defined in Data.Array.Comfort.Shape

Associated Types

type Index (OneBased n)

Methods

indices :: OneBased n -> [Index (OneBased n)]

offset :: OneBased n -> Index (OneBased n) -> Int

uncheckedOffset :: OneBased n -> Index (OneBased n) -> Int

unifiedOffset :: Checking check => OneBased n -> Index (OneBased n) -> Result check Int

inBounds :: OneBased n -> Index (OneBased n) -> Bool

sizeOffset :: OneBased n -> (Int, Index (OneBased n) -> Int)

uncheckedSizeOffset :: OneBased n -> (Int, Index (OneBased n) -> Int)

unifiedSizeOffset :: Checking check => OneBased n -> (Int, Index (OneBased n) -> Result check Int)

Ix n => Indexed (Range n)

Defined in Data.Array.Comfort.Shape

Associated Types

type Index (Range n)

Methods

indices :: Range n -> [Index (Range n)]

offset :: Range n -> Index (Range n) -> Int

uncheckedOffset :: Range n -> Index (Range n) -> Int

unifiedOffset :: Checking check => Range n -> Index (Range n) -> Result check Int

inBounds :: Range n -> Index (Range n) -> Bool

sizeOffset :: Range n -> (Int, Index (Range n) -> Int)

uncheckedSizeOffset :: Range n -> (Int, Index (Range n) -> Int)

unifiedSizeOffset :: Checking check => Range n -> (Int, Index (Range n) -> Result check Int)

Foldable f => Indexed (Record f)

Defined in Data.Array.Comfort.Shape

Associated Types

type Index (Record f)

Methods

indices :: Record f -> [Index (Record f)]

offset :: Record f -> Index (Record f) -> Int

uncheckedOffset :: Record f -> Index (Record f) -> Int

unifiedOffset :: Checking check => Record f -> Index (Record f) -> Result check Int

inBounds :: Record f -> Index (Record f) -> Bool

sizeOffset :: Record f -> (Int, Index (Record f) -> Int)

uncheckedSizeOffset :: Record f -> (Int, Index (Record f) -> Int)

unifiedSizeOffset :: Checking check => Record f -> (Int, Index (Record f) -> Result check Int)

Integral n => Indexed (Shifted n)

Defined in Data.Array.Comfort.Shape

Associated Types

type Index (Shifted n)

Methods

indices :: Shifted n -> [Index (Shifted n)]

offset :: Shifted n -> Index (Shifted n) -> Int

uncheckedOffset :: Shifted n -> Index (Shifted n) -> Int

unifiedOffset :: Checking check => Shifted n -> Index (Shifted n) -> Result check Int

inBounds :: Shifted n -> Index (Shifted n) -> Bool

sizeOffset :: Shifted n -> (Int, Index (Shifted n) -> Int)

uncheckedSizeOffset :: Shifted n -> (Int, Index (Shifted n) -> Int)

unifiedSizeOffset :: Checking check => Shifted n -> (Int, Index (Shifted n) -> Result check Int)

Indexed sh => Indexed (Square sh)

Defined in Data.Array.Comfort.Shape

Associated Types

type Index (Square sh)

Methods

indices :: Square sh -> [Index (Square sh)]

offset :: Square sh -> Index (Square sh) -> Int

uncheckedOffset :: Square sh -> Index (Square sh) -> Int

unifiedOffset :: Checking check => Square sh -> Index (Square sh) -> Result check Int

inBounds :: Square sh -> Index (Square sh) -> Bool

sizeOffset :: Square sh -> (Int, Index (Square sh) -> Int)

uncheckedSizeOffset :: Square sh -> (Int, Index (Square sh) -> Int)

unifiedSizeOffset :: Checking check => Square sh -> (Int, Index (Square sh) -> Result check Int)

Integral n => Indexed (ZeroBased n)

Defined in Data.Array.Comfort.Shape

Associated Types

type Index (ZeroBased n)

Methods

indices :: ZeroBased n -> [Index (ZeroBased n)]

offset :: ZeroBased n -> Index (ZeroBased n) -> Int

uncheckedOffset :: ZeroBased n -> Index (ZeroBased n) -> Int

unifiedOffset :: Checking check => ZeroBased n -> Index (ZeroBased n) -> Result check Int

inBounds :: ZeroBased n -> Index (ZeroBased n) -> Bool

sizeOffset :: ZeroBased n -> (Int, Index (ZeroBased n) -> Int)

uncheckedSizeOffset :: ZeroBased n -> (Int, Index (ZeroBased n) -> Int)

unifiedSizeOffset :: Checking check => ZeroBased n -> (Int, Index (ZeroBased n) -> Result check Int)

Ord n => Indexed (Set n)

You can use an arbitrary Set of indices as shape. The array elements are ordered according to the index order in the Set.

An Array (Set k) a is isomorphic to a Map k a, however it is missing most Map operations like insert, delete and union. An Array (Set k, Set j) a has a cartesian structure and thus is not isomorphic to Map (k,j) a. This means, if the array has two elements with indices (k0,j0) and (k1,j1) it has also an element with index (k0,j1).

Disadvantage is that combinators of different Set indexed arrays have to compare whole sets. However, the Set implementation may have low-level optimizations for pointer equality.

>>> Shape.indices (Set.fromList "comfort")
"cfmort"

Defined in Data.Array.Comfort.Shape

Associated Types

type Index (Set n)

Methods

indices :: Set n -> [Index (Set n)]

offset :: Set n -> Index (Set n) -> Int

uncheckedOffset :: Set n -> Index (Set n) -> Int

unifiedOffset :: Checking check => Set n -> Index (Set n) -> Result check Int

inBounds :: Set n -> Index (Set n) -> Bool

sizeOffset :: Set n -> (Int, Index (Set n) -> Int)

uncheckedSizeOffset :: Set n -> (Int, Index (Set n) -> Int)

unifiedSizeOffset :: Checking check => Set n -> (Int, Index (Set n) -> Result check Int)

(Indexed sh0, Indexed sh1) => Indexed (sh0 ::+ sh1)

Defined in Data.Array.Comfort.Shape

Associated Types

type Index (sh0 ::+ sh1)

Methods

indices :: (sh0 ::+ sh1) -> [Index (sh0 ::+ sh1)]

offset :: (sh0 ::+ sh1) -> Index (sh0 ::+ sh1) -> Int

uncheckedOffset :: (sh0 ::+ sh1) -> Index (sh0 ::+ sh1) -> Int

unifiedOffset :: Checking check => (sh0 ::+ sh1) -> Index (sh0 ::+ sh1) -> Result check Int

inBounds :: (sh0 ::+ sh1) -> Index (sh0 ::+ sh1) -> Bool

sizeOffset :: (sh0 ::+ sh1) -> (Int, Index (sh0 ::+ sh1) -> Int)

uncheckedSizeOffset :: (sh0 ::+ sh1) -> (Int, Index (sh0 ::+ sh1) -> Int)

unifiedSizeOffset :: Checking check => (sh0 ::+ sh1) -> (Int, Index (sh0 ::+ sh1) -> Result check Int)

AccessorTuple tuple => Indexed (NestedTuple TupleAccessor tuple)

Defined in Data.Array.Comfort.Shape

Associated Types

type Index (NestedTuple TupleAccessor tuple)

Methods

indices :: NestedTuple TupleAccessor tuple -> [Index (NestedTuple TupleAccessor tuple)]

offset :: NestedTuple TupleAccessor tuple -> Index (NestedTuple TupleAccessor tuple) -> Int

uncheckedOffset :: NestedTuple TupleAccessor tuple -> Index (NestedTuple TupleAccessor tuple) -> Int

unifiedOffset :: Checking check => NestedTuple TupleAccessor tuple -> Index (NestedTuple TupleAccessor tuple) -> Result check Int

inBounds :: NestedTuple TupleAccessor tuple -> Index (NestedTuple TupleAccessor tuple) -> Bool

sizeOffset :: NestedTuple TupleAccessor tuple -> (Int, Index (NestedTuple TupleAccessor tuple) -> Int)

uncheckedSizeOffset :: NestedTuple TupleAccessor tuple -> (Int, Index (NestedTuple TupleAccessor tuple) -> Int)

unifiedSizeOffset :: Checking check => NestedTuple TupleAccessor tuple -> (Int, Index (NestedTuple TupleAccessor tuple) -> Result check Int)

ElementTuple tuple => Indexed (NestedTuple TupleIndex tuple)

Defined in Data.Array.Comfort.Shape

Associated Types

type Index (NestedTuple TupleIndex tuple)

Methods

indices :: NestedTuple TupleIndex tuple -> [Index (NestedTuple TupleIndex tuple)]

offset :: NestedTuple TupleIndex tuple -> Index (NestedTuple TupleIndex tuple) -> Int

uncheckedOffset :: NestedTuple TupleIndex tuple -> Index (NestedTuple TupleIndex tuple) -> Int

unifiedOffset :: Checking check => NestedTuple TupleIndex tuple -> Index (NestedTuple TupleIndex tuple) -> Result check Int

inBounds :: NestedTuple TupleIndex tuple -> Index (NestedTuple TupleIndex tuple) -> Bool

sizeOffset :: NestedTuple TupleIndex tuple -> (Int, Index (NestedTuple TupleIndex tuple) -> Int)

uncheckedSizeOffset :: NestedTuple TupleIndex tuple -> (Int, Index (NestedTuple TupleIndex tuple) -> Int)

unifiedSizeOffset :: Checking check => NestedTuple TupleIndex tuple -> (Int, Index (NestedTuple TupleIndex tuple) -> Result check Int)

(TriangularPart part, Indexed size) => Indexed (Triangular part size)

Defined in Data.Array.Comfort.Shape

Associated Types

type Index (Triangular part size)

Methods

indices :: Triangular part size -> [Index (Triangular part size)]

offset :: Triangular part size -> Index (Triangular part size) -> Int

uncheckedOffset :: Triangular part size -> Index (Triangular part size) -> Int

unifiedOffset :: Checking check => Triangular part size -> Index (Triangular part size) -> Result check Int

inBounds :: Triangular part size -> Index (Triangular part size) -> Bool

sizeOffset :: Triangular part size -> (Int, Index (Triangular part size) -> Int)

uncheckedSizeOffset :: Triangular part size -> (Int, Index (Triangular part size) -> Int)

unifiedSizeOffset :: Checking check => Triangular part size -> (Int, Index (Triangular part size) -> Result check Int)

(Ord k, Indexed shape) => Indexed (Map k shape)

The implementations of offset et.al. are optimized for frequent calls with respect to the same shape.

>>> Shape.indices $ fmap Shape.ZeroBased $ Map.fromList [('b', (0::Int)), ('a', 5), ('c', 2)]
[('a',0),('a',1),('a',2),('a',3),('a',4),('c',0),('c',1)]

Defined in Data.Array.Comfort.Shape

Associated Types

type Index (Map k shape)

Methods

indices :: Map k shape -> [Index (Map k shape)]

offset :: Map k shape -> Index (Map k shape) -> Int

uncheckedOffset :: Map k shape -> Index (Map k shape) -> Int

unifiedOffset :: Checking check => Map k shape -> Index (Map k shape) -> Result check Int

inBounds :: Map k shape -> Index (Map k shape) -> Bool

sizeOffset :: Map k shape -> (Int, Index (Map k shape) -> Int)

uncheckedSizeOffset :: Map k shape -> (Int, Index (Map k shape) -> Int)

unifiedSizeOffset :: Checking check => Map k shape -> (Int, Index (Map k shape) -> Result check Int)

(Indexed sh0, Indexed sh1) => Indexed (sh0, sh1)

Row-major composition of two dimensions.

>>> Shape.indices (Shape.ZeroBased (3::Int), Shape.ZeroBased (3::Int))
[(0,0),(0,1),(0,2),(1,0),(1,1),(1,2),(2,0),(2,1),(2,2)]

Defined in Data.Array.Comfort.Shape

Associated Types

type Index (sh0, sh1)

Methods

indices :: (sh0, sh1) -> [Index (sh0, sh1)]

offset :: (sh0, sh1) -> Index (sh0, sh1) -> Int

uncheckedOffset :: (sh0, sh1) -> Index (sh0, sh1) -> Int

unifiedOffset :: Checking check => (sh0, sh1) -> Index (sh0, sh1) -> Result check Int

inBounds :: (sh0, sh1) -> Index (sh0, sh1) -> Bool

sizeOffset :: (sh0, sh1) -> (Int, Index (sh0, sh1) -> Int)

uncheckedSizeOffset :: (sh0, sh1) -> (Int, Index (sh0, sh1) -> Int)

unifiedSizeOffset :: Checking check => (sh0, sh1) -> (Int, Index (sh0, sh1) -> Result check Int)

Indexed sh => Indexed (Tagged s sh)

Defined in Data.Array.Comfort.Shape

Associated Types

type Index (Tagged s sh)

Methods

indices :: Tagged s sh -> [Index (Tagged s sh)]

offset :: Tagged s sh -> Index (Tagged s sh) -> Int

uncheckedOffset :: Tagged s sh -> Index (Tagged s sh) -> Int

unifiedOffset :: Checking check => Tagged s sh -> Index (Tagged s sh) -> Result check Int

inBounds :: Tagged s sh -> Index (Tagged s sh) -> Bool

sizeOffset :: Tagged s sh -> (Int, Index (Tagged s sh) -> Int)

uncheckedSizeOffset :: Tagged s sh -> (Int, Index (Tagged s sh) -> Int)

unifiedSizeOffset :: Checking check => Tagged s sh -> (Int, Index (Tagged s sh) -> Result check Int)

(Indexed sh0, Indexed sh1, Indexed sh2) => Indexed (sh0, sh1, sh2)

Defined in Data.Array.Comfort.Shape

Associated Types

type Index (sh0, sh1, sh2)

Methods

indices :: (sh0, sh1, sh2) -> [Index (sh0, sh1, sh2)]

offset :: (sh0, sh1, sh2) -> Index (sh0, sh1, sh2) -> Int

uncheckedOffset :: (sh0, sh1, sh2) -> Index (sh0, sh1, sh2) -> Int

unifiedOffset :: Checking check => (sh0, sh1, sh2) -> Index (sh0, sh1, sh2) -> Result check Int

inBounds :: (sh0, sh1, sh2) -> Index (sh0, sh1, sh2) -> Bool

sizeOffset :: (sh0, sh1, sh2) -> (Int, Index (sh0, sh1, sh2) -> Int)

uncheckedSizeOffset :: (sh0, sh1, sh2) -> (Int, Index (sh0, sh1, sh2) -> Int)

unifiedSizeOffset :: Checking check => (sh0, sh1, sh2) -> (Int, Index (sh0, sh1, sh2) -> Result check Int)

(SimplexOrderC order, CollisionC coll, Traversable f, Eq1 f, Indexed size) => Indexed (Simplex order coll f size)

Defined in Data.Array.Comfort.Shape

Associated Types

type Index (Simplex order coll f size)

Methods

indices :: Simplex order coll f size -> [Index (Simplex order coll f size)]

offset :: Simplex order coll f size -> Index (Simplex order coll f size) -> Int

uncheckedOffset :: Simplex order coll f size -> Index (Simplex order coll f size) -> Int

unifiedOffset :: Checking check => Simplex order coll f size -> Index (Simplex order coll f size) -> Result check Int

inBounds :: Simplex order coll f size -> Index (Simplex order coll f size) -> Bool

sizeOffset :: Simplex order coll f size -> (Int, Index (Simplex order coll f size) -> Int)

uncheckedSizeOffset :: Simplex order coll f size -> (Int, Index (Simplex order coll f size) -> Int)

unifiedSizeOffset :: Checking check => Simplex order coll f size -> (Int, Index (Simplex order coll f size) -> Result check Int)

class Indexed sh => InvIndexed sh where

Minimal complete definition

unifiedIndexFromOffset

Methods

indexFromOffset :: sh -> Int -> Index sh

It should hold indexFromOffset sh k == indices sh !! k, but indexFromOffset should generally be faster.

uncheckedIndexFromOffset :: sh -> Int -> Index sh

unifiedIndexFromOffset :: Checking check => sh -> Int -> Result check (Index sh)

Instances

InvIndexed ()

Defined in Data.Array.Comfort.Shape

Methods

indexFromOffset :: () -> Int -> Index ()

uncheckedIndexFromOffset :: () -> Int -> Index ()

unifiedIndexFromOffset :: Checking check => () -> Int -> Result check (Index ())

InvIndexed (Constructed tag)

Defined in Data.Array.Comfort.Shape

Methods

indexFromOffset :: Constructed tag -> Int -> Index (Constructed tag)

uncheckedIndexFromOffset :: Constructed tag -> Int -> Index (Constructed tag)

unifiedIndexFromOffset :: Checking check => Constructed tag -> Int -> Result check (Index (Constructed tag))

InvIndexed sh => InvIndexed (Cube sh)

Defined in Data.Array.Comfort.Shape

Methods

indexFromOffset :: Cube sh -> Int -> Index (Cube sh)

uncheckedIndexFromOffset :: Cube sh -> Int -> Index (Cube sh)

unifiedIndexFromOffset :: Checking check => Cube sh -> Int -> Result check (Index (Cube sh))

Integral n => InvIndexed (Cyclic n)

Defined in Data.Array.Comfort.Shape

Methods

indexFromOffset :: Cyclic n -> Int -> Index (Cyclic n)

uncheckedIndexFromOffset :: Cyclic n -> Int -> Index (Cyclic n)

unifiedIndexFromOffset :: Checking check => Cyclic n -> Int -> Result check (Index (Cyclic n))

C sh => InvIndexed (Deferred sh)

Defined in Data.Array.Comfort.Shape

Methods

indexFromOffset :: Deferred sh -> Int -> Index (Deferred sh)

uncheckedIndexFromOffset :: Deferred sh -> Int -> Index (Deferred sh)

unifiedIndexFromOffset :: Checking check => Deferred sh -> Int -> Result check (Index (Deferred sh))

(Enum n, Bounded n) => InvIndexed (Enumeration n)

Defined in Data.Array.Comfort.Shape

Methods

indexFromOffset :: Enumeration n -> Int -> Index (Enumeration n)

uncheckedIndexFromOffset :: Enumeration n -> Int -> Index (Enumeration n)

unifiedIndexFromOffset :: Checking check => Enumeration n -> Int -> Result check (Index (Enumeration n))

Integral n => InvIndexed (OneBased n)

Defined in Data.Array.Comfort.Shape

Methods

indexFromOffset :: OneBased n -> Int -> Index (OneBased n)

uncheckedIndexFromOffset :: OneBased n -> Int -> Index (OneBased n)

unifiedIndexFromOffset :: Checking check => OneBased n -> Int -> Result check (Index (OneBased n))

Ix n => InvIndexed (Range n)

Defined in Data.Array.Comfort.Shape

Methods

indexFromOffset :: Range n -> Int -> Index (Range n)

uncheckedIndexFromOffset :: Range n -> Int -> Index (Range n)

unifiedIndexFromOffset :: Checking check => Range n -> Int -> Result check (Index (Range n))

Integral n => InvIndexed (Shifted n)

Defined in Data.Array.Comfort.Shape

Methods

indexFromOffset :: Shifted n -> Int -> Index (Shifted n)

uncheckedIndexFromOffset :: Shifted n -> Int -> Index (Shifted n)

unifiedIndexFromOffset :: Checking check => Shifted n -> Int -> Result check (Index (Shifted n))

InvIndexed sh => InvIndexed (Square sh)

Defined in Data.Array.Comfort.Shape

Methods

indexFromOffset :: Square sh -> Int -> Index (Square sh)

uncheckedIndexFromOffset :: Square sh -> Int -> Index (Square sh)

unifiedIndexFromOffset :: Checking check => Square sh -> Int -> Result check (Index (Square sh))

Integral n => InvIndexed (ZeroBased n)

Defined in Data.Array.Comfort.Shape

Methods

indexFromOffset :: ZeroBased n -> Int -> Index (ZeroBased n)

uncheckedIndexFromOffset :: ZeroBased n -> Int -> Index (ZeroBased n)

unifiedIndexFromOffset :: Checking check => ZeroBased n -> Int -> Result check (Index (ZeroBased n))

Ord n => InvIndexed (Set n)

Defined in Data.Array.Comfort.Shape

Methods

indexFromOffset :: Set n -> Int -> Index (Set n)

uncheckedIndexFromOffset :: Set n -> Int -> Index (Set n)

unifiedIndexFromOffset :: Checking check => Set n -> Int -> Result check (Index (Set n))

(InvIndexed sh0, InvIndexed sh1) => InvIndexed (sh0 ::+ sh1)

Defined in Data.Array.Comfort.Shape

Methods

indexFromOffset :: (sh0 ::+ sh1) -> Int -> Index (sh0 ::+ sh1)

uncheckedIndexFromOffset :: (sh0 ::+ sh1) -> Int -> Index (sh0 ::+ sh1)

unifiedIndexFromOffset :: Checking check => (sh0 ::+ sh1) -> Int -> Result check (Index (sh0 ::+ sh1))

(TriangularPart part, InvIndexed size) => InvIndexed (Triangular part size)

Defined in Data.Array.Comfort.Shape

Methods

indexFromOffset :: Triangular part size -> Int -> Index (Triangular part size)

uncheckedIndexFromOffset :: Triangular part size -> Int -> Index (Triangular part size)

unifiedIndexFromOffset :: Checking check => Triangular part size -> Int -> Result check (Index (Triangular part size))

(Ord k, InvIndexed shape) => InvIndexed (Map k shape)

Defined in Data.Array.Comfort.Shape

Methods

indexFromOffset :: Map k shape -> Int -> Index (Map k shape)

uncheckedIndexFromOffset :: Map k shape -> Int -> Index (Map k shape)

unifiedIndexFromOffset :: Checking check => Map k shape -> Int -> Result check (Index (Map k shape))

(InvIndexed sh0, InvIndexed sh1) => InvIndexed (sh0, sh1)

Defined in Data.Array.Comfort.Shape

Methods

indexFromOffset :: (sh0, sh1) -> Int -> Index (sh0, sh1)

uncheckedIndexFromOffset :: (sh0, sh1) -> Int -> Index (sh0, sh1)

unifiedIndexFromOffset :: Checking check => (sh0, sh1) -> Int -> Result check (Index (sh0, sh1))

InvIndexed sh => InvIndexed (Tagged s sh)

Defined in Data.Array.Comfort.Shape

Methods

indexFromOffset :: Tagged s sh -> Int -> Index (Tagged s sh)

uncheckedIndexFromOffset :: Tagged s sh -> Int -> Index (Tagged s sh)

unifiedIndexFromOffset :: Checking check => Tagged s sh -> Int -> Result check (Index (Tagged s sh))

(InvIndexed sh0, InvIndexed sh1, InvIndexed sh2) => InvIndexed (sh0, sh1, sh2)

Defined in Data.Array.Comfort.Shape

Methods

indexFromOffset :: (sh0, sh1, sh2) -> Int -> Index (sh0, sh1, sh2)

uncheckedIndexFromOffset :: (sh0, sh1, sh2) -> Int -> Index (sh0, sh1, sh2)

unifiedIndexFromOffset :: Checking check => (sh0, sh1, sh2) -> Int -> Result check (Index (sh0, sh1, sh2))

(SimplexOrderC order, CollisionC coll, Traversable f, Eq1 f, InvIndexed size) => InvIndexed (Simplex order coll f size)

Defined in Data.Array.Comfort.Shape

Methods

indexFromOffset :: Simplex order coll f size -> Int -> Index (Simplex order coll f size)

uncheckedIndexFromOffset :: Simplex order coll f size -> Int -> Index (Simplex order coll f size)

unifiedIndexFromOffset :: Checking check => Simplex order coll f size -> Int -> Result check (Index (Simplex order coll f size))

messageIndexFromOffset :: String -> Int -> String

assertIndexFromOffset :: Checking check => String -> Int -> Bool -> Result check ()

class (C sh, Eq sh) => Static sh where

Methods

static :: sh

Instances

Static Zero

Defined in Data.Array.Comfort.Shape

Methods

static :: Zero

Static ()

Defined in Data.Array.Comfort.Shape

Methods

static :: ()

Static sh => Static (Deferred sh)

Defined in Data.Array.Comfort.Shape

Methods

static :: Deferred sh

(Enum n, Bounded n) => Static (Enumeration n)

Defined in Data.Array.Comfort.Shape

Methods

static :: Enumeration n

(Applicative f, Traversable f) => Static (Record f)

Defined in Data.Array.Comfort.Shape

Methods

static :: Record f

(Static sh0, Static sh1) => Static (sh0 ::+ sh1)

Defined in Data.Array.Comfort.Shape

Methods

static :: sh0 ::+ sh1

StaticTuple tuple => Static (NestedTuple ixtype tuple)

Defined in Data.Array.Comfort.Shape

Methods

static :: NestedTuple ixtype tuple

(TriangularPart part, Static size) => Static (Triangular part size)

Defined in Data.Array.Comfort.Shape

Methods

static :: Triangular part size

(Static sh0, Static sh1) => Static (sh0, sh1)

Defined in Data.Array.Comfort.Shape

Methods

static :: (sh0, sh1)

Static sh => Static (Tagged s sh)

Defined in Data.Array.Comfort.Shape

Methods

static :: Tagged s sh

(Static sh0, Static sh1, Static sh2) => Static (sh0, sh1, sh2)

Defined in Data.Array.Comfort.Shape

Methods

static :: (sh0, sh1, sh2)

class Indexed sh => Pattern sh where

Associated Types

type DataPattern sh x

Methods

indexPattern :: (Index sh -> x) -> sh -> DataPattern sh x

Instances

Pattern ()

Defined in Data.Array.Comfort.Shape

Associated Types

type DataPattern () x

Methods

indexPattern :: (Index () -> x) -> () -> DataPattern () x

Pattern sh => Pattern (Square sh)

Defined in Data.Array.Comfort.Shape

Associated Types

type DataPattern (Square sh) x

Methods

indexPattern :: (Index (Square sh) -> x) -> Square sh -> DataPattern (Square sh) x

Integral n => Pattern (ZeroBased n)

Defined in Data.Array.Comfort.Shape

Associated Types

type DataPattern (ZeroBased n) x

Methods

indexPattern :: (Index (ZeroBased n) -> x) -> ZeroBased n -> DataPattern (ZeroBased n) x

(Pattern sh0, Pattern sh1) => Pattern (sh0 ::+ sh1)

Defined in Data.Array.Comfort.Shape

Associated Types

type DataPattern (sh0 ::+ sh1) x

Methods

indexPattern :: (Index (sh0 ::+ sh1) -> x) -> (sh0 ::+ sh1) -> DataPattern (sh0 ::+ sh1) x

ElementTuple tuple => Pattern (NestedTuple TupleIndex tuple)

Defined in Data.Array.Comfort.Shape

Associated Types

type DataPattern (NestedTuple TupleIndex tuple) x

Methods

indexPattern :: (Index (NestedTuple TupleIndex tuple) -> x) -> NestedTuple TupleIndex tuple -> DataPattern (NestedTuple TupleIndex tuple) x

(Pattern sh0, Pattern sh1) => Pattern (sh0, sh1)

Defined in Data.Array.Comfort.Shape

Associated Types

type DataPattern (sh0, sh1) x

Methods

indexPattern :: (Index (sh0, sh1) -> x) -> (sh0, sh1) -> DataPattern (sh0, sh1) x

Pattern sh => Pattern (Tagged s sh)

Defined in Data.Array.Comfort.Shape

Associated Types

type DataPattern (Tagged s sh) x

Methods

indexPattern :: (Index (Tagged s sh) -> x) -> Tagged s sh -> DataPattern (Tagged s sh) x

requireCheck :: CheckSingleton check -> Result check a -> Result check a

data CheckSingleton check where

Constructors

Checked :: CheckSingleton Checked

Unchecked :: CheckSingleton Unchecked

class Checking check where

Associated Types

data Result check a

Methods

switchCheck :: f Checked -> f Unchecked -> f check

runChecked :: String -> Result Checked a -> a

runUnchecked :: Result Unchecked a -> a

assert :: Checking check => String -> Bool -> Result check ()

throwOrError :: Checking check => String -> Result check a

data Zero

Constructors

Zero

Instances

Show Zero

Defined in Data.Array.Comfort.Shape

Methods

showsPrec :: Int -> Zero -> ShowS

show :: Zero -> String

showList :: [Zero] -> ShowS

C Zero

Defined in Data.Array.Comfort.Shape

Methods

size :: Zero -> Int

Static Zero

Defined in Data.Array.Comfort.Shape

Methods

static :: Zero

Eq Zero

Defined in Data.Array.Comfort.Shape

Methods

(==) :: Zero -> Zero -> Bool

(/=) :: Zero -> Zero -> Bool

Ord Zero

Defined in Data.Array.Comfort.Shape

Methods

compare :: Zero -> Zero -> Ordering

(<) :: Zero -> Zero -> Bool

(<=) :: Zero -> Zero -> Bool

(>) :: Zero -> Zero -> Bool

(>=) :: Zero -> Zero -> Bool

max :: Zero -> Zero -> Zero

min :: Zero -> Zero -> Zero

newtype ZeroBased n

ZeroBased denotes a range starting at zero and has a certain length.

>>> Shape.indices (Shape.ZeroBased (7::Int))
[0,1,2,3,4,5,6]

Constructors

ZeroBased

Fields

• zeroBasedSize :: n

Instances

Applicative ZeroBased

Defined in Data.Array.Comfort.Shape

Methods

pure :: a -> ZeroBased a

(<*>) :: ZeroBased (a -> b) -> ZeroBased a -> ZeroBased b

liftA2 :: (a -> b -> c) -> ZeroBased a -> ZeroBased b -> ZeroBased c

(*>) :: ZeroBased a -> ZeroBased b -> ZeroBased b

(<*) :: ZeroBased a -> ZeroBased b -> ZeroBased a

Functor ZeroBased

Defined in Data.Array.Comfort.Shape

Methods

fmap :: (a -> b) -> ZeroBased a -> ZeroBased b

(<$) :: a -> ZeroBased b -> ZeroBased a

Storable n => Storable (ZeroBased n)

Defined in Data.Array.Comfort.Shape

Methods

sizeOf :: ZeroBased n -> Int

alignment :: ZeroBased n -> Int

peekElemOff :: Ptr (ZeroBased n) -> Int -> IO (ZeroBased n)

pokeElemOff :: Ptr (ZeroBased n) -> Int -> ZeroBased n -> IO ()

peekByteOff :: Ptr b -> Int -> IO (ZeroBased n)

pokeByteOff :: Ptr b -> Int -> ZeroBased n -> IO ()

peek :: Ptr (ZeroBased n) -> IO (ZeroBased n)

poke :: Ptr (ZeroBased n) -> ZeroBased n -> IO ()

Show n => Show (ZeroBased n)

Defined in Data.Array.Comfort.Shape

Methods

showsPrec :: Int -> ZeroBased n -> ShowS

show :: ZeroBased n -> String

showList :: [ZeroBased n] -> ShowS

Integral n => C (ZeroBased n)

Defined in Data.Array.Comfort.Shape

Methods

size :: ZeroBased n -> Int

Integral n => Indexed (ZeroBased n)

Defined in Data.Array.Comfort.Shape

Associated Types

type Index (ZeroBased n)

Methods

indices :: ZeroBased n -> [Index (ZeroBased n)]

offset :: ZeroBased n -> Index (ZeroBased n) -> Int

uncheckedOffset :: ZeroBased n -> Index (ZeroBased n) -> Int

unifiedOffset :: Checking check => ZeroBased n -> Index (ZeroBased n) -> Result check Int

inBounds :: ZeroBased n -> Index (ZeroBased n) -> Bool

sizeOffset :: ZeroBased n -> (Int, Index (ZeroBased n) -> Int)

uncheckedSizeOffset :: ZeroBased n -> (Int, Index (ZeroBased n) -> Int)

unifiedSizeOffset :: Checking check => ZeroBased n -> (Int, Index (ZeroBased n) -> Result check Int)

Integral n => InvIndexed (ZeroBased n)

Defined in Data.Array.Comfort.Shape

Methods

indexFromOffset :: ZeroBased n -> Int -> Index (ZeroBased n)

uncheckedIndexFromOffset :: ZeroBased n -> Int -> Index (ZeroBased n)

unifiedIndexFromOffset :: Checking check => ZeroBased n -> Int -> Result check (Index (ZeroBased n))

Integral n => Pattern (ZeroBased n)

Defined in Data.Array.Comfort.Shape

Associated Types

type DataPattern (ZeroBased n) x

Methods

indexPattern :: (Index (ZeroBased n) -> x) -> ZeroBased n -> DataPattern (ZeroBased n) x

NFData n => NFData (ZeroBased n)

Defined in Data.Array.Comfort.Shape

Methods

rnf :: ZeroBased n -> ()

Eq n => Eq (ZeroBased n)

Defined in Data.Array.Comfort.Shape

Methods

(==) :: ZeroBased n -> ZeroBased n -> Bool

(/=) :: ZeroBased n -> ZeroBased n -> Bool

type Index (ZeroBased n)

Defined in Data.Array.Comfort.Shape

type Index (ZeroBased n) = n

type DataPattern (ZeroBased n) x

Defined in Data.Array.Comfort.Shape

type DataPattern (ZeroBased n) x = n -> x

zeroBasedSplit :: Real n => n -> ZeroBased n -> ZeroBased n ::+ ZeroBased n

newtype OneBased n

OneBased denotes a range starting at one and has a certain length.

>>> Shape.indices (Shape.OneBased (7::Int))
[1,2,3,4,5,6,7]

Constructors

OneBased

Fields

• oneBasedSize :: n

Instances

Applicative OneBased

Defined in Data.Array.Comfort.Shape

Methods

pure :: a -> OneBased a

(<*>) :: OneBased (a -> b) -> OneBased a -> OneBased b

liftA2 :: (a -> b -> c) -> OneBased a -> OneBased b -> OneBased c

(*>) :: OneBased a -> OneBased b -> OneBased b

(<*) :: OneBased a -> OneBased b -> OneBased a

Functor OneBased

Defined in Data.Array.Comfort.Shape

Methods

fmap :: (a -> b) -> OneBased a -> OneBased b

(<$) :: a -> OneBased b -> OneBased a

Storable n => Storable (OneBased n)

Defined in Data.Array.Comfort.Shape

Methods

sizeOf :: OneBased n -> Int

alignment :: OneBased n -> Int

peekElemOff :: Ptr (OneBased n) -> Int -> IO (OneBased n)

pokeElemOff :: Ptr (OneBased n) -> Int -> OneBased n -> IO ()

peekByteOff :: Ptr b -> Int -> IO (OneBased n)

pokeByteOff :: Ptr b -> Int -> OneBased n -> IO ()

peek :: Ptr (OneBased n) -> IO (OneBased n)

poke :: Ptr (OneBased n) -> OneBased n -> IO ()

Show n => Show (OneBased n)

Defined in Data.Array.Comfort.Shape

Methods

showsPrec :: Int -> OneBased n -> ShowS

show :: OneBased n -> String

showList :: [OneBased n] -> ShowS

Integral n => C (OneBased n)

Defined in Data.Array.Comfort.Shape

Methods

size :: OneBased n -> Int

Integral n => Indexed (OneBased n)

Defined in Data.Array.Comfort.Shape

Associated Types

type Index (OneBased n)

Methods

indices :: OneBased n -> [Index (OneBased n)]

offset :: OneBased n -> Index (OneBased n) -> Int

uncheckedOffset :: OneBased n -> Index (OneBased n) -> Int

unifiedOffset :: Checking check => OneBased n -> Index (OneBased n) -> Result check Int

inBounds :: OneBased n -> Index (OneBased n) -> Bool

sizeOffset :: OneBased n -> (Int, Index (OneBased n) -> Int)

uncheckedSizeOffset :: OneBased n -> (Int, Index (OneBased n) -> Int)

unifiedSizeOffset :: Checking check => OneBased n -> (Int, Index (OneBased n) -> Result check Int)

Integral n => InvIndexed (OneBased n)

Defined in Data.Array.Comfort.Shape

Methods

indexFromOffset :: OneBased n -> Int -> Index (OneBased n)

uncheckedIndexFromOffset :: OneBased n -> Int -> Index (OneBased n)

unifiedIndexFromOffset :: Checking check => OneBased n -> Int -> Result check (Index (OneBased n))

NFData n => NFData (OneBased n)

Defined in Data.Array.Comfort.Shape

Methods

rnf :: OneBased n -> ()

Eq n => Eq (OneBased n)

Defined in Data.Array.Comfort.Shape

Methods

(==) :: OneBased n -> OneBased n -> Bool

(/=) :: OneBased n -> OneBased n -> Bool

type Index (OneBased n)

Defined in Data.Array.Comfort.Shape

type Index (OneBased n) = n

data Range n

Range denotes an inclusive range like those of the Haskell 98 standard Array type from the array package. E.g. the shape type (Range Int32, Range Int64) is equivalent to the ix type (Int32, Int64) for Arrays.

>>> Shape.indices (Shape.Range (-5) (5::Int))
[-5,-4,-3,-2,-1,0,1,2,3,4,5]
>>> Shape.indices (Shape.Range (-1,-1) (1::Int,1::Int))
[(-1,-1),(-1,0),(-1,1),(0,-1),(0,0),(0,1),(1,-1),(1,0),(1,1)]

Constructors

Range

Fields

• rangeFrom, rangeTo :: n

Instances

Functor Range

Defined in Data.Array.Comfort.Shape

Methods

fmap :: (a -> b) -> Range a -> Range b

(<$) :: a -> Range b -> Range a

Storable n => Storable (Range n)

Defined in Data.Array.Comfort.Shape

Methods

sizeOf :: Range n -> Int

alignment :: Range n -> Int

peekElemOff :: Ptr (Range n) -> Int -> IO (Range n)

pokeElemOff :: Ptr (Range n) -> Int -> Range n -> IO ()

peekByteOff :: Ptr b -> Int -> IO (Range n)

pokeByteOff :: Ptr b -> Int -> Range n -> IO ()

peek :: Ptr (Range n) -> IO (Range n)

poke :: Ptr (Range n) -> Range n -> IO ()

Show n => Show (Range n)

Defined in Data.Array.Comfort.Shape

Methods

showsPrec :: Int -> Range n -> ShowS

show :: Range n -> String

showList :: [Range n] -> ShowS

Ix n => C (Range n)

Defined in Data.Array.Comfort.Shape

Methods

size :: Range n -> Int

Ix n => Indexed (Range n)

Defined in Data.Array.Comfort.Shape

Associated Types

type Index (Range n)

Methods

indices :: Range n -> [Index (Range n)]

offset :: Range n -> Index (Range n) -> Int

uncheckedOffset :: Range n -> Index (Range n) -> Int

unifiedOffset :: Checking check => Range n -> Index (Range n) -> Result check Int

inBounds :: Range n -> Index (Range n) -> Bool

sizeOffset :: Range n -> (Int, Index (Range n) -> Int)

uncheckedSizeOffset :: Range n -> (Int, Index (Range n) -> Int)

unifiedSizeOffset :: Checking check => Range n -> (Int, Index (Range n) -> Result check Int)

Ix n => InvIndexed (Range n)

Defined in Data.Array.Comfort.Shape

Methods

indexFromOffset :: Range n -> Int -> Index (Range n)

uncheckedIndexFromOffset :: Range n -> Int -> Index (Range n)

unifiedIndexFromOffset :: Checking check => Range n -> Int -> Result check (Index (Range n))

NFData n => NFData (Range n)

Defined in Data.Array.Comfort.Shape

Methods

rnf :: Range n -> ()

Eq n => Eq (Range n)

Defined in Data.Array.Comfort.Shape

Methods

(==) :: Range n -> Range n -> Bool

(/=) :: Range n -> Range n -> Bool

type Index (Range n)

Defined in Data.Array.Comfort.Shape

type Index (Range n) = n

data Shifted n

Shifted denotes a range defined by the start index and the length.

>>> Shape.indices (Shape.Shifted (-4) (8::Int))
[-4,-3,-2,-1,0,1,2,3]

Constructors

Shifted

Fields

• shiftedOffset, shiftedSize :: n

Instances

Functor Shifted

Defined in Data.Array.Comfort.Shape

Methods

fmap :: (a -> b) -> Shifted a -> Shifted b

(<$) :: a -> Shifted b -> Shifted a

Storable n => Storable (Shifted n)

Defined in Data.Array.Comfort.Shape

Methods

sizeOf :: Shifted n -> Int

alignment :: Shifted n -> Int

peekElemOff :: Ptr (Shifted n) -> Int -> IO (Shifted n)

pokeElemOff :: Ptr (Shifted n) -> Int -> Shifted n -> IO ()

peekByteOff :: Ptr b -> Int -> IO (Shifted n)

pokeByteOff :: Ptr b -> Int -> Shifted n -> IO ()

peek :: Ptr (Shifted n) -> IO (Shifted n)

poke :: Ptr (Shifted n) -> Shifted n -> IO ()

Show n => Show (Shifted n)

Defined in Data.Array.Comfort.Shape

Methods

showsPrec :: Int -> Shifted n -> ShowS

show :: Shifted n -> String

showList :: [Shifted n] -> ShowS

Integral n => C (Shifted n)

Defined in Data.Array.Comfort.Shape

Methods

size :: Shifted n -> Int

Integral n => Indexed (Shifted n)

Defined in Data.Array.Comfort.Shape

Associated Types

type Index (Shifted n)

Methods

indices :: Shifted n -> [Index (Shifted n)]

offset :: Shifted n -> Index (Shifted n) -> Int

uncheckedOffset :: Shifted n -> Index (Shifted n) -> Int

unifiedOffset :: Checking check => Shifted n -> Index (Shifted n) -> Result check Int

inBounds :: Shifted n -> Index (Shifted n) -> Bool

sizeOffset :: Shifted n -> (Int, Index (Shifted n) -> Int)

uncheckedSizeOffset :: Shifted n -> (Int, Index (Shifted n) -> Int)

unifiedSizeOffset :: Checking check => Shifted n -> (Int, Index (Shifted n) -> Result check Int)

Integral n => InvIndexed (Shifted n)

Defined in Data.Array.Comfort.Shape

Methods

indexFromOffset :: Shifted n -> Int -> Index (Shifted n)

uncheckedIndexFromOffset :: Shifted n -> Int -> Index (Shifted n)

unifiedIndexFromOffset :: Checking check => Shifted n -> Int -> Result check (Index (Shifted n))

NFData n => NFData (Shifted n)

Defined in Data.Array.Comfort.Shape

Methods

rnf :: Shifted n -> ()

Eq n => Eq (Shifted n)

Defined in Data.Array.Comfort.Shape

Methods

(==) :: Shifted n -> Shifted n -> Bool

(/=) :: Shifted n -> Shifted n -> Bool

type Index (Shifted n)

Defined in Data.Array.Comfort.Shape

type Index (Shifted n) = n

data Enumeration n

Enumeration denotes a shape of fixed size that is defined by Enum and Bounded methods. For correctness it is necessary that the Enum and Bounded instances are properly implemented. Automatically derived instances are fine.

>>> Shape.indices (Shape.Enumeration :: Shape.Enumeration Ordering)
[LT,EQ,GT]

Constructors

Enumeration

Instances

Storable (Enumeration n)

Defined in Data.Array.Comfort.Shape

Methods

sizeOf :: Enumeration n -> Int

alignment :: Enumeration n -> Int

peekElemOff :: Ptr (Enumeration n) -> Int -> IO (Enumeration n)

pokeElemOff :: Ptr (Enumeration n) -> Int -> Enumeration n -> IO ()

peekByteOff :: Ptr b -> Int -> IO (Enumeration n)

pokeByteOff :: Ptr b -> Int -> Enumeration n -> IO ()

peek :: Ptr (Enumeration n) -> IO (Enumeration n)

poke :: Ptr (Enumeration n) -> Enumeration n -> IO ()

Show (Enumeration n)

Defined in Data.Array.Comfort.Shape

Methods

showsPrec :: Int -> Enumeration n -> ShowS

show :: Enumeration n -> String

showList :: [Enumeration n] -> ShowS

(Enum n, Bounded n) => C (Enumeration n)

Defined in Data.Array.Comfort.Shape

Methods

size :: Enumeration n -> Int

(Enum n, Bounded n) => Indexed (Enumeration n)

Defined in Data.Array.Comfort.Shape

Associated Types

type Index (Enumeration n)

Methods

indices :: Enumeration n -> [Index (Enumeration n)]

offset :: Enumeration n -> Index (Enumeration n) -> Int

uncheckedOffset :: Enumeration n -> Index (Enumeration n) -> Int

unifiedOffset :: Checking check => Enumeration n -> Index (Enumeration n) -> Result check Int

inBounds :: Enumeration n -> Index (Enumeration n) -> Bool

sizeOffset :: Enumeration n -> (Int, Index (Enumeration n) -> Int)

uncheckedSizeOffset :: Enumeration n -> (Int, Index (Enumeration n) -> Int)

unifiedSizeOffset :: Checking check => Enumeration n -> (Int, Index (Enumeration n) -> Result check Int)

(Enum n, Bounded n) => InvIndexed (Enumeration n)

Defined in Data.Array.Comfort.Shape

Methods

indexFromOffset :: Enumeration n -> Int -> Index (Enumeration n)

uncheckedIndexFromOffset :: Enumeration n -> Int -> Index (Enumeration n)

unifiedIndexFromOffset :: Checking check => Enumeration n -> Int -> Result check (Index (Enumeration n))

(Enum n, Bounded n) => Static (Enumeration n)

Defined in Data.Array.Comfort.Shape

Methods

static :: Enumeration n

NFData (Enumeration n)

Defined in Data.Array.Comfort.Shape

Methods

rnf :: Enumeration n -> ()

Eq (Enumeration n)

Defined in Data.Array.Comfort.Shape

Methods

(==) :: Enumeration n -> Enumeration n -> Bool

(/=) :: Enumeration n -> Enumeration n -> Bool

type Index (Enumeration n)

Defined in Data.Array.Comfort.Shape

type Index (Enumeration n) = n

newtype Deferred sh

This data type wraps another array shape. Its index type is a wrapped Int. The advantages are: No conversion forth and back Int and Index sh. You can convert once using deferIndex and revealIndex whenever you need your application specific index type. No need for e.g. Storable (Index sh), because Int is already Storable. You get Indexed and InvIndexed instances without the need for an Index type. The disadvantage is: A deferred index should be bound to a specific shape, but this is not checked. That is, you may obtain a deferred index for one shape and accidentally abuse it for another shape without a warning.

Example:

>>> :{
let sh2 = (Shape.ZeroBased (2::Int), Shape.ZeroBased (2::Int)) in
let sh3 = (Shape.ZeroBased (3::Int), Shape.ZeroBased (3::Int)) in
(Shape.offset sh3 $ Shape.indexFromOffset sh2 3,
 Shape.offset (Shape.Deferred sh3) $
   Shape.indexFromOffset (Shape.Deferred sh2) 3)
:}
(4,3)

Constructors

Deferred sh

Instances

Show sh => Show (Deferred sh)

Defined in Data.Array.Comfort.Shape

Methods

showsPrec :: Int -> Deferred sh -> ShowS

show :: Deferred sh -> String

showList :: [Deferred sh] -> ShowS

C sh => C (Deferred sh)

Defined in Data.Array.Comfort.Shape

Methods

size :: Deferred sh -> Int

C sh => Indexed (Deferred sh)

Defined in Data.Array.Comfort.Shape

Associated Types

type Index (Deferred sh)

Methods

indices :: Deferred sh -> [Index (Deferred sh)]

offset :: Deferred sh -> Index (Deferred sh) -> Int

uncheckedOffset :: Deferred sh -> Index (Deferred sh) -> Int

unifiedOffset :: Checking check => Deferred sh -> Index (Deferred sh) -> Result check Int

inBounds :: Deferred sh -> Index (Deferred sh) -> Bool

sizeOffset :: Deferred sh -> (Int, Index (Deferred sh) -> Int)

uncheckedSizeOffset :: Deferred sh -> (Int, Index (Deferred sh) -> Int)

unifiedSizeOffset :: Checking check => Deferred sh -> (Int, Index (Deferred sh) -> Result check Int)

C sh => InvIndexed (Deferred sh)

Defined in Data.Array.Comfort.Shape

Methods

indexFromOffset :: Deferred sh -> Int -> Index (Deferred sh)

uncheckedIndexFromOffset :: Deferred sh -> Int -> Index (Deferred sh)

unifiedIndexFromOffset :: Checking check => Deferred sh -> Int -> Result check (Index (Deferred sh))

Static sh => Static (Deferred sh)

Defined in Data.Array.Comfort.Shape

Methods

static :: Deferred sh

NFData sh => NFData (Deferred sh)

Defined in Data.Array.Comfort.Shape

Methods

rnf :: Deferred sh -> ()

Eq sh => Eq (Deferred sh)

Defined in Data.Array.Comfort.Shape

Methods

(==) :: Deferred sh -> Deferred sh -> Bool

(/=) :: Deferred sh -> Deferred sh -> Bool

type Index (Deferred sh)

Defined in Data.Array.Comfort.Shape

type Index (Deferred sh) = DeferredIndex sh

newtype DeferredIndex sh

DeferredIndex has an Ord instance that is based on the storage order in memory. This way, you can put DeferredIndex values in a Set or use them as keys in a Map even if Index sh has no Ord instance. The downside is, that the ordering of DeferredIndex sh may differ from the one of Index sh.

Constructors

DeferredIndex Int

Instances

Storable (DeferredIndex sh)

Defined in Data.Array.Comfort.Shape

Methods

sizeOf :: DeferredIndex sh -> Int

alignment :: DeferredIndex sh -> Int

peekElemOff :: Ptr (DeferredIndex sh) -> Int -> IO (DeferredIndex sh)

pokeElemOff :: Ptr (DeferredIndex sh) -> Int -> DeferredIndex sh -> IO ()

peekByteOff :: Ptr b -> Int -> IO (DeferredIndex sh)

pokeByteOff :: Ptr b -> Int -> DeferredIndex sh -> IO ()

peek :: Ptr (DeferredIndex sh) -> IO (DeferredIndex sh)

poke :: Ptr (DeferredIndex sh) -> DeferredIndex sh -> IO ()

Show (DeferredIndex sh)

Defined in Data.Array.Comfort.Shape

Methods

showsPrec :: Int -> DeferredIndex sh -> ShowS

show :: DeferredIndex sh -> String

showList :: [DeferredIndex sh] -> ShowS

Eq (DeferredIndex sh)

Defined in Data.Array.Comfort.Shape

Methods

(==) :: DeferredIndex sh -> DeferredIndex sh -> Bool

(/=) :: DeferredIndex sh -> DeferredIndex sh -> Bool

Ord (DeferredIndex sh)

Defined in Data.Array.Comfort.Shape

Methods

compare :: DeferredIndex sh -> DeferredIndex sh -> Ordering

(<) :: DeferredIndex sh -> DeferredIndex sh -> Bool

(<=) :: DeferredIndex sh -> DeferredIndex sh -> Bool

(>) :: DeferredIndex sh -> DeferredIndex sh -> Bool

(>=) :: DeferredIndex sh -> DeferredIndex sh -> Bool

max :: DeferredIndex sh -> DeferredIndex sh -> DeferredIndex sh

min :: DeferredIndex sh -> DeferredIndex sh -> DeferredIndex sh

deferIndex :: (Indexed sh, Index sh ~ ix) => sh -> ix -> DeferredIndex sh

revealIndex :: (InvIndexed sh, Index sh ~ ix) => sh -> DeferredIndex sh -> ix

data sh0 ::+ sh1 infixr 5

Row-major composition of two dimensions.

>>> Shape.indices (Shape.ZeroBased (3::Int) ::+ Shape.Range 'a' 'c')
[Left 0,Left 1,Left 2,Right 'a',Right 'b',Right 'c']

Constructors

sh0 ::+ sh1 infixr 5

Instances

(Show sh0, Show sh1) => Show (sh0 ::+ sh1)

Defined in Data.Array.Comfort.Shape

Methods

showsPrec :: Int -> (sh0 ::+ sh1) -> ShowS

show :: (sh0 ::+ sh1) -> String

showList :: [sh0 ::+ sh1] -> ShowS

(C sh0, C sh1) => C (sh0 ::+ sh1)

Defined in Data.Array.Comfort.Shape

Methods

size :: (sh0 ::+ sh1) -> Int

(Indexed sh0, Indexed sh1) => Indexed (sh0 ::+ sh1)

Defined in Data.Array.Comfort.Shape

Associated Types

type Index (sh0 ::+ sh1)

Methods

indices :: (sh0 ::+ sh1) -> [Index (sh0 ::+ sh1)]

offset :: (sh0 ::+ sh1) -> Index (sh0 ::+ sh1) -> Int

uncheckedOffset :: (sh0 ::+ sh1) -> Index (sh0 ::+ sh1) -> Int

unifiedOffset :: Checking check => (sh0 ::+ sh1) -> Index (sh0 ::+ sh1) -> Result check Int

inBounds :: (sh0 ::+ sh1) -> Index (sh0 ::+ sh1) -> Bool

sizeOffset :: (sh0 ::+ sh1) -> (Int, Index (sh0 ::+ sh1) -> Int)

uncheckedSizeOffset :: (sh0 ::+ sh1) -> (Int, Index (sh0 ::+ sh1) -> Int)

unifiedSizeOffset :: Checking check => (sh0 ::+ sh1) -> (Int, Index (sh0 ::+ sh1) -> Result check Int)

(InvIndexed sh0, InvIndexed sh1) => InvIndexed (sh0 ::+ sh1)

Defined in Data.Array.Comfort.Shape

Methods

indexFromOffset :: (sh0 ::+ sh1) -> Int -> Index (sh0 ::+ sh1)

uncheckedIndexFromOffset :: (sh0 ::+ sh1) -> Int -> Index (sh0 ::+ sh1)

unifiedIndexFromOffset :: Checking check => (sh0 ::+ sh1) -> Int -> Result check (Index (sh0 ::+ sh1))

(Pattern sh0, Pattern sh1) => Pattern (sh0 ::+ sh1)

Defined in Data.Array.Comfort.Shape

Associated Types

type DataPattern (sh0 ::+ sh1) x

Methods

indexPattern :: (Index (sh0 ::+ sh1) -> x) -> (sh0 ::+ sh1) -> DataPattern (sh0 ::+ sh1) x

(Static sh0, Static sh1) => Static (sh0 ::+ sh1)

Defined in Data.Array.Comfort.Shape

Methods

static :: sh0 ::+ sh1

(NFData sh0, NFData sh1) => NFData (sh0 ::+ sh1)

Defined in Data.Array.Comfort.Shape

Methods

rnf :: (sh0 ::+ sh1) -> ()

(Eq sh0, Eq sh1) => Eq (sh0 ::+ sh1)

Defined in Data.Array.Comfort.Shape

Methods

(==) :: (sh0 ::+ sh1) -> (sh0 ::+ sh1) -> Bool

(/=) :: (sh0 ::+ sh1) -> (sh0 ::+ sh1) -> Bool

type Index (sh0 ::+ sh1)

Defined in Data.Array.Comfort.Shape

type Index (sh0 ::+ sh1) = Either (Index sh0) (Index sh1)

type DataPattern (sh0 ::+ sh1) x

Defined in Data.Array.Comfort.Shape

type DataPattern (sh0 ::+ sh1) x = DataPattern sh0 x ::+ DataPattern sh1 x

newtype Square sh

Square is like a Cartesian product, but it is statically asserted that both dimension shapes match.

>>> Shape.indices $ Shape.Square $ Shape.ZeroBased (3::Int)
[(0,0),(0,1),(0,2),(1,0),(1,1),(1,2),(2,0),(2,1),(2,2)]

Constructors

Square

Fields

• squareSize :: sh

Instances

Applicative Square

Defined in Data.Array.Comfort.Shape

Methods

pure :: a -> Square a

(<*>) :: Square (a -> b) -> Square a -> Square b

liftA2 :: (a -> b -> c) -> Square a -> Square b -> Square c

(*>) :: Square a -> Square b -> Square b

(<*) :: Square a -> Square b -> Square a

Functor Square

Defined in Data.Array.Comfort.Shape

Methods

fmap :: (a -> b) -> Square a -> Square b

(<$) :: a -> Square b -> Square a

Storable sh => Storable (Square sh)

Defined in Data.Array.Comfort.Shape

Methods

sizeOf :: Square sh -> Int

alignment :: Square sh -> Int

peekElemOff :: Ptr (Square sh) -> Int -> IO (Square sh)

pokeElemOff :: Ptr (Square sh) -> Int -> Square sh -> IO ()

peekByteOff :: Ptr b -> Int -> IO (Square sh)

pokeByteOff :: Ptr b -> Int -> Square sh -> IO ()

peek :: Ptr (Square sh) -> IO (Square sh)

poke :: Ptr (Square sh) -> Square sh -> IO ()

Show sh => Show (Square sh)

Defined in Data.Array.Comfort.Shape

Methods

showsPrec :: Int -> Square sh -> ShowS

show :: Square sh -> String

showList :: [Square sh] -> ShowS

C sh => C (Square sh)

Defined in Data.Array.Comfort.Shape

Methods

size :: Square sh -> Int

Indexed sh => Indexed (Square sh)

Defined in Data.Array.Comfort.Shape

Associated Types

type Index (Square sh)

Methods

indices :: Square sh -> [Index (Square sh)]

offset :: Square sh -> Index (Square sh) -> Int

uncheckedOffset :: Square sh -> Index (Square sh) -> Int

unifiedOffset :: Checking check => Square sh -> Index (Square sh) -> Result check Int

inBounds :: Square sh -> Index (Square sh) -> Bool

sizeOffset :: Square sh -> (Int, Index (Square sh) -> Int)

uncheckedSizeOffset :: Square sh -> (Int, Index (Square sh) -> Int)

unifiedSizeOffset :: Checking check => Square sh -> (Int, Index (Square sh) -> Result check Int)

InvIndexed sh => InvIndexed (Square sh)

Defined in Data.Array.Comfort.Shape

Methods

indexFromOffset :: Square sh -> Int -> Index (Square sh)

uncheckedIndexFromOffset :: Square sh -> Int -> Index (Square sh)

unifiedIndexFromOffset :: Checking check => Square sh -> Int -> Result check (Index (Square sh))

Pattern sh => Pattern (Square sh)

Defined in Data.Array.Comfort.Shape

Associated Types

type DataPattern (Square sh) x

Methods

indexPattern :: (Index (Square sh) -> x) -> Square sh -> DataPattern (Square sh) x

NFData sh => NFData (Square sh)

Defined in Data.Array.Comfort.Shape

Methods

rnf :: Square sh -> ()

Eq sh => Eq (Square sh)

Defined in Data.Array.Comfort.Shape

Methods

(==) :: Square sh -> Square sh -> Bool

(/=) :: Square sh -> Square sh -> Bool

type Index (Square sh)

Defined in Data.Array.Comfort.Shape

type Index (Square sh) = (Index sh, Index sh)

type DataPattern (Square sh) x

Defined in Data.Array.Comfort.Shape

type DataPattern (Square sh) x

newtype Cube sh

Cube is like a Cartesian product, but it is statically asserted that both dimension shapes match.

>>> Shape.indices $ Shape.Cube $ Shape.ZeroBased (2::Int)
[(0,0,0),(0,0,1),(0,1,0),(0,1,1),(1,0,0),(1,0,1),(1,1,0),(1,1,1)]

Constructors

Cube

Fields

• cubeSize :: sh

Instances

Applicative Cube

Defined in Data.Array.Comfort.Shape

Methods

pure :: a -> Cube a

(<*>) :: Cube (a -> b) -> Cube a -> Cube b

liftA2 :: (a -> b -> c) -> Cube a -> Cube b -> Cube c

(*>) :: Cube a -> Cube b -> Cube b

(<*) :: Cube a -> Cube b -> Cube a

Functor Cube

Defined in Data.Array.Comfort.Shape

Methods

fmap :: (a -> b) -> Cube a -> Cube b

(<$) :: a -> Cube b -> Cube a

Storable sh => Storable (Cube sh)

Defined in Data.Array.Comfort.Shape

Methods

sizeOf :: Cube sh -> Int

alignment :: Cube sh -> Int

peekElemOff :: Ptr (Cube sh) -> Int -> IO (Cube sh)

pokeElemOff :: Ptr (Cube sh) -> Int -> Cube sh -> IO ()

peekByteOff :: Ptr b -> Int -> IO (Cube sh)

pokeByteOff :: Ptr b -> Int -> Cube sh -> IO ()

peek :: Ptr (Cube sh) -> IO (Cube sh)

poke :: Ptr (Cube sh) -> Cube sh -> IO ()

Show sh => Show (Cube sh)

Defined in Data.Array.Comfort.Shape

Methods

showsPrec :: Int -> Cube sh -> ShowS

show :: Cube sh -> String

showList :: [Cube sh] -> ShowS

C sh => C (Cube sh)

Defined in Data.Array.Comfort.Shape

Methods

size :: Cube sh -> Int

Indexed sh => Indexed (Cube sh)

Defined in Data.Array.Comfort.Shape

Associated Types

type Index (Cube sh)

Methods

indices :: Cube sh -> [Index (Cube sh)]

offset :: Cube sh -> Index (Cube sh) -> Int

uncheckedOffset :: Cube sh -> Index (Cube sh) -> Int

unifiedOffset :: Checking check => Cube sh -> Index (Cube sh) -> Result check Int

inBounds :: Cube sh -> Index (Cube sh) -> Bool

sizeOffset :: Cube sh -> (Int, Index (Cube sh) -> Int)

uncheckedSizeOffset :: Cube sh -> (Int, Index (Cube sh) -> Int)

unifiedSizeOffset :: Checking check => Cube sh -> (Int, Index (Cube sh) -> Result check Int)

InvIndexed sh => InvIndexed (Cube sh)

Defined in Data.Array.Comfort.Shape

Methods

indexFromOffset :: Cube sh -> Int -> Index (Cube sh)

uncheckedIndexFromOffset :: Cube sh -> Int -> Index (Cube sh)

unifiedIndexFromOffset :: Checking check => Cube sh -> Int -> Result check (Index (Cube sh))

NFData sh => NFData (Cube sh)

Defined in Data.Array.Comfort.Shape

Methods

rnf :: Cube sh -> ()

Eq sh => Eq (Cube sh)

Defined in Data.Array.Comfort.Shape

Methods

(==) :: Cube sh -> Cube sh -> Bool

(/=) :: Cube sh -> Cube sh -> Bool

type Index (Cube sh)

Defined in Data.Array.Comfort.Shape

type Index (Cube sh) = (Index sh, Index sh, Index sh)

data Triangular part size

>>> Shape.indices $ Shape.Triangular Shape.Upper $ Shape.ZeroBased (3::Int)
[(0,0),(0,1),(0,2),(1,1),(1,2),(2,2)]
>>> Shape.indices $ Shape.Triangular Shape.Lower $ Shape.ZeroBased (3::Int)
[(0,0),(1,0),(1,1),(2,0),(2,1),(2,2)]

Constructors

Triangular

Fields

• triangularPart :: part
• triangularSize :: size

Instances

(Show part, Show size) => Show (Triangular part size)

Defined in Data.Array.Comfort.Shape

Methods

showsPrec :: Int -> Triangular part size -> ShowS

show :: Triangular part size -> String

showList :: [Triangular part size] -> ShowS

(TriangularPart part, C size) => C (Triangular part size)

Defined in Data.Array.Comfort.Shape

Methods

size :: Triangular part size -> Int

(TriangularPart part, Indexed size) => Indexed (Triangular part size)

Defined in Data.Array.Comfort.Shape

Associated Types

type Index (Triangular part size)

Methods

indices :: Triangular part size -> [Index (Triangular part size)]

offset :: Triangular part size -> Index (Triangular part size) -> Int

uncheckedOffset :: Triangular part size -> Index (Triangular part size) -> Int

unifiedOffset :: Checking check => Triangular part size -> Index (Triangular part size) -> Result check Int

inBounds :: Triangular part size -> Index (Triangular part size) -> Bool

sizeOffset :: Triangular part size -> (Int, Index (Triangular part size) -> Int)

uncheckedSizeOffset :: Triangular part size -> (Int, Index (Triangular part size) -> Int)

unifiedSizeOffset :: Checking check => Triangular part size -> (Int, Index (Triangular part size) -> Result check Int)

(TriangularPart part, InvIndexed size) => InvIndexed (Triangular part size)

Defined in Data.Array.Comfort.Shape

Methods

indexFromOffset :: Triangular part size -> Int -> Index (Triangular part size)

uncheckedIndexFromOffset :: Triangular part size -> Int -> Index (Triangular part size)

unifiedIndexFromOffset :: Checking check => Triangular part size -> Int -> Result check (Index (Triangular part size))

(TriangularPart part, Static size) => Static (Triangular part size)

Defined in Data.Array.Comfort.Shape

Methods

static :: Triangular part size

(TriangularPart part, NFData size) => NFData (Triangular part size)

Defined in Data.Array.Comfort.Shape

Methods

rnf :: Triangular part size -> ()

(TriangularPart part, Eq size) => Eq (Triangular part size)

Defined in Data.Array.Comfort.Shape

Methods

(==) :: Triangular part size -> Triangular part size -> Bool

(/=) :: Triangular part size -> Triangular part size -> Bool

type Index (Triangular part size)

Defined in Data.Array.Comfort.Shape

type Index (Triangular part size) = (Index size, Index size)

data Lower

Constructors

Lower

Instances

Show Lower

Defined in Data.Array.Comfort.Shape

Methods

showsPrec :: Int -> Lower -> ShowS

show :: Lower -> String

showList :: [Lower] -> ShowS

Eq Lower

Defined in Data.Array.Comfort.Shape

Methods

(==) :: Lower -> Lower -> Bool

(/=) :: Lower -> Lower -> Bool

data Upper

Constructors

Upper

Instances

Show Upper

Defined in Data.Array.Comfort.Shape

Methods

showsPrec :: Int -> Upper -> ShowS

show :: Upper -> String

showList :: [Upper] -> ShowS

Eq Upper

Defined in Data.Array.Comfort.Shape

Methods

(==) :: Upper -> Upper -> Bool

(/=) :: Upper -> Upper -> Bool

type LowerTriangular = Triangular Lower

type UpperTriangular = Triangular Upper

lowerTriangular :: size -> LowerTriangular size

upperTriangular :: size -> UpperTriangular size

triangleSize :: Int -> Int

triangleRoot :: Floating a => a -> a

data Simplex order coll f size

Simplex is a generalization of Triangular to more than two dimensions. Indices are tuples of fixed size with elements ordered in ascending, strictly ascending, descending or strictly descending order. "Order" refers to the index order in indices. In order to avoid confusion we suggest that the order of indices is consistent with <=.

Obviously, offset implements ranking and indexFromOffset implements unranking of combinations (in the combinatorial sense) with or without repetitions.

>>> Shape.indices $ Shape.simplexAscending (replicate 3 Shape.AllDistinct) $ Shape.ZeroBased (4::Int)
[[0,1,2],[0,1,3],[0,2,3],[1,2,3]]
>>> Shape.indices $ Shape.simplexAscending (replicate 3 Shape.SomeRepetitive) $ Shape.ZeroBased (3::Int)
[[0,0,0],[0,0,1],[0,0,2],[0,1,1],[0,1,2],[0,2,2],[1,1,1],[1,1,2],[1,2,2],[2,2,2]]
>>> Shape.indices $ Shape.simplexAscending [Shape.Repetitive,Shape.Distinct,Shape.Repetitive] $ Shape.ZeroBased (4::Int)
[[0,0,1],[0,0,2],[0,0,3],[0,1,2],[0,1,3],[0,2,3],[1,1,2],[1,1,3],[1,2,3],[2,2,3]]
>>> Shape.indices $ Shape.simplexAscending [Shape.Repetitive,Shape.Distinct,Shape.Distinct] $ Shape.ZeroBased (4::Int)
[[0,0,1],[0,0,2],[0,0,3],[0,1,2],[0,1,3],[0,2,3],[1,1,2],[1,1,3],[1,2,3],[2,2,3]]

>>> Shape.indices $ Shape.simplexDescending (replicate 3 Shape.AllDistinct) $ Shape.ZeroBased (4::Int)
[[2,1,0],[3,1,0],[3,2,0],[3,2,1]]
>>> Shape.indices $ Shape.simplexDescending (replicate 3 Shape.SomeRepetitive) $ Shape.ZeroBased (3::Int)
[[0,0,0],[1,0,0],[1,1,0],[1,1,1],[2,0,0],[2,1,0],[2,1,1],[2,2,0],[2,2,1],[2,2,2]]
>>> Shape.indices $ Shape.simplexDescending [Shape.Repetitive,Shape.Distinct,Shape.Repetitive] $ Shape.ZeroBased (4::Int)
[[1,1,0],[2,1,0],[2,2,0],[2,2,1],[3,1,0],[3,2,0],[3,2,1],[3,3,0],[3,3,1],[3,3,2]]
>>> Shape.indices $ Shape.simplexDescending [Shape.Repetitive,Shape.Distinct,Shape.Distinct] $ Shape.ZeroBased (4::Int)
[[1,1,0],[2,1,0],[2,2,0],[2,2,1],[3,1,0],[3,2,0],[3,2,1],[3,3,0],[3,3,1],[3,3,2]]

Constructors

Simplex

Fields

• simplexOrder :: SimplexOrder order
• simplexDimension :: f coll
• simplexSize :: size

Instances

(SimplexOrderC order, Show coll, Show1 f, Show size) => Show (Simplex order coll f size)

Defined in Data.Array.Comfort.Shape

Methods

showsPrec :: Int -> Simplex order coll f size -> ShowS

show :: Simplex order coll f size -> String

showList :: [Simplex order coll f size] -> ShowS

(SimplexOrderC order, CollisionC coll, Traversable f, C size) => C (Simplex order coll f size)

Defined in Data.Array.Comfort.Shape

Methods

size :: Simplex order coll f size -> Int

(SimplexOrderC order, CollisionC coll, Traversable f, Eq1 f, Indexed size) => Indexed (Simplex order coll f size)

Defined in Data.Array.Comfort.Shape

Associated Types

type Index (Simplex order coll f size)

Methods

indices :: Simplex order coll f size -> [Index (Simplex order coll f size)]

offset :: Simplex order coll f size -> Index (Simplex order coll f size) -> Int

uncheckedOffset :: Simplex order coll f size -> Index (Simplex order coll f size) -> Int

unifiedOffset :: Checking check => Simplex order coll f size -> Index (Simplex order coll f size) -> Result check Int

inBounds :: Simplex order coll f size -> Index (Simplex order coll f size) -> Bool

sizeOffset :: Simplex order coll f size -> (Int, Index (Simplex order coll f size) -> Int)

uncheckedSizeOffset :: Simplex order coll f size -> (Int, Index (Simplex order coll f size) -> Int)

unifiedSizeOffset :: Checking check => Simplex order coll f size -> (Int, Index (Simplex order coll f size) -> Result check Int)

(SimplexOrderC order, CollisionC coll, Traversable f, Eq1 f, InvIndexed size) => InvIndexed (Simplex order coll f size)

Defined in Data.Array.Comfort.Shape

Methods

indexFromOffset :: Simplex order coll f size -> Int -> Index (Simplex order coll f size)

uncheckedIndexFromOffset :: Simplex order coll f size -> Int -> Index (Simplex order coll f size)

unifiedIndexFromOffset :: Checking check => Simplex order coll f size -> Int -> Result check (Index (Simplex order coll f size))

type Index (Simplex order coll f size)

Defined in Data.Array.Comfort.Shape

type Index (Simplex order coll f size) = f (Index size)

type SimplexAscending = Simplex Ascending

simplexAscending :: f coll -> size -> SimplexAscending coll f size

type SimplexDescending = Simplex Descending

simplexDescending :: f coll -> size -> SimplexDescending coll f size

data Ascending

Instances

SimplexOrderC Ascending

Defined in Data.Array.Comfort.Shape

data Descending

Instances

SimplexOrderC Descending

Defined in Data.Array.Comfort.Shape

data SimplexOrder order where

Constructors

Ascending :: SimplexOrder Ascending

Descending :: SimplexOrder Descending

Instances

Show (SimplexOrder order)

Defined in Data.Array.Comfort.Shape

Methods

showsPrec :: Int -> SimplexOrder order -> ShowS

show :: SimplexOrder order -> String

showList :: [SimplexOrder order] -> ShowS

Eq (SimplexOrder order)

Defined in Data.Array.Comfort.Shape

Methods

(==) :: SimplexOrder order -> SimplexOrder order -> Bool

(/=) :: SimplexOrder order -> SimplexOrder order -> Bool

class SimplexOrderC order

Instances

SimplexOrderC Ascending

Defined in Data.Array.Comfort.Shape

SimplexOrderC Descending

Defined in Data.Array.Comfort.Shape

data AllDistinct

Constructors

AllDistinct

Instances

Show AllDistinct

Defined in Data.Array.Comfort.Shape

Methods

showsPrec :: Int -> AllDistinct -> ShowS

show :: AllDistinct -> String

showList :: [AllDistinct] -> ShowS

CollisionC AllDistinct

Defined in Data.Array.Comfort.Shape

Methods

repetitionAllowed :: AllDistinct -> Bool

Eq AllDistinct

Defined in Data.Array.Comfort.Shape

Methods

(==) :: AllDistinct -> AllDistinct -> Bool

(/=) :: AllDistinct -> AllDistinct -> Bool

data SomeRepetitive

Constructors

SomeRepetitive

Instances

Show SomeRepetitive

Defined in Data.Array.Comfort.Shape

Methods

showsPrec :: Int -> SomeRepetitive -> ShowS

show :: SomeRepetitive -> String

showList :: [SomeRepetitive] -> ShowS

CollisionC SomeRepetitive

Defined in Data.Array.Comfort.Shape

Methods

repetitionAllowed :: SomeRepetitive -> Bool

Eq SomeRepetitive

Defined in Data.Array.Comfort.Shape

Methods

(==) :: SomeRepetitive -> SomeRepetitive -> Bool

(/=) :: SomeRepetitive -> SomeRepetitive -> Bool

data Collision

Constructors

Distinct

Repetitive

Instances

Enum Collision

Defined in Data.Array.Comfort.Shape

Methods

succ :: Collision -> Collision

pred :: Collision -> Collision

toEnum :: Int -> Collision

fromEnum :: Collision -> Int

enumFrom :: Collision -> [Collision]

enumFromThen :: Collision -> Collision -> [Collision]

enumFromTo :: Collision -> Collision -> [Collision]

enumFromThenTo :: Collision -> Collision -> Collision -> [Collision]

Show Collision

Defined in Data.Array.Comfort.Shape

Methods

showsPrec :: Int -> Collision -> ShowS

show :: Collision -> String

showList :: [Collision] -> ShowS

CollisionC Collision

Defined in Data.Array.Comfort.Shape

Methods

repetitionAllowed :: Collision -> Bool

Eq Collision

Defined in Data.Array.Comfort.Shape

Methods

(==) :: Collision -> Collision -> Bool

(/=) :: Collision -> Collision -> Bool

Ord Collision

Defined in Data.Array.Comfort.Shape

Methods

compare :: Collision -> Collision -> Ordering

(<) :: Collision -> Collision -> Bool

(<=) :: Collision -> Collision -> Bool

(>) :: Collision -> Collision -> Bool

(>=) :: Collision -> Collision -> Bool

max :: Collision -> Collision -> Collision

min :: Collision -> Collision -> Collision

class CollisionC coll

Minimal complete definition

repetitionAllowed

Instances

CollisionC AllDistinct

Defined in Data.Array.Comfort.Shape

Methods

repetitionAllowed :: AllDistinct -> Bool

CollisionC Collision

Defined in Data.Array.Comfort.Shape

Methods

repetitionAllowed :: Collision -> Bool

CollisionC SomeRepetitive

Defined in Data.Array.Comfort.Shape

Methods

repetitionAllowed :: SomeRepetitive -> Bool

newtype Cyclic n

Cyclic is a shape, where the indices wrap around at the array boundaries. E.g.

let shape = Shape.Cyclic (10::Int) in Shape.offset shape (-1) == Shape.offset shape 9

This also means that there are multiple indices that address the same array element.

>>> Shape.indices (Shape.Cyclic (7::Int))
[0,1,2,3,4,5,6]

Constructors

Cyclic

Fields

• cyclicSize :: n

Instances

Applicative Cyclic

Defined in Data.Array.Comfort.Shape

Methods

pure :: a -> Cyclic a

(<*>) :: Cyclic (a -> b) -> Cyclic a -> Cyclic b

liftA2 :: (a -> b -> c) -> Cyclic a -> Cyclic b -> Cyclic c

(*>) :: Cyclic a -> Cyclic b -> Cyclic b

(<*) :: Cyclic a -> Cyclic b -> Cyclic a

Functor Cyclic

Defined in Data.Array.Comfort.Shape

Methods

fmap :: (a -> b) -> Cyclic a -> Cyclic b

(<$) :: a -> Cyclic b -> Cyclic a

Storable n => Storable (Cyclic n)

Defined in Data.Array.Comfort.Shape

Methods

sizeOf :: Cyclic n -> Int

alignment :: Cyclic n -> Int

peekElemOff :: Ptr (Cyclic n) -> Int -> IO (Cyclic n)

pokeElemOff :: Ptr (Cyclic n) -> Int -> Cyclic n -> IO ()

peekByteOff :: Ptr b -> Int -> IO (Cyclic n)

pokeByteOff :: Ptr b -> Int -> Cyclic n -> IO ()

peek :: Ptr (Cyclic n) -> IO (Cyclic n)

poke :: Ptr (Cyclic n) -> Cyclic n -> IO ()

Show n => Show (Cyclic n)

Defined in Data.Array.Comfort.Shape

Methods

showsPrec :: Int -> Cyclic n -> ShowS

show :: Cyclic n -> String

showList :: [Cyclic n] -> ShowS

Integral n => C (Cyclic n)

Defined in Data.Array.Comfort.Shape

Methods

size :: Cyclic n -> Int

Integral n => Indexed (Cyclic n)

Defined in Data.Array.Comfort.Shape

Associated Types

type Index (Cyclic n)

Methods

indices :: Cyclic n -> [Index (Cyclic n)]

offset :: Cyclic n -> Index (Cyclic n) -> Int

uncheckedOffset :: Cyclic n -> Index (Cyclic n) -> Int

unifiedOffset :: Checking check => Cyclic n -> Index (Cyclic n) -> Result check Int

inBounds :: Cyclic n -> Index (Cyclic n) -> Bool

sizeOffset :: Cyclic n -> (Int, Index (Cyclic n) -> Int)

uncheckedSizeOffset :: Cyclic n -> (Int, Index (Cyclic n) -> Int)

unifiedSizeOffset :: Checking check => Cyclic n -> (Int, Index (Cyclic n) -> Result check Int)

Integral n => InvIndexed (Cyclic n)

Defined in Data.Array.Comfort.Shape

Methods

indexFromOffset :: Cyclic n -> Int -> Index (Cyclic n)

uncheckedIndexFromOffset :: Cyclic n -> Int -> Index (Cyclic n)

unifiedIndexFromOffset :: Checking check => Cyclic n -> Int -> Result check (Index (Cyclic n))

NFData n => NFData (Cyclic n)

Defined in Data.Array.Comfort.Shape

Methods

rnf :: Cyclic n -> ()

Eq n => Eq (Cyclic n)

Defined in Data.Array.Comfort.Shape

Methods

(==) :: Cyclic n -> Cyclic n -> Bool

(/=) :: Cyclic n -> Cyclic n -> Bool

type Index (Cyclic n)

Defined in Data.Array.Comfort.Shape

type Index (Cyclic n) = n

newtype NestedTuple ixtype tuple

Shape for arrays that hold elements that can alternatively be stored in nested tuples.

Constructors

NestedTuple

Fields

• getNestedTuple :: tuple

Instances

Show tuple => Show (NestedTuple ixtype tuple)

Defined in Data.Array.Comfort.Shape

Methods

showsPrec :: Int -> NestedTuple ixtype tuple -> ShowS

show :: NestedTuple ixtype tuple -> String

showList :: [NestedTuple ixtype tuple] -> ShowS

ElementTuple tuple => C (NestedTuple ixtype tuple)

Defined in Data.Array.Comfort.Shape

Methods

size :: NestedTuple ixtype tuple -> Int

AccessorTuple tuple => Indexed (NestedTuple TupleAccessor tuple)

Defined in Data.Array.Comfort.Shape

Associated Types

type Index (NestedTuple TupleAccessor tuple)

Methods

indices :: NestedTuple TupleAccessor tuple -> [Index (NestedTuple TupleAccessor tuple)]

offset :: NestedTuple TupleAccessor tuple -> Index (NestedTuple TupleAccessor tuple) -> Int

uncheckedOffset :: NestedTuple TupleAccessor tuple -> Index (NestedTuple TupleAccessor tuple) -> Int

unifiedOffset :: Checking check => NestedTuple TupleAccessor tuple -> Index (NestedTuple TupleAccessor tuple) -> Result check Int

inBounds :: NestedTuple TupleAccessor tuple -> Index (NestedTuple TupleAccessor tuple) -> Bool

sizeOffset :: NestedTuple TupleAccessor tuple -> (Int, Index (NestedTuple TupleAccessor tuple) -> Int)

uncheckedSizeOffset :: NestedTuple TupleAccessor tuple -> (Int, Index (NestedTuple TupleAccessor tuple) -> Int)

unifiedSizeOffset :: Checking check => NestedTuple TupleAccessor tuple -> (Int, Index (NestedTuple TupleAccessor tuple) -> Result check Int)

ElementTuple tuple => Indexed (NestedTuple TupleIndex tuple)

Defined in Data.Array.Comfort.Shape

Associated Types

type Index (NestedTuple TupleIndex tuple)

Methods

indices :: NestedTuple TupleIndex tuple -> [Index (NestedTuple TupleIndex tuple)]

offset :: NestedTuple TupleIndex tuple -> Index (NestedTuple TupleIndex tuple) -> Int

uncheckedOffset :: NestedTuple TupleIndex tuple -> Index (NestedTuple TupleIndex tuple) -> Int

unifiedOffset :: Checking check => NestedTuple TupleIndex tuple -> Index (NestedTuple TupleIndex tuple) -> Result check Int

inBounds :: NestedTuple TupleIndex tuple -> Index (NestedTuple TupleIndex tuple) -> Bool

sizeOffset :: NestedTuple TupleIndex tuple -> (Int, Index (NestedTuple TupleIndex tuple) -> Int)

uncheckedSizeOffset :: NestedTuple TupleIndex tuple -> (Int, Index (NestedTuple TupleIndex tuple) -> Int)

unifiedSizeOffset :: Checking check => NestedTuple TupleIndex tuple -> (Int, Index (NestedTuple TupleIndex tuple) -> Result check Int)

ElementTuple tuple => Pattern (NestedTuple TupleIndex tuple)

Defined in Data.Array.Comfort.Shape

Associated Types

type DataPattern (NestedTuple TupleIndex tuple) x

Methods

indexPattern :: (Index (NestedTuple TupleIndex tuple) -> x) -> NestedTuple TupleIndex tuple -> DataPattern (NestedTuple TupleIndex tuple) x

StaticTuple tuple => Static (NestedTuple ixtype tuple)

Defined in Data.Array.Comfort.Shape

Methods

static :: NestedTuple ixtype tuple

ElementTuple tuple => NFData (NestedTuple ixtype tuple)

>>> rnf (Shape.NestedTuple (Shape.Element 1, Shape.Element 2))
()
>>> rnf (Shape.NestedTuple (Shape.Element 1, (Shape.Element 2, Shape.Element 3)))
()
>>> isBottom $ rnf (Shape.NestedTuple (Shape.Element undefined, Shape.Element 2))
True
>>> isBottom $ rnf (Shape.NestedTuple (Shape.Element undefined, (Shape.Element 2, Shape.Element 3)))
True
>>> isBottom $ rnf (Shape.NestedTuple (Shape.Element 1, (Shape.Element undefined, Shape.Element 3)))
True
>>> isBottom $ rnf (Shape.NestedTuple (Shape.Element 1, (Shape.Element 2, Shape.Element undefined)))
True

Defined in Data.Array.Comfort.Shape

Methods

rnf :: NestedTuple ixtype tuple -> ()

Eq tuple => Eq (NestedTuple ixtype tuple)

Defined in Data.Array.Comfort.Shape

Methods

(==) :: NestedTuple ixtype tuple -> NestedTuple ixtype tuple -> Bool

(/=) :: NestedTuple ixtype tuple -> NestedTuple ixtype tuple -> Bool

type Index (NestedTuple TupleAccessor tuple)

Defined in Data.Array.Comfort.Shape

type Index (NestedTuple TupleAccessor tuple) = tuple -> Element

type Index (NestedTuple TupleIndex tuple)

Defined in Data.Array.Comfort.Shape

type Index (NestedTuple TupleIndex tuple) = ElementIndex tuple

type DataPattern (NestedTuple TupleIndex tuple) x

Defined in Data.Array.Comfort.Shape

type DataPattern (NestedTuple TupleIndex tuple) x = DataTuple tuple x

class ElementTuple tuple => AccessorTuple tuple where

Methods

tupleAccessors :: tuple -> [tuple -> Element]

Instances

AccessorTuple Element

Defined in Data.Array.Comfort.Shape

Methods

tupleAccessors :: Element -> [Element -> Element]

AccessorTuple ()

Defined in Data.Array.Comfort.Shape

Methods

tupleAccessors :: () -> [() -> Element]

(AccessorTuple a, RealFloat a) => AccessorTuple (Complex a)

Defined in Data.Array.Comfort.Shape

Methods

tupleAccessors :: Complex a -> [Complex a -> Element]

(AccessorTuple a, AccessorTuple b) => AccessorTuple (a, b)

Defined in Data.Array.Comfort.Shape

Methods

tupleAccessors :: (a, b) -> [(a, b) -> Element]

(AccessorTuple a, AccessorTuple b, AccessorTuple c) => AccessorTuple (a, b, c)

Defined in Data.Array.Comfort.Shape

Methods

tupleAccessors :: (a, b, c) -> [(a, b, c) -> Element]

(AccessorTuple a, AccessorTuple b, AccessorTuple c, AccessorTuple d) => AccessorTuple (a, b, c, d)

Defined in Data.Array.Comfort.Shape

Methods

tupleAccessors :: (a, b, c, d) -> [(a, b, c, d) -> Element]

class (ElementTuple tuple, Eq tuple) => StaticTuple tuple where

Methods

staticTuple :: State Element tuple

Instances

StaticTuple Element

Defined in Data.Array.Comfort.Shape

Methods

staticTuple :: State Element Element

StaticTuple ()

Defined in Data.Array.Comfort.Shape

Methods

staticTuple :: State Element ()

StaticTuple a => StaticTuple (Complex a)

Defined in Data.Array.Comfort.Shape

Methods

staticTuple :: State Element (Complex a)

(StaticTuple a, StaticTuple b) => StaticTuple (a, b)

Defined in Data.Array.Comfort.Shape

Methods

staticTuple :: State Element (a, b)

(StaticTuple a, StaticTuple b, StaticTuple c) => StaticTuple (a, b, c)

Defined in Data.Array.Comfort.Shape

Methods

staticTuple :: State Element (a, b, c)

(StaticTuple a, StaticTuple b, StaticTuple c, StaticTuple d) => StaticTuple (a, b, c, d)

Defined in Data.Array.Comfort.Shape

Methods

staticTuple :: State Element (a, b, c, d)

newtype Element

Constructors

Element Int

Instances

Show Element

Defined in Data.Array.Comfort.Shape

Methods

showsPrec :: Int -> Element -> ShowS

show :: Element -> String

showList :: [Element] -> ShowS

AccessorTuple Element

Defined in Data.Array.Comfort.Shape

Methods

tupleAccessors :: Element -> [Element -> Element]

ElementTuple Element

Defined in Data.Array.Comfort.Shape

Associated Types

type DataTuple Element x

Methods

indexTupleA :: Applicative f => (Element -> f a) -> Element -> f (DataTuple Element a)

StaticTuple Element

Defined in Data.Array.Comfort.Shape

Methods

staticTuple :: State Element Element

NFData Element

Defined in Data.Array.Comfort.Shape

Methods

rnf :: Element -> ()

Eq Element

Defined in Data.Array.Comfort.Shape

Methods

(==) :: Element -> Element -> Bool

(/=) :: Element -> Element -> Bool

type DataTuple Element x

Defined in Data.Array.Comfort.Shape

type DataTuple Element x = x

data TupleAccessor

Instances

AccessorTuple tuple => Indexed (NestedTuple TupleAccessor tuple)

Defined in Data.Array.Comfort.Shape

Associated Types

type Index (NestedTuple TupleAccessor tuple)

Methods

indices :: NestedTuple TupleAccessor tuple -> [Index (NestedTuple TupleAccessor tuple)]

offset :: NestedTuple TupleAccessor tuple -> Index (NestedTuple TupleAccessor tuple) -> Int

uncheckedOffset :: NestedTuple TupleAccessor tuple -> Index (NestedTuple TupleAccessor tuple) -> Int

unifiedOffset :: Checking check => NestedTuple TupleAccessor tuple -> Index (NestedTuple TupleAccessor tuple) -> Result check Int

inBounds :: NestedTuple TupleAccessor tuple -> Index (NestedTuple TupleAccessor tuple) -> Bool

sizeOffset :: NestedTuple TupleAccessor tuple -> (Int, Index (NestedTuple TupleAccessor tuple) -> Int)

uncheckedSizeOffset :: NestedTuple TupleAccessor tuple -> (Int, Index (NestedTuple TupleAccessor tuple) -> Int)

unifiedSizeOffset :: Checking check => NestedTuple TupleAccessor tuple -> (Int, Index (NestedTuple TupleAccessor tuple) -> Result check Int)

type Index (NestedTuple TupleAccessor tuple)

Defined in Data.Array.Comfort.Shape

type Index (NestedTuple TupleAccessor tuple) = tuple -> Element

data TupleIndex

Instances

ElementTuple tuple => Indexed (NestedTuple TupleIndex tuple)

Defined in Data.Array.Comfort.Shape

Associated Types

type Index (NestedTuple TupleIndex tuple)

Methods

indices :: NestedTuple TupleIndex tuple -> [Index (NestedTuple TupleIndex tuple)]

offset :: NestedTuple TupleIndex tuple -> Index (NestedTuple TupleIndex tuple) -> Int

uncheckedOffset :: NestedTuple TupleIndex tuple -> Index (NestedTuple TupleIndex tuple) -> Int

unifiedOffset :: Checking check => NestedTuple TupleIndex tuple -> Index (NestedTuple TupleIndex tuple) -> Result check Int

inBounds :: NestedTuple TupleIndex tuple -> Index (NestedTuple TupleIndex tuple) -> Bool

sizeOffset :: NestedTuple TupleIndex tuple -> (Int, Index (NestedTuple TupleIndex tuple) -> Int)

uncheckedSizeOffset :: NestedTuple TupleIndex tuple -> (Int, Index (NestedTuple TupleIndex tuple) -> Int)

unifiedSizeOffset :: Checking check => NestedTuple TupleIndex tuple -> (Int, Index (NestedTuple TupleIndex tuple) -> Result check Int)

ElementTuple tuple => Pattern (NestedTuple TupleIndex tuple)

Defined in Data.Array.Comfort.Shape

Associated Types

type DataPattern (NestedTuple TupleIndex tuple) x

Methods

indexPattern :: (Index (NestedTuple TupleIndex tuple) -> x) -> NestedTuple TupleIndex tuple -> DataPattern (NestedTuple TupleIndex tuple) x

type Index (NestedTuple TupleIndex tuple)

Defined in Data.Array.Comfort.Shape

type Index (NestedTuple TupleIndex tuple) = ElementIndex tuple

type DataPattern (NestedTuple TupleIndex tuple) x

Defined in Data.Array.Comfort.Shape

type DataPattern (NestedTuple TupleIndex tuple) x = DataTuple tuple x

data ElementIndex tuple

Instances

Show (ElementIndex tuple)

Defined in Data.Array.Comfort.Shape

Methods

showsPrec :: Int -> ElementIndex tuple -> ShowS

show :: ElementIndex tuple -> String

showList :: [ElementIndex tuple] -> ShowS

Eq (ElementIndex tuple)

Defined in Data.Array.Comfort.Shape

Methods

(==) :: ElementIndex tuple -> ElementIndex tuple -> Bool

(/=) :: ElementIndex tuple -> ElementIndex tuple -> Bool

Ord (ElementIndex tuple)

Defined in Data.Array.Comfort.Shape

Methods

compare :: ElementIndex tuple -> ElementIndex tuple -> Ordering

(<) :: ElementIndex tuple -> ElementIndex tuple -> Bool

(<=) :: ElementIndex tuple -> ElementIndex tuple -> Bool

(>) :: ElementIndex tuple -> ElementIndex tuple -> Bool

(>=) :: ElementIndex tuple -> ElementIndex tuple -> Bool

max :: ElementIndex tuple -> ElementIndex tuple -> ElementIndex tuple

min :: ElementIndex tuple -> ElementIndex tuple -> ElementIndex tuple

class ElementTuple tuple where

Associated Types

type DataTuple tuple x

Methods

indexTupleA :: Applicative f => (Element -> f a) -> tuple -> f (DataTuple tuple a)

Instances

ElementTuple Element

Defined in Data.Array.Comfort.Shape

Associated Types

type DataTuple Element x

Methods

indexTupleA :: Applicative f => (Element -> f a) -> Element -> f (DataTuple Element a)

ElementTuple ()

Defined in Data.Array.Comfort.Shape

Associated Types

type DataTuple () x

Methods

indexTupleA :: Applicative f => (Element -> f a) -> () -> f (DataTuple () a)

ElementTuple a => ElementTuple (Complex a)

Defined in Data.Array.Comfort.Shape

Associated Types

type DataTuple (Complex a) x

Methods

indexTupleA :: Applicative f => (Element -> f a0) -> Complex a -> f (DataTuple (Complex a) a0)

(ElementTuple a, ElementTuple b) => ElementTuple (a, b)

Defined in Data.Array.Comfort.Shape

Associated Types

type DataTuple (a, b) x

Methods

indexTupleA :: Applicative f => (Element -> f a0) -> (a, b) -> f (DataTuple (a, b) a0)

(ElementTuple a, ElementTuple b, ElementTuple c) => ElementTuple (a, b, c)

Defined in Data.Array.Comfort.Shape

Associated Types

type DataTuple (a, b, c) x

Methods

indexTupleA :: Applicative f => (Element -> f a0) -> (a, b, c) -> f (DataTuple (a, b, c) a0)

(ElementTuple a, ElementTuple b, ElementTuple c, ElementTuple d) => ElementTuple (a, b, c, d)

Defined in Data.Array.Comfort.Shape

Associated Types

type DataTuple (a, b, c, d) x

Methods

indexTupleA :: Applicative f => (Element -> f a0) -> (a, b, c, d) -> f (DataTuple (a, b, c, d) a0)

indexTupleFromShape :: ElementTuple tuple => NestedTuple TupleIndex tuple -> DataTuple tuple (ElementIndex tuple)

newtype Record f

Shape for arrays that hold elements that can alternatively be stored in a Traversable record.

Constructors

Record

Fields

• getRecord :: f Element

Instances

Foldable f => C (Record f)

Defined in Data.Array.Comfort.Shape

Methods

size :: Record f -> Int

Foldable f => Indexed (Record f)

Defined in Data.Array.Comfort.Shape

Associated Types

type Index (Record f)

Methods

indices :: Record f -> [Index (Record f)]

offset :: Record f -> Index (Record f) -> Int

uncheckedOffset :: Record f -> Index (Record f) -> Int

unifiedOffset :: Checking check => Record f -> Index (Record f) -> Result check Int

inBounds :: Record f -> Index (Record f) -> Bool

sizeOffset :: Record f -> (Int, Index (Record f) -> Int)

uncheckedSizeOffset :: Record f -> (Int, Index (Record f) -> Int)

unifiedSizeOffset :: Checking check => Record f -> (Int, Index (Record f) -> Result check Int)

(Applicative f, Traversable f) => Static (Record f)

Defined in Data.Array.Comfort.Shape

Methods

static :: Record f

Foldable f => Eq (Record f)

Defined in Data.Array.Comfort.Shape

Methods

(==) :: Record f -> Record f -> Bool

(/=) :: Record f -> Record f -> Bool

type Index (Record f)

Defined in Data.Array.Comfort.Shape

type Index (Record f) = FieldIndex f

data FieldIndex (f :: * -> *)

Instances

Show (FieldIndex f)

Defined in Data.Array.Comfort.Shape

Methods

showsPrec :: Int -> FieldIndex f -> ShowS

show :: FieldIndex f -> String

showList :: [FieldIndex f] -> ShowS

Eq (FieldIndex f)

Defined in Data.Array.Comfort.Shape

Methods

(==) :: FieldIndex f -> FieldIndex f -> Bool

(/=) :: FieldIndex f -> FieldIndex f -> Bool

indexRecordFromShape :: Traversable f => Record f -> f (FieldIndex f)

data Constructed tag

Instances

Show (Constructed tag)

Defined in Data.Array.Comfort.Shape

Methods

showsPrec :: Int -> Constructed tag -> ShowS

show :: Constructed tag -> String

showList :: [Constructed tag] -> ShowS

C (Constructed tag)

Defined in Data.Array.Comfort.Shape

Methods

size :: Constructed tag -> Int

Indexed (Constructed tag)

Defined in Data.Array.Comfort.Shape

Associated Types

type Index (Constructed tag)

Methods

indices :: Constructed tag -> [Index (Constructed tag)]

offset :: Constructed tag -> Index (Constructed tag) -> Int

uncheckedOffset :: Constructed tag -> Index (Constructed tag) -> Int

unifiedOffset :: Checking check => Constructed tag -> Index (Constructed tag) -> Result check Int

inBounds :: Constructed tag -> Index (Constructed tag) -> Bool

sizeOffset :: Constructed tag -> (Int, Index (Constructed tag) -> Int)

uncheckedSizeOffset :: Constructed tag -> (Int, Index (Constructed tag) -> Int)

unifiedSizeOffset :: Checking check => Constructed tag -> (Int, Index (Constructed tag) -> Result check Int)

InvIndexed (Constructed tag)

Defined in Data.Array.Comfort.Shape

Methods

indexFromOffset :: Constructed tag -> Int -> Index (Constructed tag)

uncheckedIndexFromOffset :: Constructed tag -> Int -> Index (Constructed tag)

unifiedIndexFromOffset :: Checking check => Constructed tag -> Int -> Result check (Index (Constructed tag))

Eq (Constructed tag)

Defined in Data.Array.Comfort.Shape

Methods

(==) :: Constructed tag -> Constructed tag -> Bool

(/=) :: Constructed tag -> Constructed tag -> Bool

type Index (Constructed tag)

Defined in Data.Array.Comfort.Shape

type Index (Constructed tag) = ConsIndex tag

data ConsIndex tag

Instances

Show (ConsIndex tag)

Defined in Data.Array.Comfort.Shape

Methods

showsPrec :: Int -> ConsIndex tag -> ShowS

show :: ConsIndex tag -> String

showList :: [ConsIndex tag] -> ShowS

Eq (ConsIndex tag)

Defined in Data.Array.Comfort.Shape

Methods

(==) :: ConsIndex tag -> ConsIndex tag -> Bool

(/=) :: ConsIndex tag -> ConsIndex tag -> Bool

data Construction tag a

Instances

Applicative (Construction tag)

Defined in Data.Array.Comfort.Shape

Methods

pure :: a -> Construction tag a

(<*>) :: Construction tag (a -> b) -> Construction tag a -> Construction tag b

liftA2 :: (a -> b -> c) -> Construction tag a -> Construction tag b -> Construction tag c

(*>) :: Construction tag a -> Construction tag b -> Construction tag b

(<*) :: Construction tag a -> Construction tag b -> Construction tag a

Functor (Construction tag)

Defined in Data.Array.Comfort.Shape

Methods

fmap :: (a -> b) -> Construction tag a -> Construction tag b

(<$) :: a -> Construction tag b -> Construction tag a

Monad (Construction tag)

Defined in Data.Array.Comfort.Shape

Methods

(>>=) :: Construction tag a -> (a -> Construction tag b) -> Construction tag b

(>>) :: Construction tag a -> Construction tag b -> Construction tag b

return :: a -> Construction tag a

construct :: Construction tag a -> (Constructed tag, a)

consIndex :: Construction tag (ConsIndex tag)