Data.Array.Repa.Slice

Index space transformation between arrays and slices.

Documentation

data All

Select all indices at a certain position.

Constructors

All

Instances

Slice sl => Slice (:. sl All)

data Any sh

Place holder for any possible shape.

Constructors

Any

Instances

Slice (Any sh)

type family FullShape ss

Map a type of the index in the full shape, to the type of the index in the slice.

type family SliceShape ss

Map the type of an index in the slice, to the type of the index in the full shape.

class Slice ss where

Class of index types that can map to slices.

Methods

sliceOfFull :: ss -> FullShape ss -> SliceShape ss

Map an index of a full shape onto an index of some slice.

fullOfSlice :: ss -> SliceShape ss -> FullShape ss

Map an index of a slice onto an index of the full shape.

Instances

Slice Z

Slice (Any sh)

Slice sl => Slice (:. sl All)

Slice sl => Slice (:. sl Int)