Copyright	(c) Alexey Kuleshevich 2018-2022
License	BSD3
Maintainer	Alexey Kuleshevich <lehins@yandex.ru>
Stability	experimental
Portability	non-portable
Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.Massiv.Core.List

Description

Synopsis

data L = L
data family Array r ix e :: Type
newtype List ix e = List {
- unList :: [Elt ix e]
}
toListArray :: (Ragged L ix e, Shape r ix, Source r e) => Array r ix e -> Array L ix e
showsArrayPrec :: 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) -> Int -> Array r ix e -> ShowS
showArrayList :: Show arr => [arr] -> String -> String
type family ListItem ix e :: Type where ...

Documentation

data L Source #

Constructors

L

Instances

Instances details

Strategy L Source #
Instance details Defined in Data.Massiv.Core.List Methods setComp :: Comp -> Array L ix e -> Array L ix e Source # getComp :: Array L ix e -> Comp Source # repr :: L
Shape L Ix1 Source #
Instance details Defined in Data.Massiv.Core.List Methods linearSizeHint :: Array L Ix1 e -> LengthHint Source # linearSize :: Array L Ix1 e -> Sz1 Source # outerSize :: Array L Ix1 e -> Sz Ix1 Source # maxLinearSize :: Array L Ix1 e -> Maybe Sz1 Source # isNull :: Array L Ix1 e -> Bool Source #
Shape L Ix2 Source #
Instance details Defined in Data.Massiv.Core.List Methods linearSizeHint :: Array L Ix2 e -> LengthHint Source # linearSize :: Array L Ix2 e -> Sz1 Source # outerSize :: Array L Ix2 e -> Sz Ix2 Source # maxLinearSize :: Array L Ix2 e -> Maybe Sz1 Source # isNull :: Array L Ix2 e -> Bool Source #
(Shape L ix, Ragged L ix e) => Load L ix e Source #
Instance details Defined in Data.Massiv.Core.List Methods makeArray :: Comp -> Sz ix -> (ix -> e) -> Array L ix e Source # makeArrayLinear :: Comp -> Sz ix -> (Int -> e) -> Array L ix e Source # replicate :: Comp -> Sz ix -> e -> Array L ix e Source # iterArrayLinearST_ :: Scheduler s () -> Array L ix e -> (Int -> e -> ST s ()) -> ST s () Source # iterArrayLinearWithSetST_ :: Scheduler s () -> Array L ix e -> (Ix1 -> e -> ST s ()) -> (Ix1 -> Sz1 -> e -> ST s ()) -> ST s () Source # unsafeLoadIntoST :: Manifest r' e => MVector s r' e -> Array L ix e -> ST s (MArray s r' ix e) Source # unsafeLoadIntoIO :: Manifest r' e => MVector RealWorld r' e -> Array L ix e -> IO (MArray RealWorld r' ix e) Source #
Ragged L Ix1 e Source #
Instance details 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 Source #
Instance details 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
Stream L Ix1 e Source #
Instance details Defined in Data.Massiv.Core.List Methods toStream :: Array L Ix1 e -> Steps Id e Source # toStreamIx :: Array L Ix1 e -> Steps Id (Ix1, e) Source #
(Shape L (Ix (n - 1)), Index (IxN n)) => Shape L (IxN n) Source #
Instance details Defined in Data.Massiv.Core.List Methods linearSizeHint :: Array L (IxN n) e -> LengthHint Source # linearSize :: Array L (IxN n) e -> Sz1 Source # outerSize :: Array L (IxN n) e -> Sz (IxN n) Source # maxLinearSize :: Array L (IxN n) e -> Maybe Sz1 Source # isNull :: Array L (IxN n) e -> Bool Source #
(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 Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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 Source #
Instance details Defined in Data.Massiv.Core.List data Array L ix e = LArray { lComp :: Comp lData :: !(List ix e) }
type Item (Array L ix e) Source #
Instance details Defined in Data.Massiv.Core.List type Item (Array L ix e) = ListItem ix e

data family Array r ix e :: Type Source #

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

Instances details

Index ix => Foldable (Array DI ix) Source #
Instance details 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 => Foldable (Array D ix) Source #	Row-major sequential folding over a Delayed array.
Instance details 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) Source #
Instance details 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) Source #	Row-major sequential folding over a Boxed array.
Instance details 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) Source #	Row-major sequential folding over a Boxed array.
Instance details 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 => Traversable (Array B ix) Source #
Instance details 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) Source #
Instance details 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) #
Index ix => Applicative (Array DI ix) Source #
Instance details 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 => Applicative (Array D ix) Source #
Instance details 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) Source #
Instance details 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 #
Functor (Array DI ix) Source #
Instance details 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 #
Functor (Array D ix) Source #
Instance details 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 #
Index ix => Functor (Array DL ix) Source #
Instance details 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 DS Ix1) Source #
Instance details 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 #
Functor (Array DW ix) Source #
Instance details 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 #
Index ix => Functor (Array B ix) Source #
Instance details 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) Source #
Instance details 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 #
Monad (Array DS Ix1) Source #
Instance details 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 #
Monoid (Array DL Ix1 e) Source #
Instance details 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) Source #
Instance details 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 #
Semigroup (Array DL Ix1 e) Source #
Instance details 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) Source #
Instance details 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 #
IsList (Array DS Ix1 e) Source #
Instance details 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)] #
(IsList (Array L ix e), Ragged L ix e) => IsList (Array B ix e) Source #
Instance details 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) Source #
Instance details 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)] #
(NFData e, IsList (Array L ix e), Ragged L ix e) => IsList (Array BN ix e) Source #
Instance details 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)] #
(Prim e, IsList (Array L ix e), Ragged L ix e) => IsList (Array P ix e) Source #
Instance details 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)] #
(Storable e, IsList (Array L ix e), Ragged L ix e) => IsList (Array S ix e) Source #
Instance details 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)] #
(Unbox e, IsList (Array L ix e), Ragged L ix e) => IsList (Array U ix e) Source #
Instance details 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)] #
Coercible (Elt ix e) (ListItem ix e) => IsList (Array L ix e) Source #
Instance details 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 DI ix e) Source #
Instance details 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 #
(Ragged L ix e, Show e) => Show (Array D ix e) Source #
Instance details 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) => Show (Array DL ix e) Source #
Instance details 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 #
Show e => Show (Array DS Ix1 e) Source #
Instance details 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, Load DW ix e, Show e) => Show (Array DW ix e) Source #
Instance details 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 B ix e) Source #
Instance details 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) Source #
Instance details 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, Show e, NFData e) => Show (Array BN ix e) Source #
Instance details 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, Prim e) => Show (Array P ix e) Source #
Instance details 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 #
(Ragged L ix e, Show e, Storable e) => Show (Array S ix e) Source #
Instance details 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, Unbox e) => Show (Array U ix e) Source #
Instance details 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) => Show (Array L ix e) Source #
Instance details 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 #
(Index ix, NFData e) => NFData (Array B ix e) Source #
Instance details Defined in Data.Massiv.Array.Manifest.Boxed Methods rnf :: Array B ix e -> () #
(Index ix, NFData e) => NFData (Array BL ix e) Source #
Instance details Defined in Data.Massiv.Array.Manifest.Boxed Methods rnf :: Array BL ix e -> () #
NFData (Array BN ix e) Source #	O(1) - `BN` is already in normal form
Instance details Defined in Data.Massiv.Array.Manifest.Boxed Methods rnf :: Array BN ix e -> () #
Index ix => NFData (Array P ix e) Source #
Instance details Defined in Data.Massiv.Array.Manifest.Primitive Methods rnf :: Array P ix e -> () #
NFData ix => NFData (Array S ix e) Source #
Instance details Defined in Data.Massiv.Array.Manifest.Storable Methods rnf :: Array S ix e -> () #
NFData ix => NFData (Array U ix e) Source #
Instance details Defined in Data.Massiv.Array.Manifest.Unboxed Methods rnf :: Array U ix e -> () #
(Index ix, Eq e) => Eq (Array DI ix e) Source #
Instance details 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 #
(Eq e, Index ix) => Eq (Array D ix e) Source #
Instance details 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 #
(Index ix, Eq e) => Eq (Array B ix e) Source #
Instance details 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) Source #
Instance details 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, NFData e, Eq e) => Eq (Array BN ix e) Source #
Instance details 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 #
(Prim e, Eq e, Index ix) => Eq (Array P ix e) Source #
Instance details 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 #
(Storable e, Eq e, Index ix) => Eq (Array S ix e) Source #
Instance details 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 #
(Unbox e, Eq e, Index ix) => Eq (Array U ix e) Source #
Instance details 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 #
(Index ix, Ord e) => Ord (Array DI ix e) Source #
Instance details 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 #
(Ord e, Index ix) => Ord (Array D ix e) Source #
Instance details 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 #
(Index ix, Ord e) => Ord (Array B ix e) Source #
Instance details 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) Source #
Instance details 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, NFData e, Ord e) => Ord (Array BN ix e) Source #
Instance details 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 #
(Prim e, Ord e, Index ix) => Ord (Array P ix e) Source #
Instance details 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 #
(Storable e, Ord e, Index ix) => Ord (Array S ix e) Source #
Instance details 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 #
(Unbox e, Ord e, Index ix) => Ord (Array U ix e) Source #
Instance details 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 #
newtype Array DI ix e Source #
Instance details Defined in Data.Massiv.Array.Delayed.Interleaved newtype Array DI ix e = DIArray { diArray :: Array D ix e }
data Array D ix e Source #
Instance details Defined in Data.Massiv.Array.Delayed.Pull data Array D ix e = DArray { dComp :: !Comp dSize :: !(Sz ix) dPrefIndex :: !(PrefIndex ix e) }
data Array DL ix e Source #
Instance details Defined in Data.Massiv.Array.Delayed.Push data Array DL ix e = DLArray { dlComp :: !Comp dlSize :: !(Sz ix) dlLoad :: Loader e }
data Array DW ix e Source #
Instance details 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 B ix e Source #
Instance details Defined in Data.Massiv.Array.Manifest.Boxed newtype Array B ix e = BArray (Array BL ix e)
data Array BL ix e Source #
Instance details Defined in Data.Massiv.Array.Manifest.Boxed data Array BL ix e = BLArray { blComp :: !Comp blSize :: !(Sz ix) blOffset :: !Int blData :: !(Array e) }
newtype Array BN ix e Source #
Instance details Defined in Data.Massiv.Array.Manifest.Boxed newtype Array BN ix e = BNArray (Array BL ix e)
data Array P ix e Source #
Instance details Defined in Data.Massiv.Array.Manifest.Primitive data Array P ix e = PArray { pComp :: !Comp pSize :: !(Sz ix) pOffset :: !Int pData :: !ByteArray }
data Array S ix e Source #
Instance details Defined in Data.Massiv.Array.Manifest.Storable data Array S ix e = SArray { sComp :: !Comp sSize :: !(Sz ix) sData :: !(ForeignPtr e) }
data Array U ix e Source #
Instance details Defined in Data.Massiv.Array.Manifest.Unboxed data Array U ix e = UArray { uComp :: !Comp uSize :: !(Sz ix) uData :: !(Vector e) }
data Array L ix e Source #
Instance details Defined in Data.Massiv.Core.List data Array L ix e = LArray { lComp :: Comp lData :: !(List ix e) }
newtype Array DS Ix1 e Source #
Instance details Defined in Data.Massiv.Array.Delayed.Stream newtype Array DS Ix1 e = DSArray { dsArray :: Steps Id e }
type Item (Array DS Ix1 e) Source #
Instance details Defined in Data.Massiv.Array.Delayed.Stream type Item (Array DS Ix1 e) = e
type Item (Array B ix e) Source #
Instance details Defined in Data.Massiv.Array.Manifest.Boxed type Item (Array B ix e) = Item (Array L ix e)
type Item (Array BL ix e) Source #
Instance details Defined in Data.Massiv.Array.Manifest.Boxed type Item (Array BL ix e) = Item (Array L ix e)
type Item (Array BN ix e) Source #
Instance details Defined in Data.Massiv.Array.Manifest.Boxed type Item (Array BN ix e) = Item (Array L ix e)
type Item (Array P ix e) Source #
Instance details Defined in Data.Massiv.Array.Manifest.Primitive type Item (Array P ix e) = Item (Array L ix e)
type Item (Array S ix e) Source #
Instance details Defined in Data.Massiv.Array.Manifest.Storable type Item (Array S ix e) = Item (Array L ix e)
type Item (Array U ix e) Source #
Instance details Defined in Data.Massiv.Array.Manifest.Unboxed type Item (Array U ix e) = Item (Array L ix e)
type Item (Array L ix e) Source #
Instance details Defined in Data.Massiv.Core.List type Item (Array L ix e) = ListItem ix e

newtype List ix e Source #

Constructors

List
Fields unList :: [Elt ix e]

Instances

Instances details

Coercible (Elt ix e) (ListItem ix e) => IsList (List ix e) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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 Source #

Construct an array backed by linked lists from any source array

Since: 0.4.0

showsArrayPrec Source #

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 Source #

Helper function for declaring Show instances for arrays

Since: 0.4.0

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

Equations

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