Data.Repa.Array.Meta.Dense

Documentation

data E r l

The Dense layout maps a higher-ranked index space to some underlying linear index space.

For example, we can create a dense 2D row-wise array where the elements are stored in a flat unboxed vector:

> import Data.Repa.Array.Material
> let Just arr  = fromListInto (matrix U 10 10) [1000..1099 :: Float]

> :type arr
arr :: Array (E U (RW DIM2) Float

> arr ! (Z :. 5 :. 4)
> 1054.0

Constructors

Dense r l

Instances

(Eq (Name r), Eq (Name l)) => Eq (Name (E r l))

Methods

(==) :: Name (E r l) -> Name (E r l) -> Bool

(/=) :: Name (E r l) -> Name (E r l) -> Bool

(Show (Name r), Show (Name l)) => Show (Name (E r l))

Methods

showsPrec :: Int -> Name (E r l) -> ShowS

show :: Name (E r l) -> String

showList :: [Name (E r l)] -> ShowS

(Eq r, Eq l) => Eq (E r l)

Methods

(==) :: E r l -> E r l -> Bool

(/=) :: E r l -> E r l -> Bool

(Show r, Show l) => Show (E r l)

Methods

showsPrec :: Int -> E r l -> ShowS

show :: E r l -> String

showList :: [E r l] -> ShowS

((~) * (Index r) Int, Layout r, Layout l) => Layout (E r l)

Dense arrays.

Associated Types

data Name (E r l) :: *

type Index (E r l) :: *

Methods

name :: Name (E r l)

create :: Name (E r l) -> Index (E r l) -> E r l

extent :: E r l -> Index (E r l)

toIndex :: E r l -> Index (E r l) -> Int

fromIndex :: E r l -> Int -> Index (E r l)

((~) * (Index r) Int, Layout l, Bulk r a) => Bulk (E r l) a

Dense arrays.

Associated Types

data Array (E r l) a :: *

Methods

layout :: Array (E r l) a -> E r l

index :: Array (E r l) a -> Index (E r l) -> a

(Layout l, (~) * (Index r) Int, Target r a) => Target (E r l) a

Dense buffers.

Associated Types

data Buffer (E r l) a :: *

Methods

unsafeNewBuffer :: E r l -> IO (Buffer (E r l) a)

unsafeReadBuffer :: Buffer (E r l) a -> Int -> IO a

unsafeWriteBuffer :: Buffer (E r l) a -> Int -> a -> IO ()

unsafeGrowBuffer :: Buffer (E r l) a -> Int -> IO (Buffer (E r l) a)

unsafeSliceBuffer :: Int -> Int -> Buffer (E r l) a -> IO (Buffer (E r l) a)

unsafeFreezeBuffer :: Buffer (E r l) a -> IO (Array (E r l) a)

unsafeThawBuffer :: Array (E r l) a -> IO (Buffer (E r l) a)

touchBuffer :: Buffer (E r l) a -> IO ()

bufferLayout :: Buffer (E r l) a -> E r l

data Name (E r l)

data Name (E r l) = E (Name r) (Name l)

type Index (E r l)

type Index (E r l) = Index l

data Array (E r l)

data Array (E r l) = Array l (Array r a)

data Buffer (E r l)

data Buffer (E r l) = EBuffer !l !(Buffer r a)

Common layouts

vector :: LayoutI l => Name l -> Int -> E l DIM1

Yield a layout for a dense vector of the given length.

The first argument is the name of the underlying linear layout which stores the elements.

matrix :: LayoutI l => Name l -> Int -> Int -> E l DIM2

Yield a layout for a matrix with the given number of rows and columns.

cube :: LayoutI l => Name l -> Int -> Int -> Int -> E l DIM3

Yield a layout for a cube with the given number of planes, rows, and columns.