SDP.Shaped

SDP.Shaped provides advanced operations on Indexed structures, generalized by Index type.

Shaped

class Shaped s e where

Service class for structures with arbitrary bounds. Allows you to extract subsequences corresponding to index subranges.

Minimal complete definition

reshape, (!!), slices, unslice

Methods

defaultRebound :: (Index i, Index j, Bordered2 s i e) => s i e -> s j e

rebound with defaultBounds.

rebound :: Index i => s i e -> (i, i) -> s i e

Set new bounds of same type, may shrink.

reshape :: (Index i, Index j) => s i e -> (j, j) -> s j e

Set new bounds, may shrink.

(!!) :: SubIndex i j => s i e -> (i :|: j) -> s j e

es !! ij returns subshape ij of es.

slices :: SubIndex i j => s i e -> [s j e]

Returns list of es subshapes.

unslice :: (Foldable f, SubIndex i j) => f (s j e) -> s i e

Unslice subshapes.

Instances

(Bordered1 rep Int e, Split1 rep e) => Shaped (AnyBorder rep) e

Defined in SDP.Templates.AnyBorder

Methods

defaultRebound :: (Index i, Index j, Bordered2 (AnyBorder rep) i e) => AnyBorder rep i e -> AnyBorder rep j e

rebound :: Index i => AnyBorder rep i e -> (i, i) -> AnyBorder rep i e

reshape :: (Index i, Index j) => AnyBorder rep i e -> (j, j) -> AnyBorder rep j e

(!!) :: SubIndex i j => AnyBorder rep i e -> (i :|: j) -> AnyBorder rep j e

slices :: SubIndex i j => AnyBorder rep i e -> [AnyBorder rep j e]

unslice :: (Foldable f, SubIndex i j) => f (AnyBorder rep j e) -> AnyBorder rep i e