Make argument order for fromList more consistent.

This is a breaking API change, so bump version number.

Data/Array/Internal/RankedS.hs

@@ -118,13 +118,13 @@ toList = G.toList . unA
 -- Fails if the given shape does not have the same number of elements as the list.
 -- O(n) time.
 {-# INLINABLE fromList #-}
-fromList :: (Unbox a, KnownNat n) => ShapeL -> [a] -> Array n a
+fromList :: forall n a . (Unbox a, KnownNat n) => ShapeL -> [a] -> Array n a
 fromList ss = A . G.fromList ss
 
 -- | Convert to a vector with the elements in the linearization order.
 -- O(n) or O(1) time (the latter if the vector is already in the linearization order).
 {-# INLINABLE toVector #-}
-toVector :: (Unbox a) => Array n a -> V.Vector a
+toVector :: forall n a . (Unbox a) => Array n a -> V.Vector a
 toVector = G.toVector . unA
 
 -- | Convert from a vector with the elements given in the linearization order.

Data/Array/Internal/RankedU.hs

@@ -115,12 +115,12 @@ toList = G.toList . unA
 -- | Convert from a list with the elements given in the linearization order.
 -- Fails if the given shape does not have the same number of elements as the list.
 -- O(n) time.
-fromList :: (Unbox a, KnownNat n) => ShapeL -> [a] -> Array n a
+fromList :: forall n a . (Unbox a, KnownNat n) => ShapeL -> [a] -> Array n a
 fromList ss = A . G.fromList ss
 
 -- | Convert to a vector with the elements in the linearization order.
 -- O(n) or O(1) time (the latter if the vector is already in the linearization order).
-toVector :: (Unbox a) => Array n a -> V.Vector a
+toVector :: forall n a . (Unbox a) => Array n a -> V.Vector a
 toVector = G.toVector . unA
 
 -- | Convert from a vector with the elements given in the linearization order.

orthotope.cabal

@@ -1,5 +1,5 @@
 name:                orthotope
-version:             0.1.6.0
+version:             0.1.7.0
 synopsis:            Multidimensional arrays inspired by APL
 license:             Apache
 license-file:        LICENSE