Data.Array.Convert

Documentation

class Convert a b where

Minimal complete definition

convert | convertE

Methods

convert :: a -> b

Convert between two array types. If both arrays have the same flavor of boxing this is a O(1) operation. Conversion between different boxing is a O(n) operation.

convertE :: a -> Either String b

Convert between two array types if possible, or return error message.

Instances

(a ~ b, Unbox a) => Convert (Array a) (Array b)

Defined in Data.Array.Convert

Methods

convert :: Array0 a -> Array b

convertE :: Array0 a -> Either String (Array b)

(a ~ b, Unbox a) => Convert (Array a) (Array b)

Defined in Data.Array.Convert

Methods

convert :: Array0 a -> Array b

convertE :: Array0 a -> Either String (Array b)

(a ~ b, Unbox a) => Convert (Array a) (Array b)

Defined in Data.Array.Convert

Methods

convert :: Array a -> Array0 b

convertE :: Array a -> Either String (Array0 b)

(a ~ b, Unbox a) => Convert (Array a) (Array b)

Defined in Data.Array.Convert

Methods

convert :: Array a -> Array0 b

convertE :: Array a -> Either String (Array0 b)

a ~ b => Convert (Array a) (Array Vector b)

Defined in Data.Array.Convert

Methods

convert :: Array a -> Array0 Vector b

convertE :: Array a -> Either String (Array0 Vector b)

(a ~ b, Shape sh) => Convert (Array a) (Array sh b)

Defined in Data.Array.Convert

Methods

convert :: Array0 a -> Array sh b

convertE :: Array0 a -> Either String (Array sh b)

(a ~ b, KnownNat n) => Convert (Array a) (Array n b)

Defined in Data.Array.Convert

Methods

convert :: Array0 a -> Array n b

convertE :: Array0 a -> Either String (Array n b)

a ~ b => Convert (Array a) (Array Vector b)

Defined in Data.Array.Convert

Methods

convert :: Array a -> Array0 Vector b

convertE :: Array a -> Either String (Array0 Vector b)

(a ~ b, Shape sh) => Convert (Array a) (Array sh b)

Defined in Data.Array.Convert

Methods

convert :: Array0 a -> Array sh b

convertE :: Array0 a -> Either String (Array sh b)

(a ~ b, KnownNat n) => Convert (Array a) (Array n b)

Defined in Data.Array.Convert

Methods

convert :: Array0 a -> Array n b

convertE :: Array0 a -> Either String (Array n b)

a ~ b => Convert (Array a) (Array Vector b)

Defined in Data.Array.Convert

Methods

convert :: Array a -> Array0 Vector b

convertE :: Array a -> Either String (Array0 Vector b)

a ~ b => Convert (Array n a) (Array b)

Defined in Data.Array.Convert

Methods

convert :: Array n a -> Array0 b

convertE :: Array n a -> Either String (Array0 b)

(a ~ b, Shape sh) => Convert (Array sh a) (Array b)

Defined in Data.Array.Convert

Methods

convert :: Array sh a -> Array0 b

convertE :: Array sh a -> Either String (Array0 b)

(a ~ b, Shape sh) => Convert (Array sh a) (Array b)

Defined in Data.Array.Convert

Methods

convert :: Array sh a -> Array0 b

convertE :: Array sh a -> Either String (Array0 b)

(a ~ b, Rank sh ~ n, Shape sh) => Convert (Array n a) (Array sh b)

Defined in Data.Array.Convert

Methods

convert :: Array0 n a -> Array sh b

convertE :: Array0 n a -> Either String (Array sh b)

(a ~ b, n ~ m, Unbox a) => Convert (Array n a) (Array m b)

Defined in Data.Array.Convert

Methods

convert :: Array0 n a -> Array m b

convertE :: Array0 n a -> Either String (Array m b)

(a ~ b, n ~ m, Unbox a) => Convert (Array n a) (Array m b)

Defined in Data.Array.Convert

Methods

convert :: Array0 n a -> Array m b

convertE :: Array0 n a -> Either String (Array m b)

(a ~ b, Rank sh ~ n, Shape sh) => Convert (Array n a) (Array sh b)

Defined in Data.Array.Convert

Methods

convert :: Array0 n a -> Array sh b

convertE :: Array0 n a -> Either String (Array sh b)

(a ~ b, n ~ m, Unbox a) => Convert (Array n a) (Array m b)

Defined in Data.Array.Convert

Methods

convert :: Array n a -> Array0 m b

convertE :: Array n a -> Either String (Array0 m b)

(a ~ b, n ~ m, Unbox a) => Convert (Array n a) (Array m b)

Defined in Data.Array.Convert

Methods

convert :: Array n a -> Array0 m b

convertE :: Array n a -> Either String (Array0 m b)

(a ~ b, Rank sh ~ n, Shape sh) => Convert (Array sh a) (Array n b)

Defined in Data.Array.Convert

Methods

convert :: Array sh a -> Array0 n b

convertE :: Array sh a -> Either String (Array0 n b)

(a ~ b, n ~ m, Unbox a) => Convert (Array n a) (Array m b)

Defined in Data.Array.Convert

Methods

convert :: Array0 n a -> Array m b

convertE :: Array0 n a -> Either String (Array m b)

(a ~ b, n ~ m, Unbox a) => Convert (Array n a) (Array m b)

Defined in Data.Array.Convert

Methods

convert :: Array0 n a -> Array m b

convertE :: Array0 n a -> Either String (Array m b)

(a ~ b, n ~ m, Unbox a) => Convert (Array n a) (Array m b)

Defined in Data.Array.Convert

Methods

convert :: Array n a -> Array0 m b

convertE :: Array n a -> Either String (Array0 m b)

(a ~ b, n ~ m, Unbox a) => Convert (Array n a) (Array m b)

Defined in Data.Array.Convert

Methods

convert :: Array n a -> Array0 m b

convertE :: Array n a -> Either String (Array0 m b)

(a ~ b, n ~ m) => Convert (Array n a) (Array m Vector b)

Defined in Data.Array.Convert

Methods

convert :: Array n a -> Array0 m Vector b

convertE :: Array n a -> Either String (Array0 m Vector b)

(a ~ b, n ~ m) => Convert (Array n a) (Array m Vector b)

Defined in Data.Array.Convert

Methods

convert :: Array n a -> Array0 m Vector b

convertE :: Array n a -> Either String (Array0 m Vector b)

(a ~ b, n ~ m) => Convert (Array n a) (Array m Vector b)

Defined in Data.Array.Convert

Methods

convert :: Array n a -> Array0 m Vector b

convertE :: Array n a -> Either String (Array0 m Vector b)

(a ~ b, s ~ t) => Convert (Array s a) (Array t Vector b)

Defined in Data.Array.Convert

Methods

convert :: Array s a -> Array0 t Vector b

convertE :: Array s a -> Either String (Array0 t Vector b)

(a ~ b, s ~ t) => Convert (Array s a) (Array t Vector b)

Defined in Data.Array.Convert

Methods

convert :: Array s a -> Array0 t Vector b

convertE :: Array s a -> Either String (Array0 t Vector b)

(a ~ b, s ~ t) => Convert (Array s a) (Array t Vector b)

Defined in Data.Array.Convert

Methods

convert :: Array s a -> Array0 t Vector b

convertE :: Array s a -> Either String (Array0 t Vector b)