repa-3.4.0.1: High performance, regular, shape polymorphic parallel arrays.

Safe HaskellNone
LanguageHaskell98

Data.Array.Repa.Slice

Description

Index space transformation between arrays and slices.

Synopsis

Documentation

data All Source

Select all indices at a certain position.

Constructors

All 

Instances

data Any sh Source

Place holder for any possible shape.

Constructors

Any 

Instances

Slice (Any sh) Source 
type SliceShape (Any sh) = sh Source 
type FullShape (Any sh) = sh Source 

type family FullShape ss Source

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

Instances

type FullShape Z = Z Source 
type FullShape (Any sh) = sh Source 
type FullShape ((:.) sl All) = (:.) (FullShape sl) Int Source 
type FullShape ((:.) sl Int) = (:.) (FullShape sl) Int Source 

type family SliceShape ss Source

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

Instances

type SliceShape Z = Z Source 
type SliceShape (Any sh) = sh Source 
type SliceShape ((:.) sl All) = (:.) (SliceShape sl) Int Source 
type SliceShape ((:.) sl Int) = SliceShape sl Source 

class Slice ss where Source

Class of index types that can map to slices.

Methods

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

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

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

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

Instances