-{-# LANGUAGE TypeSynonymInstances #-}
+{-# LANGUAGE FlexibleInstances #-}
module Values
where
index v3d shape
where
shape :: DIM3
- shape = (Z :. i :. j :. k)
+ shape = (Z :. k :. j :. i)
+
+
+zoom_shape :: Int -> DIM3 -> DIM3
+zoom_shape scale_factor sh =
+ let (Z :. x :. y :. z) = sh
+ x' = x * scale_factor
+ y' = y * scale_factor
+ z' = z * scale_factor
+ in
+ (Z :. x' :. y' :. z')