rotate package:harpie

rotate :: Dim -> Int -> Array a -> Array a
harpie Harpie.Array
Rotate an array along a dimension. 
>>> pretty $ rotate 1 2 a
[[[8,9,10,11],
[0,1,2,3],
[4,5,6,7]],
[[20,21,22,23],
[12,13,14,15],
[16,17,18,19]]]
rotate :: forall (d :: Nat) (s :: [Nat]) a . KnownNats s => Dim d -> Int -> Array s a -> Array s a
harpie Harpie.Fixed
Rotate an array along a dimension. 
>>> pretty $ rotate (Dim @1) 2 a
[[[8,9,10,11],
[0,1,2,3],
[4,5,6,7]],
[[20,21,22,23],
[12,13,14,15],
[16,17,18,19]]]
rotate :: Int -> [a] -> [a]
harpie Harpie.Shape
rotate a list 
>>> rotate 1 [0..3]
[1,2,3,0]

>>> rotate (-1) [0..3]
[3,0,1,2]
rotates :: Dims -> [Int] -> Array a -> Array a
harpie Harpie.Array
Rotate an array by/along dimensions & offsets. 
>>> pretty $ rotates [1] [2] a
[[[8,9,10,11],
[0,1,2,3],
[4,5,6,7]],
[[20,21,22,23],
[12,13,14,15],
[16,17,18,19]]]
rotates :: forall a (ds :: [Nat]) (s :: [Nat]) . (KnownNats s, 'True ~ Eval (IsDims ds s)) => Dims ds -> [Int] -> Array s a -> Array s a
harpie Harpie.Fixed
Rotate an array by/along dimensions & offsets. 
>>> pretty $ rotates (Dims @'[1]) [2] a
[[[8,9,10,11],
[0,1,2,3],
[4,5,6,7]],
[[20,21,22,23],
[12,13,14,15],
[16,17,18,19]]]
rotateIndex :: Int -> Int -> [Int] -> [Int] -> [Int]
harpie Harpie.Shape
rotate an index along a specific dimension. 
>>> rotateIndex 0 1 [2,3,4] [0,1,2]
[1,1,2]
rotatesIndex :: [Int] -> [Int] -> [Int] -> [Int] -> [Int]
harpie Harpie.Shape
rotate an index along specific dimensions. 
>>> rotatesIndex [0] [1] [2,3,4] [0,1,2]
[1,1,2]