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

Data.Massiv.Core.List

Description

Synopsis

data LN
data L = L
data family Array r ix e :: *
toListArray :: (Construct L ix e, Source r ix e) => Array r ix e -> Array L ix e
showsArrayPrec :: forall r r' ix ix' e. (Ragged L ix' e, Load r ix e, Source r' ix' 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 :: * where ...

Documentation

data LN Source #

Instances

(Elt LN ix e ~ Array LN (Lower ix) e, ListItem ix e ~ [ListItem (Lower ix) e], Coercible (Elt LN ix e) (ListItem ix e)) => Nested LN ix e Source #
Instance details Defined in Data.Massiv.Core.List Methods fromNested :: NestedStruct LN ix e -> Array LN ix e Source # toNested :: Array LN ix e -> NestedStruct LN ix e Source #
Nested LN Ix1 e Source #
Instance details Defined in Data.Massiv.Core.List Methods fromNested :: NestedStruct LN Ix1 e -> Array LN Ix1 e Source # toNested :: Array LN Ix1 e -> NestedStruct LN Ix1 e Source #
(Index ix, Load L ix e, Ragged L ix e) => Load LN ix e Source #
Instance details Defined in Data.Massiv.Core.List Associated Types type R LN :: Type Source # Methods getComp :: Array LN ix e -> Comp Source # size :: Array LN ix e -> Sz ix Source # loadArrayM :: Monad m => Scheduler m () -> Array LN ix e -> (Int -> e -> m ()) -> m () Source # defaultElement :: Array LN ix e -> Maybe e Source # maxSize :: Array LN ix e -> Maybe (Sz ix) Source # isEmpty :: Array LN ix e -> Bool Source # unsafeLoadIntoS :: (Mutable r' ix e, PrimMonad m) => MArray (PrimState m) r' ix e -> Array LN ix e -> m (MArray (PrimState m) r' ix e) unsafeLoadInto :: (Mutable r' ix e, MonadIO m) => MArray RealWorld r' ix e -> Array LN ix e -> m (MArray RealWorld r' ix e)
Construct LN Ix1 e Source #
Instance details Defined in Data.Massiv.Core.List Methods setComp :: Comp -> Array LN Ix1 e -> Array LN Ix1 e Source # makeArray :: Comp -> Sz Ix1 -> (Ix1 -> e) -> Array LN Ix1 e Source # makeArrayLinear :: Comp -> Sz Ix1 -> (Int -> e) -> Array LN Ix1 e Source #
Stream LN Ix1 e Source #
Instance details Defined in Data.Massiv.Core.List Methods toStream :: Array LN Ix1 e -> Steps Id e Source # toStreamIx :: Array LN Ix1 e -> Steps Id (Ix1, e) Source #
Nested LN ix e => IsList (Array LN ix e) Source #
Instance details Defined in Data.Massiv.Core.List Associated Types type Item (Array LN ix e) :: Type # Methods fromList :: [Item (Array LN ix e)] -> Array LN ix e # fromListN :: Int -> [Item (Array LN ix e)] -> Array LN ix e # toList :: Array LN ix e -> [Item (Array LN ix e)] #
(Ragged L ix e, Show e) => Show (Array LN ix e) Source #
Instance details Defined in Data.Massiv.Core.List Methods showsPrec :: Int -> Array LN ix e -> ShowS # show :: Array LN ix e -> String # showList :: [Array LN ix e] -> ShowS #
type R LN Source #
Instance details Defined in Data.Massiv.Core.List type R LN = LN
newtype Array LN ix e Source #
Instance details Defined in Data.Massiv.Core.List newtype Array LN ix e = List { unList :: [Elt LN ix e] }
type NestedStruct LN ix e Source #
Instance details Defined in Data.Massiv.Core.List type NestedStruct LN ix e = [ListItem ix e]
type Item (Array LN ix e) Source #
Instance details Defined in Data.Massiv.Core.List type Item (Array LN ix e) = ListItem ix e

data L Source #

Constructors

L

Instances

(Index ix, Index (Lower ix), Ragged L (Lower ix) e, Elt L ix e ~ Array L (Lower ix) e, Elt LN ix e ~ Array LN (Lower ix) e, Coercible (Elt LN ix e) [Elt LN (Lower ix) e]) => Ragged L ix e Source #
Instance details Defined in Data.Massiv.Core.List Methods emptyR :: Comp -> Array L ix e isNull :: Array L ix e -> Bool consR :: Elt L ix e -> Array L ix e -> Array L ix e unconsR :: Array L ix e -> Maybe (Elt L ix e, Array L ix e) generateRaggedM :: Monad m => Comp -> Sz ix -> (ix -> m e) -> m (Array L ix e) edgeSize :: Array L ix e -> Sz ix flattenRagged :: Array L ix e -> Array L Ix1 e loadRagged :: Monad m => (m () -> m ()) -> (Int -> e -> m a) -> Int -> Int -> Sz ix -> Array L ix e -> m () raggedFormat :: (e -> String) -> String -> Array L ix e -> String
Ragged L Ix1 e Source #
Instance details Defined in Data.Massiv.Core.List Methods emptyR :: Comp -> Array L Ix1 e isNull :: Array L Ix1 e -> Bool consR :: Elt L Ix1 e -> Array L Ix1 e -> Array L Ix1 e unconsR :: Array L Ix1 e -> Maybe (Elt L Ix1 e, Array L Ix1 e) generateRaggedM :: Monad m => Comp -> Sz Ix1 -> (Ix1 -> m e) -> m (Array L Ix1 e) edgeSize :: Array L Ix1 e -> Sz Ix1 flattenRagged :: Array L Ix1 e -> Array L Ix1 e loadRagged :: Monad m => (m () -> m ()) -> (Int -> e -> m a) -> Int -> Int -> Sz Ix1 -> Array L Ix1 e -> m () raggedFormat :: (e -> String) -> String -> Array L Ix1 e -> String
Nested L ix e Source #
Instance details Defined in Data.Massiv.Core.List Methods fromNested :: NestedStruct L ix e -> Array L ix e Source # toNested :: Array L ix e -> NestedStruct L ix e Source #
Ragged L ix e => OuterSlice L ix e Source #
Instance details Defined in Data.Massiv.Core.List Methods unsafeOuterSlice :: Array L ix e -> Int -> Elt L ix e Source #
OuterSlice L Ix1 e Source #
Instance details Defined in Data.Massiv.Core.List Methods unsafeOuterSlice :: Array L Ix1 e -> Int -> Elt L Ix1 e Source #
(Index ix, Ragged L ix e) => Load L ix e Source #
Instance details Defined in Data.Massiv.Core.List Associated Types type R L :: Type Source # Methods getComp :: Array L ix e -> Comp Source # size :: Array L ix e -> Sz ix Source # loadArrayM :: Monad m => Scheduler m () -> Array L ix e -> (Int -> e -> m ()) -> m () Source # defaultElement :: Array L ix e -> Maybe e Source # maxSize :: Array L ix e -> Maybe (Sz ix) Source # isEmpty :: Array L ix e -> Bool Source # unsafeLoadIntoS :: (Mutable r' ix e, PrimMonad m) => MArray (PrimState m) r' ix e -> Array L ix e -> m (MArray (PrimState m) r' ix e) unsafeLoadInto :: (Mutable r' ix e, MonadIO m) => MArray RealWorld r' ix e -> Array L ix e -> m (MArray RealWorld r' ix e)
(Index ix, Ragged L ix e, Ragged L (Lower ix) e, Elt L ix e ~ Array L (Lower ix) e) => Construct L ix e Source #
Instance details Defined in Data.Massiv.Core.List Methods setComp :: Comp -> Array L ix e -> Array L ix e Source # makeArray :: Comp -> Sz ix -> (ix -> e) -> Array L ix e Source # makeArrayLinear :: Comp -> Sz ix -> (Int -> e) -> Array L ix e Source #
Construct L Ix1 e Source #
Instance details Defined in Data.Massiv.Core.List Methods setComp :: Comp -> Array L Ix1 e -> Array L Ix1 e Source # makeArray :: Comp -> Sz Ix1 -> (Ix1 -> e) -> Array L Ix1 e Source # makeArrayLinear :: Comp -> Sz Ix1 -> (Int -> e) -> Array L Ix1 e Source #
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 #
Nested LN ix e => IsList (Array L ix e) Source #
Instance details Defined in Data.Massiv.Core.List Associated Types type Item (Array L ix e) :: Type # 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 #
type R L Source #
Instance details Defined in Data.Massiv.Core.List type R L = L
data Array L ix e Source #
Instance details Defined in Data.Massiv.Core.List data Array L ix e = LArray { lComp :: Comp lData :: !(Array LN ix e) }
type NestedStruct L ix e Source #
Instance details Defined in Data.Massiv.Core.List type NestedStruct L ix e = Array LN 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 :: * Source #

The array family. Representations r describes how data is arranged or computed. All arrays have a common property that each index ix always maps to the same unique element, even if that element does not exist in memory and has to be computed upon lookup. Data is always arranged in a nested fashion, depth of which is controlled by Rank ix.

Instances

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 # fail :: String -> Array DS Ix1 a #
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 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 #
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 #
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 #
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 #
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 #
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 #
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 => 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 # 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 #
Index ix => Foldable (Array M ix) Source #	Row-major sequentia folding over a Manifest array.
Instance details Defined in Data.Massiv.Array.Manifest.Internal Methods fold :: Monoid m => Array M ix m -> m # foldMap :: Monoid m => (a -> m) -> Array M ix a -> m # foldr :: (a -> b -> b) -> b -> Array M ix a -> b # foldr' :: (a -> b -> b) -> b -> Array M ix a -> b # foldl :: (b -> a -> b) -> b -> Array M ix a -> b # foldl' :: (b -> a -> b) -> b -> Array M ix a -> b # foldr1 :: (a -> a -> a) -> Array M ix a -> a # foldl1 :: (a -> a -> a) -> Array M ix a -> a # toList :: Array M ix a -> [a] # null :: Array M ix a -> Bool # length :: Array M ix a -> Int # elem :: Eq a => a -> Array M ix a -> Bool # maximum :: Ord a => Array M ix a -> a # minimum :: Ord a => Array M ix a -> a # sum :: Num a => Array M ix a -> a # product :: Num a => Array M 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 # 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 # 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 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 # 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) 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) #
Nested LN ix e => IsList (Array L ix e) Source #
Instance details Defined in Data.Massiv.Core.List Associated Types type Item (Array L ix e) :: Type # 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)] #
Nested LN ix e => IsList (Array LN ix e) Source #
Instance details Defined in Data.Massiv.Core.List Associated Types type Item (Array LN ix e) :: Type # Methods fromList :: [Item (Array LN ix e)] -> Array LN ix e # fromListN :: Int -> [Item (Array LN ix e)] -> Array LN ix e # toList :: Array LN ix e -> [Item (Array LN ix e)] #
(Unbox e, IsList (Array L ix e), Nested LN ix e, Nested 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) :: Type # 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)] #
(Prim e, IsList (Array L ix e), Nested LN ix e, Nested 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) :: Type # 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), Nested LN ix e, Nested 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) :: Type # 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)] #
IsList (Array DS Ix1 e) Source #
Instance details Defined in Data.Massiv.Array.Delayed.Stream Associated Types type Item (Array DS Ix1 e) :: Type # 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), Nested LN ix e, Nested L ix e, Ragged L ix e) => IsList (Array N ix e) Source #
Instance details Defined in Data.Massiv.Array.Manifest.Boxed Associated Types type Item (Array N ix e) :: Type # Methods fromList :: [Item (Array N ix e)] -> Array N ix e # fromListN :: Int -> [Item (Array N ix e)] -> Array N ix e # toList :: Array N ix e -> [Item (Array N ix e)] #
(IsList (Array L ix e), Nested LN ix e, Nested 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) :: Type # 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)] #
(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 #
(Eq e, Index ix) => Eq (Array M ix e) Source #
Instance details Defined in Data.Massiv.Array.Manifest.Internal Methods (==) :: Array M ix e -> Array M ix e -> Bool # (/=) :: Array M ix e -> Array M 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 #
(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 #
(Index ix, NFData e, Eq e) => Eq (Array N ix e) Source #
Instance details Defined in Data.Massiv.Array.Manifest.Boxed Methods (==) :: Array N ix e -> Array N ix e -> Bool # (/=) :: Array N ix e -> Array N 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 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 #
(Index ix, Floating e) => Floating (Array D ix e) Source #
Instance details Defined in Data.Massiv.Array.Delayed.Pull Methods pi :: Array D ix e # exp :: Array D ix e -> Array D ix e # log :: Array D ix e -> Array D ix e # sqrt :: Array D ix e -> Array D ix e # (**) :: Array D ix e -> Array D ix e -> Array D ix e # logBase :: Array D ix e -> Array D ix e -> Array D ix e # sin :: Array D ix e -> Array D ix e # cos :: Array D ix e -> Array D ix e # tan :: Array D ix e -> Array D ix e # asin :: Array D ix e -> Array D ix e # acos :: Array D ix e -> Array D ix e # atan :: Array D ix e -> Array D ix e # sinh :: Array D ix e -> Array D ix e # cosh :: Array D ix e -> Array D ix e # tanh :: Array D ix e -> Array D ix e # asinh :: Array D ix e -> Array D ix e # acosh :: Array D ix e -> Array D ix e # atanh :: Array D ix e -> Array D ix e # log1p :: Array D ix e -> Array D ix e # expm1 :: Array D ix e -> Array D ix e # log1pexp :: Array D ix e -> Array D ix e # log1mexp :: Array D ix e -> Array D ix e #
(Index ix, Floating e) => Floating (Array DI ix e) Source #
Instance details Defined in Data.Massiv.Array.Delayed.Interleaved Methods pi :: Array DI ix e # exp :: Array DI ix e -> Array DI ix e # log :: Array DI ix e -> Array DI ix e # sqrt :: Array DI ix e -> Array DI ix e # (**) :: Array DI ix e -> Array DI ix e -> Array DI ix e # logBase :: Array DI ix e -> Array DI ix e -> Array DI ix e # sin :: Array DI ix e -> Array DI ix e # cos :: Array DI ix e -> Array DI ix e # tan :: Array DI ix e -> Array DI ix e # asin :: Array DI ix e -> Array DI ix e # acos :: Array DI ix e -> Array DI ix e # atan :: Array DI ix e -> Array DI ix e # sinh :: Array DI ix e -> Array DI ix e # cosh :: Array DI ix e -> Array DI ix e # tanh :: Array DI ix e -> Array DI ix e # asinh :: Array DI ix e -> Array DI ix e # acosh :: Array DI ix e -> Array DI ix e # atanh :: Array DI ix e -> Array DI ix e # log1p :: Array DI ix e -> Array DI ix e # expm1 :: Array DI ix e -> Array DI ix e # log1pexp :: Array DI ix e -> Array DI ix e # log1mexp :: Array DI ix e -> Array DI ix e #
(Index ix, Fractional e) => Fractional (Array D ix e) Source #
Instance details Defined in Data.Massiv.Array.Delayed.Pull Methods (/) :: Array D ix e -> Array D ix e -> Array D ix e # recip :: Array D ix e -> Array D ix e # fromRational :: Rational -> Array D ix e #
(Index ix, Fractional e) => Fractional (Array DI ix e) Source #
Instance details Defined in Data.Massiv.Array.Delayed.Interleaved Methods (/) :: Array DI ix e -> Array DI ix e -> Array DI ix e # recip :: Array DI ix e -> Array DI ix e # fromRational :: Rational -> Array DI ix e #
(Index ix, Num e) => Num (Array D ix e) Source #
Instance details Defined in Data.Massiv.Array.Delayed.Pull Methods (+) :: Array D ix e -> Array D ix e -> Array D ix e # (-) :: Array D ix e -> Array D ix e -> Array D ix e # (*) :: Array D ix e -> Array D ix e -> Array D ix e # negate :: Array D ix e -> Array D ix e # abs :: Array D ix e -> Array D ix e # signum :: Array D ix e -> Array D ix e # fromInteger :: Integer -> Array D ix e #
(Index ix, Num e) => Num (Array DI ix e) Source #
Instance details Defined in Data.Massiv.Array.Delayed.Interleaved Methods (+) :: Array DI ix e -> Array DI ix e -> Array DI ix e # (-) :: Array DI ix e -> Array DI ix e -> Array DI ix e # (*) :: Array DI ix e -> Array DI ix e -> Array DI ix e # negate :: Array DI ix e -> Array DI ix e # abs :: Array DI ix e -> Array DI ix e # signum :: Array DI ix e -> Array DI ix e # fromInteger :: Integer -> 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 #
(Ord e, Index ix) => Ord (Array M ix e) Source #
Instance details Defined in Data.Massiv.Array.Manifest.Internal Methods compare :: Array M ix e -> Array M ix e -> Ordering # (<) :: Array M ix e -> Array M ix e -> Bool # (<=) :: Array M ix e -> Array M ix e -> Bool # (>) :: Array M ix e -> Array M ix e -> Bool # (>=) :: Array M ix e -> Array M ix e -> Bool # max :: Array M ix e -> Array M ix e -> Array M ix e # min :: Array M ix e -> Array M ix e -> Array M 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 #
(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 #
(Index ix, NFData e, Ord e) => Ord (Array N ix e) Source #
Instance details Defined in Data.Massiv.Array.Manifest.Boxed Methods compare :: Array N ix e -> Array N ix e -> Ordering # (<) :: Array N ix e -> Array N ix e -> Bool # (<=) :: Array N ix e -> Array N ix e -> Bool # (>) :: Array N ix e -> Array N ix e -> Bool # (>=) :: Array N ix e -> Array N ix e -> Bool # max :: Array N ix e -> Array N ix e -> Array N ix e # min :: Array N ix e -> Array N ix e -> Array N 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 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 #
(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 #
(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 #
(Ragged L ix e, Show e) => Show (Array LN ix e) Source #
Instance details Defined in Data.Massiv.Core.List Methods showsPrec :: Int -> Array LN ix e -> ShowS # show :: Array LN ix e -> String # showList :: [Array LN 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 M ix e) Source #
Instance details Defined in Data.Massiv.Array.Manifest.Internal Methods showsPrec :: Int -> Array M ix e -> ShowS # show :: Array M ix e -> String # showList :: [Array M 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, 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 #
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, Show e, NFData e) => Show (Array N ix e) Source #
Instance details Defined in Data.Massiv.Array.Manifest.Boxed Methods showsPrec :: Int -> Array N ix e -> ShowS # show :: Array N ix e -> String # showList :: [Array N 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, 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 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 #
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 #
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 #
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 => 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 -> () #
(Index ix, NFData e) => NFData (Array N ix e) Source #
Instance details Defined in Data.Massiv.Array.Manifest.Boxed Methods rnf :: Array N ix e -> () #
(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 -> () #
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) dlDefault :: !(Maybe e) dlLoad :: forall (m :: Type -> Type). Monad m => Scheduler m () -> Int -> (Int -> e -> m ()) -> m () }
data Array L ix e Source #
Instance details Defined in Data.Massiv.Core.List data Array L ix e = LArray { lComp :: Comp lData :: !(Array LN ix e) }
newtype Array LN ix e Source #
Instance details Defined in Data.Massiv.Core.List newtype Array LN ix e = List { unList :: [Elt LN 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) dIndex :: ix -> e }
data Array M ix e Source #
Instance details Defined in Data.Massiv.Array.Manifest.Internal data Array M ix e = MArray { mComp :: !Comp mSize :: !(Sz ix) mLinearIndex :: Int -> 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 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 :: !(Vector e) }
newtype Array N ix e Source #
Instance details Defined in Data.Massiv.Array.Manifest.Boxed newtype Array N ix e = NArray { bArray :: Array B ix e }
data Array B ix e Source #
Instance details Defined in Data.Massiv.Array.Manifest.Boxed data Array B ix e = BArray { bComp :: !Comp bSize :: !(Sz ix) bOffset :: !Int bData :: !(Array 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 DI ix e Source #
Instance details Defined in Data.Massiv.Array.Delayed.Interleaved newtype Array DI ix e = DIArray { diArray :: Array D 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 L ix e) Source #
Instance details Defined in Data.Massiv.Core.List type Item (Array L ix e) = ListItem ix e
type Item (Array LN ix e) Source #
Instance details Defined in Data.Massiv.Core.List type Item (Array LN ix e) = ListItem 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 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 DS Ix1 e) Source #
Instance details Defined in Data.Massiv.Array.Delayed.Stream type Item (Array DS Ix1 e) = e
type Item (Array N ix e) Source #
Instance details Defined in Data.Massiv.Array.Manifest.Boxed type Item (Array N ix e) = Item (Array L ix 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)

toListArray :: (Construct L ix e, Source r ix 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

:: (Ragged L ix' e, Load r ix e, Source r' ix' 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 :: * where ... Source #

Equations

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