Safe Haskell	None
Language	Haskell98

Data.Array.Repa.Slice

Description

Index space transformation between arrays and slices.

Synopsis

Documentation

data All #

Select all indices at a certain position.

Constructors

Instances

Slice sl => Slice ((:.) sl All) #
Methods sliceOfFull :: (sl :. All) -> FullShape (sl :. All) -> SliceShape (sl :. All) # fullOfSlice :: (sl :. All) -> SliceShape (sl :. All) -> FullShape (sl :. All) #
type SliceShape ((:.) sl All) #
type SliceShape ((:.) sl All) = (:.) (SliceShape sl) Int
type FullShape ((:.) sl All) #
type FullShape ((:.) sl All) = (:.) (FullShape sl) Int

data Any sh #

Place holder for any possible shape.

Constructors

Instances

Slice (Any sh) #
Methods sliceOfFull :: Any sh -> FullShape (Any sh) -> SliceShape (Any sh) # fullOfSlice :: Any sh -> SliceShape (Any sh) -> FullShape (Any sh) #
type SliceShape (Any sh) #
type SliceShape (Any sh) = sh
type FullShape (Any sh) #
type FullShape (Any sh) = sh

type family FullShape ss #

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

Instances

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

type family SliceShape ss #

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

Instances

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

class Slice ss where #

Class of index types that can map to slices.

Minimal complete definition

Methods

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

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

Instances

Slice Z #
Methods sliceOfFull :: Z -> FullShape Z -> SliceShape Z # fullOfSlice :: Z -> SliceShape Z -> FullShape Z #
Slice (Any sh) #
Methods sliceOfFull :: Any sh -> FullShape (Any sh) -> SliceShape (Any sh) # fullOfSlice :: Any sh -> SliceShape (Any sh) -> FullShape (Any sh) #
Slice sl => Slice ((:.) sl All) #
Methods sliceOfFull :: (sl :. All) -> FullShape (sl :. All) -> SliceShape (sl :. All) # fullOfSlice :: (sl :. All) -> SliceShape (sl :. All) -> FullShape (sl :. All) #
Slice sl => Slice ((:.) sl Int) #
Methods sliceOfFull :: (sl :. Int) -> FullShape (sl :. Int) -> SliceShape (sl :. Int) # fullOfSlice :: (sl :. Int) -> SliceShape (sl :. Int) -> FullShape (sl :. Int) #