Safe Haskell | None |
---|---|
Language | Haskell98 |
Index space transformation between arrays and slices.
Synopsis
- data All = All
- data Any sh = Any
- type family FullShape ss
- type family SliceShape ss
- class Slice ss where
- sliceOfFull :: ss -> FullShape ss -> SliceShape ss
- fullOfSlice :: ss -> SliceShape ss -> FullShape ss
Documentation
Select all indices at a certain position.
Instances
Slice sl => Slice (sl :. All) # | |
Defined in Data.Array.Repa.Slice sliceOfFull :: (sl :. All) -> FullShape (sl :. All) -> SliceShape (sl :. All) # fullOfSlice :: (sl :. All) -> SliceShape (sl :. All) -> FullShape (sl :. All) # | |
type SliceShape (sl :. All) # | |
Defined in Data.Array.Repa.Slice | |
type FullShape (sl :. All) # | |
Place holder for any possible shape.
Instances
Slice (Any sh) # | |
Defined in Data.Array.Repa.Slice sliceOfFull :: Any sh -> FullShape (Any sh) -> SliceShape (Any sh) # fullOfSlice :: Any sh -> SliceShape (Any sh) -> FullShape (Any sh) # | |
type SliceShape (Any sh) # | |
Defined in Data.Array.Repa.Slice | |
type FullShape (Any sh) # | |
Defined in Data.Array.Repa.Slice |
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.
Instances
type SliceShape Z # | |
Defined in Data.Array.Repa.Slice | |
type SliceShape (Any sh) # | |
Defined in Data.Array.Repa.Slice | |
type SliceShape (sl :. All) # | |
Defined in Data.Array.Repa.Slice | |
type SliceShape (sl :. Int) # | |
Defined in Data.Array.Repa.Slice |
Class of index types that can map to slices.
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 # | |
Defined in Data.Array.Repa.Slice sliceOfFull :: Z -> FullShape Z -> SliceShape Z # fullOfSlice :: Z -> SliceShape Z -> FullShape Z # | |
Slice (Any sh) # | |
Defined in Data.Array.Repa.Slice sliceOfFull :: Any sh -> FullShape (Any sh) -> SliceShape (Any sh) # fullOfSlice :: Any sh -> SliceShape (Any sh) -> FullShape (Any sh) # | |
Slice sl => Slice (sl :. All) # | |
Defined in Data.Array.Repa.Slice sliceOfFull :: (sl :. All) -> FullShape (sl :. All) -> SliceShape (sl :. All) # fullOfSlice :: (sl :. All) -> SliceShape (sl :. All) -> FullShape (sl :. All) # | |
Slice sl => Slice (sl :. Int) # | |
Defined in Data.Array.Repa.Slice sliceOfFull :: (sl :. Int) -> FullShape (sl :. Int) -> SliceShape (sl :. Int) # fullOfSlice :: (sl :. Int) -> SliceShape (sl :. Int) -> FullShape (sl :. Int) # |