>>> import Data.Massiv.Array >>> computeAs P $ range Seq (Ix1 0) 10 Array P Seq (Sz1 10) [ 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 ]
>>> import Data.Proxy >>> import Data.Massiv.Array >>> computeProxy (Proxy :: Proxy P) $ (^ (2 :: Int)) <$> range Seq (Ix1 0) 10 Array P Seq (Sz1 10) [ 0, 1, 4, 9, 16, 25, 36, 49, 64, 81 ]
>>> :set -XTypeApplications >>> import Data.Massiv.Array >>> a = singleton @DL @Ix1 @Int 0 >>> a Array DL Seq (Sz1 1) [ 0 ] >>> setComp (ParN 6) a -- use 6 capabilities Array DL (ParN 6) (Sz1 1) [ 0 ]