Data.Repa.Array.Material.Boxed

Documentation

data B

Layout an array as flat vector of boxed elements.

UNSAFE: Indexing into raw material arrays is not bounds checked. You may want to wrap this with a Checked layout as well.

Constructors

Boxed

Fields

• boxedLength :: !Int

Instances

Eq B

Methods

(==) :: B -> B -> Bool

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

Show B

Methods

showsPrec :: Int -> B -> ShowS

show :: B -> String

showList :: [B] -> ShowS

Layout B

Boxed arrays.

Associated Types

data Name B :: *

type Index B :: *

Methods

name :: Name B

create :: Name B -> Index B -> B

extent :: B -> Index B

toIndex :: B -> Index B -> Int

fromIndex :: B -> Int -> Index B

Bulk B a

Boxed arrays.

Associated Types

data Array B a :: *

Methods

layout :: Array B a -> B

index :: Array B a -> Index B -> a

Windowable B a

Boxed windows.

Methods

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

Target B a

Boxed buffers.

Associated Types

data Buffer B a :: *

Methods

unsafeNewBuffer :: B -> IO (Buffer B a)

unsafeReadBuffer :: Buffer B a -> Int -> IO a

unsafeWriteBuffer :: Buffer B a -> Int -> a -> IO ()

unsafeGrowBuffer :: Buffer B a -> Int -> IO (Buffer B a)

unsafeSliceBuffer :: Int -> Int -> Buffer B a -> IO (Buffer B a)

unsafeFreezeBuffer :: Buffer B a -> IO (Array B a)

unsafeThawBuffer :: Array B a -> IO (Buffer B a)

touchBuffer :: Buffer B a -> IO ()

bufferLayout :: Buffer B a -> B

Eq (Name B)

Methods

(==) :: Name B -> Name B -> Bool

(/=) :: Name B -> Name B -> Bool

Show (Name B)

Methods

showsPrec :: Int -> Name B -> ShowS

show :: Name B -> String

showList :: [Name B] -> ShowS

Eq a => Eq (Array B a)

Methods

(==) :: Array B a -> Array B a -> Bool

(/=) :: Array B a -> Array B a -> Bool

Show a => Show (Array B a)

Methods

showsPrec :: Int -> Array B a -> ShowS

show :: Array B a -> String

showList :: [Array B a] -> ShowS

data Name B

data Name B = B

type Index B

type Index B = Int

data Array B

data Array B = BArray !(Vector a)

data Buffer B

data Buffer B = BBuffer !(IOVector a)

Conversions

fromBoxed :: Vector a -> Array B a

O(1). Wrap a boxed vector as an array.

toBoxed :: Array B a -> Vector a

O(1). Unwrap a boxed vector from an array.

Utils

decimate :: (a -> a -> Bool) -> Array B a -> Array B a

Scan through an array from front to back. For pairs of successive elements, drop the second one when the given predicate returns true.

This function can be used to remove duplicates from a sorted array.

TODO: generalise to other array types.