Data.Repa.Array.Window

Documentation

data W l

Constructors

Window

Fields

windowStart :: Index l

windowSize :: Index l

windowInner :: l

Instances

Eq (Name l) => Eq (Name (W l))

(Eq l, Eq (Index l)) => Eq (W l)

Show (Name l) => Show (Name (W l))

(Show l, Show (Index l)) => Show (W l)

Layout l => Layout (W l)

Windowed arrays.

Bulk l a => Bulk (W l) a

Windowed arrays.

Bulk l a => Windowable (W l) a

Windows are windowable.

data Name (W l) = W (Name l)

type Index (W l) = Index l

data Array (W l) = WArray !(Index l) !(Index l) !(Array l a)

class Bulk l a => Windowable l a where

Class of array representations that can be windowed directly.

The underlying representation can encode the window, without needing to add a wrapper to the existing layout.

Methods

window :: Index l -> Index l -> Array l a -> Array l a

Instances

Windowable B a

Boxed windows.

Storable a => Windowable F a

Windowing Foreign arrays.

Unbox a => Windowable U a

Windowing Unboxed arrays.

(BulkI l a, Windowable l a) => Windowable N (Array l a)

Windowing Nested arrays.

Bulk l a => Windowable (W l) a

Windows are windowable.

(Windowable l1 a, Windowable l2 b, (~) * (Index l1) (Index l2)) => Windowable (T2 l1 l2) (a, b)

Tupled windows.

windowed :: Index l -> Index l -> Array l a -> Array (W l) a

Wrap a window around an exiting array.

entire :: Bulk l a => Array l a -> Array (W l) a

Wrap a window around an existing array that encompases the entire array.