Data.Repa.Array.Meta.Window

Documentation

data W l

Constructors

Window

Fields

• windowStart :: Index l
• windowSize :: Index l
• windowInner :: l

Instances

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

Methods

(==) :: Name (W l) -> Name (W l) -> Bool

(/=) :: Name (W l) -> Name (W l) -> Bool

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

Methods

(==) :: W l -> W l -> Bool

(/=) :: W l -> W l -> Bool

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

Methods

showsPrec :: Int -> Name (W l) -> ShowS

show :: Name (W l) -> String

showList :: [Name (W l)] -> ShowS

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

Methods

showsPrec :: Int -> W l -> ShowS

show :: W l -> String

showList :: [W l] -> ShowS

Layout l => Layout (W l)

Windowed arrays.

Associated Types

data Name (W l) :: *

type Index (W l) :: *

Methods

name :: Name (W l)

create :: Name (W l) -> Index (W l) -> W l

extent :: W l -> Index (W l)

toIndex :: W l -> Index (W l) -> Int

fromIndex :: W l -> Int -> Index (W l)

Bulk l a => Bulk (W l) a

Windowed arrays.

Associated Types

data Array (W l) a :: *

Methods

layout :: Array (W l) a -> W l

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

Bulk l a => Windowable (W l) a

Windows are windowable.

Methods

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

data Name (W l)

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

type Index (W l)

type Index (W l) = Index l

data Array (W 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.

Minimal complete definition

window

Methods

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

Instances

Windowable B a

Boxed windows.

Methods

window :: Index B -> Index B -> Array B a -> Array B a

Storable a => Windowable F a

Windowing Foreign arrays.

Methods

window :: Index F -> Index F -> Array F a -> Array F a

Unbox a => Windowable U a

Windowing Unboxed arrays.

Methods

window :: Index U -> Index U -> Array U a -> Array U a

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

Windowing Nested arrays.

Methods

window :: Index N -> Index N -> Array N (Array l a) -> Array N (Array l a)

Bulk l a => Windowable (W l) a

Windows are windowable.

Methods

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

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

Tupled windows.

Methods

window :: Index (T2 l1 l2) -> Index (T2 l1 l2) -> Array (T2 l1 l2) (a, b) -> Array (T2 l1 l2) (a, b)

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.

tail :: (Windowable l a, Index l ~ Int) => Array l a -> Maybe (Array l a)

O(1). Take the tail of an array, or Nothing if it's empty.

init :: (Windowable l a, Index l ~ Int) => Array l a -> Maybe (Array l a)

O(1). Take the initial elements of an array, or Nothing if it's empty.