Data.Massiv.Core.List

Documentation

data L

Constructors

L

Instances

Strategy L

Defined in Data.Massiv.Core.List

Methods

setComp :: Comp -> Array L ix e -> Array L ix e

getComp :: Array L ix e -> Comp

Shape L Ix1

Defined in Data.Massiv.Core.List

Methods

linearSizeHint :: Array L Ix1 e -> LengthHint

linearSize :: Array L Ix1 e -> Sz1

outerSize :: Array L Ix1 e -> Sz Ix1

maxLinearSize :: Array L Ix1 e -> Maybe Sz1

isNull :: Array L Ix1 e -> Bool

Shape L Ix2

Defined in Data.Massiv.Core.List

Methods

linearSizeHint :: Array L Ix2 e -> LengthHint

linearSize :: Array L Ix2 e -> Sz1

outerSize :: Array L Ix2 e -> Sz Ix2

maxLinearSize :: Array L Ix2 e -> Maybe Sz1

isNull :: Array L Ix2 e -> Bool

Ragged L Ix1 e

Defined in Data.Massiv.Core.List

Methods

generateRaggedM :: Monad m => Comp -> Sz Ix1 -> (Ix1 -> m e) -> m (Array L Ix1 e)

flattenRagged :: Array L Ix1 e -> Vector L e

loadRaggedST :: Scheduler s () -> Array L Ix1 e -> (Ix1 -> e -> ST s ()) -> Ix1 -> Ix1 -> Sz Ix1 -> ST s ()

raggedFormat :: (e -> String) -> String -> Array L Ix1 e -> String

Ragged L Ix2 e

Defined in Data.Massiv.Core.List

Methods

generateRaggedM :: Monad m => Comp -> Sz Ix2 -> (Ix2 -> m e) -> m (Array L Ix2 e)

flattenRagged :: Array L Ix2 e -> Vector L e

loadRaggedST :: Scheduler s () -> Array L Ix2 e -> (Ix1 -> e -> ST s ()) -> Ix1 -> Ix1 -> Sz Ix2 -> ST s ()

raggedFormat :: (e -> String) -> String -> Array L Ix2 e -> String

(Shape L ix, Ragged L ix e) => Load L ix e

Defined in Data.Massiv.Core.List

Methods

makeArray :: Comp -> Sz ix -> (ix -> e) -> Array L ix e

makeArrayLinear :: Comp -> Sz ix -> (Int -> e) -> Array L ix e

replicate :: Comp -> Sz ix -> e -> Array L ix e

iterArrayLinearST_ :: Scheduler s () -> Array L ix e -> (Int -> e -> ST s ()) -> ST s ()

iterArrayLinearWithSetST_ :: Scheduler s () -> Array L ix e -> (Ix1 -> e -> ST s ()) -> (Ix1 -> Sz1 -> e -> ST s ()) -> ST s ()

unsafeLoadIntoST :: Manifest r' e => MVector s r' e -> Array L ix e -> ST s (MArray s r' ix e)

unsafeLoadIntoIO :: Manifest r' e => MVector RealWorld r' e -> Array L ix e -> IO (MArray RealWorld r' ix e)

Stream L Ix1 e

Defined in Data.Massiv.Core.List

Methods

toStream :: Array L Ix1 e -> Steps Id e

toStreamIx :: Array L Ix1 e -> Steps Id (Ix1, e)

(Shape L (Ix (n - 1)), Index (IxN n)) => Shape L (IxN n)

Defined in Data.Massiv.Core.List

Methods

linearSizeHint :: Array L (IxN n) e -> LengthHint

linearSize :: Array L (IxN n) e -> Sz1

outerSize :: Array L (IxN n) e -> Sz (IxN n)

maxLinearSize :: Array L (IxN n) e -> Maybe Sz1

isNull :: Array L (IxN n) e -> Bool

(Shape L (IxN n), Ragged L (Ix (n - 1)) e, Coercible (Elt (Ix (n - 1)) e) (ListItem (Ix (n - 1)) e)) => Ragged L (IxN n) e

Defined in Data.Massiv.Core.List

Methods

generateRaggedM :: Monad m => Comp -> Sz (IxN n) -> (IxN n -> m e) -> m (Array L (IxN n) e)

flattenRagged :: Array L (IxN n) e -> Vector L e

loadRaggedST :: Scheduler s () -> Array L (IxN n) e -> (Ix1 -> e -> ST s ()) -> Ix1 -> Ix1 -> Sz (IxN n) -> ST s ()

raggedFormat :: (e -> String) -> String -> Array L (IxN n) e -> String

Coercible (Elt ix e) (ListItem ix e) => IsList (Array L ix e)

Defined in Data.Massiv.Core.List

Associated Types

type Item (Array L ix e)

Methods

fromList :: [Item (Array L ix e)] -> Array L ix e

fromListN :: Int -> [Item (Array L ix e)] -> Array L ix e

toList :: Array L ix e -> [Item (Array L ix e)]

(Ragged L ix e, Show e) => Show (Array L ix e)

Defined in Data.Massiv.Core.List

Methods

showsPrec :: Int -> Array L ix e -> ShowS

show :: Array L ix e -> String

showList :: [Array L ix e] -> ShowS

data Array L ix e

Defined in Data.Massiv.Core.List

data Array L ix e = LArray {

• lComp :: Comp
• lData :: !(List ix e)

}

type Item (Array L ix e)

Defined in Data.Massiv.Core.List

type Item (Array L ix e) = ListItem ix e

data family Array r ix e :: Type

The array family. Representations r describe how data is arranged or computed. All arrays have a common property that each index ix always maps to the same unique element e, even if that element does not yet exist in memory and the array has to be computed in order to get the value of that element. Data is always arranged in a nested row-major fashion. Rank of an array is specified by Dimensions ix.

Since: 0.1.0

Instances

Monad (Array DS Ix1)

Defined in Data.Massiv.Array.Delayed.Stream

Methods

(>>=) :: Array DS Ix1 a -> (a -> Array DS Ix1 b) -> Array DS Ix1 b

(>>) :: Array DS Ix1 a -> Array DS Ix1 b -> Array DS Ix1 b

return :: a -> Array DS Ix1 a

Index ix => Functor (Array DL ix)

Defined in Data.Massiv.Array.Delayed.Push

Methods

fmap :: (a -> b) -> Array DL ix a -> Array DL ix b

(<$) :: a -> Array DL ix b -> Array DL ix a

Functor (Array D ix)

Defined in Data.Massiv.Array.Delayed.Pull

Methods

fmap :: (a -> b) -> Array D ix a -> Array D ix b

(<$) :: a -> Array D ix b -> Array D ix a

Functor (Array DS Ix1)

Defined in Data.Massiv.Array.Delayed.Stream

Methods

fmap :: (a -> b) -> Array DS Ix1 a -> Array DS Ix1 b

(<$) :: a -> Array DS Ix1 b -> Array DS Ix1 a

Index ix => Functor (Array B ix)

Defined in Data.Massiv.Array.Manifest.Boxed

Methods

fmap :: (a -> b) -> Array B ix a -> Array B ix b

(<$) :: a -> Array B ix b -> Array B ix a

Index ix => Functor (Array BL ix)

Defined in Data.Massiv.Array.Manifest.Boxed

Methods

fmap :: (a -> b) -> Array BL ix a -> Array BL ix b

(<$) :: a -> Array BL ix b -> Array BL ix a

Functor (Array DW ix)

Defined in Data.Massiv.Array.Delayed.Windowed

Methods

fmap :: (a -> b) -> Array DW ix a -> Array DW ix b

(<$) :: a -> Array DW ix b -> Array DW ix a

Functor (Array DI ix)

Defined in Data.Massiv.Array.Delayed.Interleaved

Methods

fmap :: (a -> b) -> Array DI ix a -> Array DI ix b

(<$) :: a -> Array DI ix b -> Array DI ix a

Index ix => Applicative (Array D ix)

Defined in Data.Massiv.Array.Delayed.Pull

Methods

pure :: a -> Array D ix a

(<*>) :: Array D ix (a -> b) -> Array D ix a -> Array D ix b

liftA2 :: (a -> b -> c) -> Array D ix a -> Array D ix b -> Array D ix c

(*>) :: Array D ix a -> Array D ix b -> Array D ix b

(<*) :: Array D ix a -> Array D ix b -> Array D ix a

Applicative (Array DS Ix1)

Defined in Data.Massiv.Array.Delayed.Stream

Methods

pure :: a -> Array DS Ix1 a

(<*>) :: Array DS Ix1 (a -> b) -> Array DS Ix1 a -> Array DS Ix1 b

liftA2 :: (a -> b -> c) -> Array DS Ix1 a -> Array DS Ix1 b -> Array DS Ix1 c

(*>) :: Array DS Ix1 a -> Array DS Ix1 b -> Array DS Ix1 b

(<*) :: Array DS Ix1 a -> Array DS Ix1 b -> Array DS Ix1 a

Index ix => Applicative (Array DI ix)

Defined in Data.Massiv.Array.Delayed.Interleaved

Methods

pure :: a -> Array DI ix a

(<*>) :: Array DI ix (a -> b) -> Array DI ix a -> Array DI ix b

liftA2 :: (a -> b -> c) -> Array DI ix a -> Array DI ix b -> Array DI ix c

(*>) :: Array DI ix a -> Array DI ix b -> Array DI ix b

(<*) :: Array DI ix a -> Array DI ix b -> Array DI ix a

Index ix => Foldable (Array D ix)

Row-major sequential folding over a Delayed array.

Defined in Data.Massiv.Array.Delayed.Pull

Methods

fold :: Monoid m => Array D ix m -> m

foldMap :: Monoid m => (a -> m) -> Array D ix a -> m

foldMap' :: Monoid m => (a -> m) -> Array D ix a -> m

foldr :: (a -> b -> b) -> b -> Array D ix a -> b

foldr' :: (a -> b -> b) -> b -> Array D ix a -> b

foldl :: (b -> a -> b) -> b -> Array D ix a -> b

foldl' :: (b -> a -> b) -> b -> Array D ix a -> b

foldr1 :: (a -> a -> a) -> Array D ix a -> a

foldl1 :: (a -> a -> a) -> Array D ix a -> a

toList :: Array D ix a -> [a]

null :: Array D ix a -> Bool

length :: Array D ix a -> Int

elem :: Eq a => a -> Array D ix a -> Bool

maximum :: Ord a => Array D ix a -> a

minimum :: Ord a => Array D ix a -> a

sum :: Num a => Array D ix a -> a

product :: Num a => Array D ix a -> a

Foldable (Array DS Ix1)

Defined in Data.Massiv.Array.Delayed.Stream

Methods

fold :: Monoid m => Array DS Ix1 m -> m

foldMap :: Monoid m => (a -> m) -> Array DS Ix1 a -> m

foldMap' :: Monoid m => (a -> m) -> Array DS Ix1 a -> m

foldr :: (a -> b -> b) -> b -> Array DS Ix1 a -> b

foldr' :: (a -> b -> b) -> b -> Array DS Ix1 a -> b

foldl :: (b -> a -> b) -> b -> Array DS Ix1 a -> b

foldl' :: (b -> a -> b) -> b -> Array DS Ix1 a -> b

foldr1 :: (a -> a -> a) -> Array DS Ix1 a -> a

foldl1 :: (a -> a -> a) -> Array DS Ix1 a -> a

toList :: Array DS Ix1 a -> [a]

null :: Array DS Ix1 a -> Bool

length :: Array DS Ix1 a -> Int

elem :: Eq a => a -> Array DS Ix1 a -> Bool

maximum :: Ord a => Array DS Ix1 a -> a

minimum :: Ord a => Array DS Ix1 a -> a

sum :: Num a => Array DS Ix1 a -> a

product :: Num a => Array DS Ix1 a -> a

Index ix => Foldable (Array B ix)

Row-major sequential folding over a Boxed array.

Defined in Data.Massiv.Array.Manifest.Boxed

Methods

fold :: Monoid m => Array B ix m -> m

foldMap :: Monoid m => (a -> m) -> Array B ix a -> m

foldMap' :: Monoid m => (a -> m) -> Array B ix a -> m

foldr :: (a -> b -> b) -> b -> Array B ix a -> b

foldr' :: (a -> b -> b) -> b -> Array B ix a -> b

foldl :: (b -> a -> b) -> b -> Array B ix a -> b

foldl' :: (b -> a -> b) -> b -> Array B ix a -> b

foldr1 :: (a -> a -> a) -> Array B ix a -> a

foldl1 :: (a -> a -> a) -> Array B ix a -> a

toList :: Array B ix a -> [a]

null :: Array B ix a -> Bool

length :: Array B ix a -> Int

elem :: Eq a => a -> Array B ix a -> Bool

maximum :: Ord a => Array B ix a -> a

minimum :: Ord a => Array B ix a -> a

sum :: Num a => Array B ix a -> a

product :: Num a => Array B ix a -> a

Index ix => Foldable (Array BL ix)

Row-major sequential folding over a Boxed array.

Defined in Data.Massiv.Array.Manifest.Boxed

Methods

fold :: Monoid m => Array BL ix m -> m

foldMap :: Monoid m => (a -> m) -> Array BL ix a -> m

foldMap' :: Monoid m => (a -> m) -> Array BL ix a -> m

foldr :: (a -> b -> b) -> b -> Array BL ix a -> b

foldr' :: (a -> b -> b) -> b -> Array BL ix a -> b

foldl :: (b -> a -> b) -> b -> Array BL ix a -> b

foldl' :: (b -> a -> b) -> b -> Array BL ix a -> b

foldr1 :: (a -> a -> a) -> Array BL ix a -> a

foldl1 :: (a -> a -> a) -> Array BL ix a -> a

toList :: Array BL ix a -> [a]

null :: Array BL ix a -> Bool

length :: Array BL ix a -> Int

elem :: Eq a => a -> Array BL ix a -> Bool

maximum :: Ord a => Array BL ix a -> a

minimum :: Ord a => Array BL ix a -> a

sum :: Num a => Array BL ix a -> a

product :: Num a => Array BL ix a -> a

Index ix => Foldable (Array DI ix)

Defined in Data.Massiv.Array.Delayed.Interleaved

Methods

fold :: Monoid m => Array DI ix m -> m

foldMap :: Monoid m => (a -> m) -> Array DI ix a -> m

foldMap' :: Monoid m => (a -> m) -> Array DI ix a -> m

foldr :: (a -> b -> b) -> b -> Array DI ix a -> b

foldr' :: (a -> b -> b) -> b -> Array DI ix a -> b

foldl :: (b -> a -> b) -> b -> Array DI ix a -> b

foldl' :: (b -> a -> b) -> b -> Array DI ix a -> b

foldr1 :: (a -> a -> a) -> Array DI ix a -> a

foldl1 :: (a -> a -> a) -> Array DI ix a -> a

toList :: Array DI ix a -> [a]

null :: Array DI ix a -> Bool

length :: Array DI ix a -> Int

elem :: Eq a => a -> Array DI ix a -> Bool

maximum :: Ord a => Array DI ix a -> a

minimum :: Ord a => Array DI ix a -> a

sum :: Num a => Array DI ix a -> a

product :: Num a => Array DI ix a -> a

Index ix => Traversable (Array B ix)

Defined in Data.Massiv.Array.Manifest.Boxed

Methods

traverse :: Applicative f => (a -> f b) -> Array B ix a -> f (Array B ix b)

sequenceA :: Applicative f => Array B ix (f a) -> f (Array B ix a)

mapM :: Monad m => (a -> m b) -> Array B ix a -> m (Array B ix b)

sequence :: Monad m => Array B ix (m a) -> m (Array B ix a)

Index ix => Traversable (Array BL ix)

Defined in Data.Massiv.Array.Manifest.Boxed

Methods

traverse :: Applicative f => (a -> f b) -> Array BL ix a -> f (Array BL ix b)

sequenceA :: Applicative f => Array BL ix (f a) -> f (Array BL ix a)

mapM :: Monad m => (a -> m b) -> Array BL ix a -> m (Array BL ix b)

sequence :: Monad m => Array BL ix (m a) -> m (Array BL ix a)

Coercible (Elt ix e) (ListItem ix e) => IsList (Array L ix e)

Defined in Data.Massiv.Core.List

Associated Types

type Item (Array L ix e)

Methods

fromList :: [Item (Array L ix e)] -> Array L ix e

fromListN :: Int -> [Item (Array L ix e)] -> Array L ix e

toList :: Array L ix e -> [Item (Array L ix e)]

(Unbox e, IsList (Array L ix e), Ragged L ix e) => IsList (Array U ix e)

Defined in Data.Massiv.Array.Manifest.Unboxed

Associated Types

type Item (Array U ix e)

Methods

fromList :: [Item (Array U ix e)] -> Array U ix e

fromListN :: Int -> [Item (Array U ix e)] -> Array U ix e

toList :: Array U ix e -> [Item (Array U ix e)]

(Storable e, IsList (Array L ix e), Ragged L ix e) => IsList (Array S ix e)

Defined in Data.Massiv.Array.Manifest.Storable

Associated Types

type Item (Array S ix e)

Methods

fromList :: [Item (Array S ix e)] -> Array S ix e

fromListN :: Int -> [Item (Array S ix e)] -> Array S ix e

toList :: Array S ix e -> [Item (Array S ix e)]

(Prim e, IsList (Array L ix e), Ragged L ix e) => IsList (Array P ix e)

Defined in Data.Massiv.Array.Manifest.Primitive

Associated Types

type Item (Array P ix e)

Methods

fromList :: [Item (Array P ix e)] -> Array P ix e

fromListN :: Int -> [Item (Array P ix e)] -> Array P ix e

toList :: Array P ix e -> [Item (Array P ix e)]

IsList (Array DS Ix1 e)

Defined in Data.Massiv.Array.Delayed.Stream

Associated Types

type Item (Array DS Ix1 e)

Methods

fromList :: [Item (Array DS Ix1 e)] -> Array DS Ix1 e

fromListN :: Int -> [Item (Array DS Ix1 e)] -> Array DS Ix1 e

toList :: Array DS Ix1 e -> [Item (Array DS Ix1 e)]

(NFData e, IsList (Array L ix e), Ragged L ix e) => IsList (Array BN ix e)

Defined in Data.Massiv.Array.Manifest.Boxed

Associated Types

type Item (Array BN ix e)

Methods

fromList :: [Item (Array BN ix e)] -> Array BN ix e

fromListN :: Int -> [Item (Array BN ix e)] -> Array BN ix e

toList :: Array BN ix e -> [Item (Array BN ix e)]

(IsList (Array L ix e), Ragged L ix e) => IsList (Array B ix e)

Defined in Data.Massiv.Array.Manifest.Boxed

Associated Types

type Item (Array B ix e)

Methods

fromList :: [Item (Array B ix e)] -> Array B ix e

fromListN :: Int -> [Item (Array B ix e)] -> Array B ix e

toList :: Array B ix e -> [Item (Array B ix e)]

(IsList (Array L ix e), Ragged L ix e) => IsList (Array BL ix e)

Defined in Data.Massiv.Array.Manifest.Boxed

Associated Types

type Item (Array BL ix e)

Methods

fromList :: [Item (Array BL ix e)] -> Array BL ix e

fromListN :: Int -> [Item (Array BL ix e)] -> Array BL ix e

toList :: Array BL ix e -> [Item (Array BL ix e)]

(Eq e, Index ix) => Eq (Array D ix e)

Defined in Data.Massiv.Array.Delayed.Pull

Methods

(==) :: Array D ix e -> Array D ix e -> Bool

(/=) :: Array D ix e -> Array D ix e -> Bool

(Unbox e, Eq e, Index ix) => Eq (Array U ix e)

Defined in Data.Massiv.Array.Manifest.Unboxed

Methods

(==) :: Array U ix e -> Array U ix e -> Bool

(/=) :: Array U ix e -> Array U ix e -> Bool

(Storable e, Eq e, Index ix) => Eq (Array S ix e)

Defined in Data.Massiv.Array.Manifest.Storable

Methods

(==) :: Array S ix e -> Array S ix e -> Bool

(/=) :: Array S ix e -> Array S ix e -> Bool

(Prim e, Eq e, Index ix) => Eq (Array P ix e)

Defined in Data.Massiv.Array.Manifest.Primitive

Methods

(==) :: Array P ix e -> Array P ix e -> Bool

(/=) :: Array P ix e -> Array P ix e -> Bool

(Index ix, NFData e, Eq e) => Eq (Array BN ix e)

Defined in Data.Massiv.Array.Manifest.Boxed

Methods

(==) :: Array BN ix e -> Array BN ix e -> Bool

(/=) :: Array BN ix e -> Array BN ix e -> Bool

(Index ix, Eq e) => Eq (Array B ix e)

Defined in Data.Massiv.Array.Manifest.Boxed

Methods

(==) :: Array B ix e -> Array B ix e -> Bool

(/=) :: Array B ix e -> Array B ix e -> Bool

(Index ix, Eq e) => Eq (Array BL ix e)

Defined in Data.Massiv.Array.Manifest.Boxed

Methods

(==) :: Array BL ix e -> Array BL ix e -> Bool

(/=) :: Array BL ix e -> Array BL ix e -> Bool

(Index ix, Eq e) => Eq (Array DI ix e)

Defined in Data.Massiv.Array.Delayed.Interleaved

Methods

(==) :: Array DI ix e -> Array DI ix e -> Bool

(/=) :: Array DI ix e -> Array DI ix e -> Bool

(Ord e, Index ix) => Ord (Array D ix e)

Defined in Data.Massiv.Array.Delayed.Pull

Methods

compare :: Array D ix e -> Array D ix e -> Ordering

(<) :: Array D ix e -> Array D ix e -> Bool

(<=) :: Array D ix e -> Array D ix e -> Bool

(>) :: Array D ix e -> Array D ix e -> Bool

(>=) :: Array D ix e -> Array D ix e -> Bool

max :: Array D ix e -> Array D ix e -> Array D ix e

min :: Array D ix e -> Array D ix e -> Array D ix e

(Unbox e, Ord e, Index ix) => Ord (Array U ix e)

Defined in Data.Massiv.Array.Manifest.Unboxed

Methods

compare :: Array U ix e -> Array U ix e -> Ordering

(<) :: Array U ix e -> Array U ix e -> Bool

(<=) :: Array U ix e -> Array U ix e -> Bool

(>) :: Array U ix e -> Array U ix e -> Bool

(>=) :: Array U ix e -> Array U ix e -> Bool

max :: Array U ix e -> Array U ix e -> Array U ix e

min :: Array U ix e -> Array U ix e -> Array U ix e

(Storable e, Ord e, Index ix) => Ord (Array S ix e)

Defined in Data.Massiv.Array.Manifest.Storable

Methods

compare :: Array S ix e -> Array S ix e -> Ordering

(<) :: Array S ix e -> Array S ix e -> Bool

(<=) :: Array S ix e -> Array S ix e -> Bool

(>) :: Array S ix e -> Array S ix e -> Bool

(>=) :: Array S ix e -> Array S ix e -> Bool

max :: Array S ix e -> Array S ix e -> Array S ix e

min :: Array S ix e -> Array S ix e -> Array S ix e

(Prim e, Ord e, Index ix) => Ord (Array P ix e)

Defined in Data.Massiv.Array.Manifest.Primitive

Methods

compare :: Array P ix e -> Array P ix e -> Ordering

(<) :: Array P ix e -> Array P ix e -> Bool

(<=) :: Array P ix e -> Array P ix e -> Bool

(>) :: Array P ix e -> Array P ix e -> Bool

(>=) :: Array P ix e -> Array P ix e -> Bool

max :: Array P ix e -> Array P ix e -> Array P ix e

min :: Array P ix e -> Array P ix e -> Array P ix e

(Index ix, NFData e, Ord e) => Ord (Array BN ix e)

Defined in Data.Massiv.Array.Manifest.Boxed

Methods

compare :: Array BN ix e -> Array BN ix e -> Ordering

(<) :: Array BN ix e -> Array BN ix e -> Bool

(<=) :: Array BN ix e -> Array BN ix e -> Bool

(>) :: Array BN ix e -> Array BN ix e -> Bool

(>=) :: Array BN ix e -> Array BN ix e -> Bool

max :: Array BN ix e -> Array BN ix e -> Array BN ix e

min :: Array BN ix e -> Array BN ix e -> Array BN ix e

(Index ix, Ord e) => Ord (Array B ix e)

Defined in Data.Massiv.Array.Manifest.Boxed

Methods

compare :: Array B ix e -> Array B ix e -> Ordering

(<) :: Array B ix e -> Array B ix e -> Bool

(<=) :: Array B ix e -> Array B ix e -> Bool

(>) :: Array B ix e -> Array B ix e -> Bool

(>=) :: Array B ix e -> Array B ix e -> Bool

max :: Array B ix e -> Array B ix e -> Array B ix e

min :: Array B ix e -> Array B ix e -> Array B ix e

(Index ix, Ord e) => Ord (Array BL ix e)

Defined in Data.Massiv.Array.Manifest.Boxed

Methods

compare :: Array BL ix e -> Array BL ix e -> Ordering

(<) :: Array BL ix e -> Array BL ix e -> Bool

(<=) :: Array BL ix e -> Array BL ix e -> Bool

(>) :: Array BL ix e -> Array BL ix e -> Bool

(>=) :: Array BL ix e -> Array BL ix e -> Bool

max :: Array BL ix e -> Array BL ix e -> Array BL ix e

min :: Array BL ix e -> Array BL ix e -> Array BL ix e

(Index ix, Ord e) => Ord (Array DI ix e)

Defined in Data.Massiv.Array.Delayed.Interleaved

Methods

compare :: Array DI ix e -> Array DI ix e -> Ordering

(<) :: Array DI ix e -> Array DI ix e -> Bool

(<=) :: Array DI ix e -> Array DI ix e -> Bool

(>) :: Array DI ix e -> Array DI ix e -> Bool

(>=) :: Array DI ix e -> Array DI ix e -> Bool

max :: Array DI ix e -> Array DI ix e -> Array DI ix e

min :: Array DI ix e -> Array DI ix e -> Array DI ix e

(Ragged L ix e, Show e) => Show (Array DL ix e)

Defined in Data.Massiv.Array.Manifest.Boxed

Methods

showsPrec :: Int -> Array DL ix e -> ShowS

show :: Array DL ix e -> String

showList :: [Array DL ix e] -> ShowS

(Ragged L ix e, Show e) => Show (Array L ix e)

Defined in Data.Massiv.Core.List

Methods

showsPrec :: Int -> Array L ix e -> ShowS

show :: Array L ix e -> String

showList :: [Array L ix e] -> ShowS

(Ragged L ix e, Show e) => Show (Array D ix e)

Defined in Data.Massiv.Array.Delayed.Pull

Methods

showsPrec :: Int -> Array D ix e -> ShowS

show :: Array D ix e -> String

showList :: [Array D ix e] -> ShowS

(Ragged L ix e, Show e, Unbox e) => Show (Array U ix e)

Defined in Data.Massiv.Array.Manifest.Unboxed

Methods

showsPrec :: Int -> Array U ix e -> ShowS

show :: Array U ix e -> String

showList :: [Array U ix e] -> ShowS

(Ragged L ix e, Show e, Storable e) => Show (Array S ix e)

Defined in Data.Massiv.Array.Manifest.Storable

Methods

showsPrec :: Int -> Array S ix e -> ShowS

show :: Array S ix e -> String

showList :: [Array S ix e] -> ShowS

(Ragged L ix e, Show e, Prim e) => Show (Array P ix e)

Defined in Data.Massiv.Array.Manifest.Primitive

Methods

showsPrec :: Int -> Array P ix e -> ShowS

show :: Array P ix e -> String

showList :: [Array P ix e] -> ShowS

Show e => Show (Array DS Ix1 e)

Defined in Data.Massiv.Array.Manifest.Boxed

Methods

showsPrec :: Int -> Array DS Ix1 e -> ShowS

show :: Array DS Ix1 e -> String

showList :: [Array DS Ix1 e] -> ShowS

(Ragged L ix e, Show e, NFData e) => Show (Array BN ix e)

Defined in Data.Massiv.Array.Manifest.Boxed

Methods

showsPrec :: Int -> Array BN ix e -> ShowS

show :: Array BN ix e -> String

showList :: [Array BN ix e] -> ShowS

(Ragged L ix e, Show e) => Show (Array B ix e)

Defined in Data.Massiv.Array.Manifest.Boxed

Methods

showsPrec :: Int -> Array B ix e -> ShowS

show :: Array B ix e -> String

showList :: [Array B ix e] -> ShowS

(Ragged L ix e, Show e) => Show (Array BL ix e)

Defined in Data.Massiv.Array.Manifest.Boxed

Methods

showsPrec :: Int -> Array BL ix e -> ShowS

show :: Array BL ix e -> String

showList :: [Array BL ix e] -> ShowS

(Ragged L ix e, Load DW ix e, Show e) => Show (Array DW ix e)

Defined in Data.Massiv.Array.Delayed.Windowed

Methods

showsPrec :: Int -> Array DW ix e -> ShowS

show :: Array DW ix e -> String

showList :: [Array DW ix e] -> ShowS

(Ragged L ix e, Show e) => Show (Array DI ix e)

Defined in Data.Massiv.Array.Delayed.Interleaved

Methods

showsPrec :: Int -> Array DI ix e -> ShowS

show :: Array DI ix e -> String

showList :: [Array DI ix e] -> ShowS

Semigroup (Array DL Ix1 e)

Defined in Data.Massiv.Array.Delayed.Push

Methods

(<>) :: Array DL Ix1 e -> Array DL Ix1 e -> Array DL Ix1 e

sconcat :: NonEmpty (Array DL Ix1 e) -> Array DL Ix1 e

stimes :: Integral b => b -> Array DL Ix1 e -> Array DL Ix1 e

Semigroup (Array DS Ix1 e)

Defined in Data.Massiv.Array.Delayed.Stream

Methods

(<>) :: Array DS Ix1 e -> Array DS Ix1 e -> Array DS Ix1 e

sconcat :: NonEmpty (Array DS Ix1 e) -> Array DS Ix1 e

stimes :: Integral b => b -> Array DS Ix1 e -> Array DS Ix1 e

Monoid (Array DL Ix1 e)

Defined in Data.Massiv.Array.Delayed.Push

Methods

mempty :: Array DL Ix1 e

mappend :: Array DL Ix1 e -> Array DL Ix1 e -> Array DL Ix1 e

mconcat :: [Array DL Ix1 e] -> Array DL Ix1 e

Monoid (Array DS Ix1 e)

Defined in Data.Massiv.Array.Delayed.Stream

Methods

mempty :: Array DS Ix1 e

mappend :: Array DS Ix1 e -> Array DS Ix1 e -> Array DS Ix1 e

mconcat :: [Array DS Ix1 e] -> Array DS Ix1 e

NFData ix => NFData (Array U ix e)

Defined in Data.Massiv.Array.Manifest.Unboxed

Methods

rnf :: Array U ix e -> ()

NFData ix => NFData (Array S ix e)

Defined in Data.Massiv.Array.Manifest.Storable

Methods

rnf :: Array S ix e -> ()

Index ix => NFData (Array P ix e)

Defined in Data.Massiv.Array.Manifest.Primitive

Methods

rnf :: Array P ix e -> ()

NFData (Array BN ix e)

O(1) - BN is already in normal form

Defined in Data.Massiv.Array.Manifest.Boxed

Methods

rnf :: Array BN ix e -> ()

(Index ix, NFData e) => NFData (Array B ix e)

Defined in Data.Massiv.Array.Manifest.Boxed

Methods

rnf :: Array B ix e -> ()

(Index ix, NFData e) => NFData (Array BL ix e)

Defined in Data.Massiv.Array.Manifest.Boxed

Methods

rnf :: Array BL ix e -> ()

data Array DL ix e

Defined in Data.Massiv.Array.Delayed.Push

data Array DL ix e = DLArray {

• dlComp :: !Comp
• dlSize :: !(Sz ix)
• dlLoad :: Loader e

}

data Array L ix e

Defined in Data.Massiv.Core.List

data Array L ix e = LArray {

• lComp :: Comp
• lData :: !(List ix e)

}

data Array D ix e

Defined in Data.Massiv.Array.Delayed.Pull

data Array D ix e = DArray {

• dComp :: !Comp
• dSize :: !(Sz ix)
• dIndex :: ix -> e

}

data Array U ix e

Defined in Data.Massiv.Array.Manifest.Unboxed

data Array U ix e = UArray {

• uComp :: !Comp
• uSize :: !(Sz ix)
• uData :: !(Vector e)

}

data Array S ix e

Defined in Data.Massiv.Array.Manifest.Storable

data Array S ix e = SArray {

• sComp :: !Comp
• sSize :: !(Sz ix)
• sData :: !(ForeignPtr e)

}

data Array P ix e

Defined in Data.Massiv.Array.Manifest.Primitive

data Array P ix e = PArray {

• pComp :: !Comp
• pSize :: !(Sz ix)
• pOffset :: !Int
• pData :: !ByteArray

}

newtype Array BN ix e

Defined in Data.Massiv.Array.Manifest.Boxed

newtype Array BN ix e = BNArray (Array BL ix e)

newtype Array B ix e

Defined in Data.Massiv.Array.Manifest.Boxed

newtype Array B ix e = BArray (Array BL ix e)

data Array BL ix e

Defined in Data.Massiv.Array.Manifest.Boxed

data Array BL ix e = BLArray {

• blComp :: !Comp
• blSize :: !(Sz ix)
• blOffset :: !Int
• blData :: !(Array e)

}

data Array DW ix e

Defined in Data.Massiv.Array.Delayed.Windowed

data Array DW ix e = DWArray {

• dwArray :: !(Array D ix e)
• dwWindow :: !(Maybe (Window ix e))

}

newtype Array DI ix e

Defined in Data.Massiv.Array.Delayed.Interleaved

newtype Array DI ix e = DIArray {

• diArray :: Array D ix e

}

newtype Array DS Ix1 e

Defined in Data.Massiv.Array.Delayed.Stream

newtype Array DS Ix1 e = DSArray {

• dsArray :: Steps Id e

}

type Item (Array L ix e)

Defined in Data.Massiv.Core.List

type Item (Array L ix e) = ListItem ix e

type Item (Array U ix e)

Defined in Data.Massiv.Array.Manifest.Unboxed

type Item (Array U ix e) = Item (Array L ix e)

type Item (Array S ix e)

Defined in Data.Massiv.Array.Manifest.Storable

type Item (Array S ix e) = Item (Array L ix e)

type Item (Array P ix e)

Defined in Data.Massiv.Array.Manifest.Primitive

type Item (Array P ix e) = Item (Array L ix e)

type Item (Array DS Ix1 e)

Defined in Data.Massiv.Array.Delayed.Stream

type Item (Array DS Ix1 e) = e

type Item (Array BN ix e)

Defined in Data.Massiv.Array.Manifest.Boxed

type Item (Array BN ix e) = Item (Array L ix e)

type Item (Array B ix e)

Defined in Data.Massiv.Array.Manifest.Boxed

type Item (Array B ix e) = Item (Array L ix e)

type Item (Array BL ix e)

Defined in Data.Massiv.Array.Manifest.Boxed

type Item (Array BL ix e) = Item (Array L ix e)

newtype List ix e

Constructors

List

Fields

• unList :: [Elt ix e]

Instances

Coercible (Elt ix e) (ListItem ix e) => IsList (List ix e)

Defined in Data.Massiv.Core.List

Associated Types

type Item (List ix e)

Methods

fromList :: [Item (List ix e)] -> List ix e

fromListN :: Int -> [Item (List ix e)] -> List ix e

toList :: List ix e -> [Item (List ix e)]

(Ragged L ix e, Show e) => Show (List ix e)

Defined in Data.Massiv.Core.List

Methods

showsPrec :: Int -> List ix e -> ShowS

show :: List ix e -> String

showList :: [List ix e] -> ShowS

type Item (List ix e)

Defined in Data.Massiv.Core.List

type Item (List ix e) = ListItem ix e

toListArray :: (Ragged L ix e, Shape r ix, Source r e) => Array r ix e -> Array L ix e

Construct an array backed by linked lists from any source array

Since: 0.4.0

showsArrayPrec

Arguments

:: forall r r' ix e. (Ragged L ix e, Load r ix e, Load r' ix e, Source r' e, Show e)

=> (Array r ix e -> Array r' ix e)

Modifier

-> Int

-> Array r ix e

-> ShowS

Helper function for declaring Show instances for arrays

Since: 0.4.0

showArrayList :: Show arr => [arr] -> String -> String

Helper function for declaring Show instances for arrays

Since: 0.4.0

type family ListItem ix e :: Type where ...

Equations

ListItem Ix1 e = e

ListItem ix e = [ListItem (Lower ix) e]