Safe Haskell	None
Language	Haskell2010

Data.Primitive.SmallArray.Maybe

Description

This provides an interface to working with boxed arrays with elements of type Maybe a. That is:

SmallMaybeArray a ≅ SmallArray (Maybe a)

However, this type provided by this module is more efficient than its naive SmallArray counterpart. It consumes less memory and has fewer heap indirections.

Synopsis

data SmallMaybeArray a
data SmallMutableMaybeArray s a
indexSmallMaybeArray :: SmallMaybeArray a -> Int -> Maybe a
newSmallMaybeArray :: PrimMonad m => Int -> Maybe a -> m (SmallMutableMaybeArray (PrimState m) a)
readSmallMaybeArray :: PrimMonad m => SmallMutableMaybeArray (PrimState m) a -> Int -> m (Maybe a)
writeSmallMaybeArray :: PrimMonad m => SmallMutableMaybeArray (PrimState m) a -> Int -> Maybe a -> m ()
sequenceSmallMaybeArray :: SmallMaybeArray a -> Maybe (SmallArray a)
unsafeFreezeSmallMaybeArray :: PrimMonad m => SmallMutableMaybeArray (PrimState m) a -> m (SmallMaybeArray a)
thawSmallMaybeArray :: PrimMonad m => SmallMaybeArray a -> Int -> Int -> m (SmallMutableMaybeArray (PrimState m) a)
smallMaybeArrayFromList :: [a] -> SmallMaybeArray a
smallMaybeArrayFromListN :: Int -> [a] -> SmallMaybeArray a
sizeofSmallMaybeArray :: SmallMaybeArray a -> Int

Documentation

data SmallMaybeArray a Source #

An immutable array of boxed values of type Maybe a.

Instances

Monad SmallMaybeArray Source #
Instance details Defined in Data.Primitive.SmallArray.Maybe Methods (>>=) :: SmallMaybeArray a -> (a -> SmallMaybeArray b) -> SmallMaybeArray b # (>>) :: SmallMaybeArray a -> SmallMaybeArray b -> SmallMaybeArray b # return :: a -> SmallMaybeArray a # fail :: String -> SmallMaybeArray a #
Functor SmallMaybeArray Source #
Instance details Defined in Data.Primitive.SmallArray.Maybe Methods fmap :: (a -> b) -> SmallMaybeArray a -> SmallMaybeArray b # (<$) :: a -> SmallMaybeArray b -> SmallMaybeArray a #
MonadFail SmallMaybeArray Source #
Instance details Defined in Data.Primitive.SmallArray.Maybe Methods fail :: String -> SmallMaybeArray a #
Applicative SmallMaybeArray Source #
Instance details Defined in Data.Primitive.SmallArray.Maybe Methods pure :: a -> SmallMaybeArray a # (<>) :: SmallMaybeArray (a -> b) -> SmallMaybeArray a -> SmallMaybeArray b # liftA2 :: (a -> b -> c) -> SmallMaybeArray a -> SmallMaybeArray b -> SmallMaybeArray c # (>) :: SmallMaybeArray a -> SmallMaybeArray b -> SmallMaybeArray b # (<*) :: SmallMaybeArray a -> SmallMaybeArray b -> SmallMaybeArray a #
Foldable SmallMaybeArray Source #
Instance details Defined in Data.Primitive.SmallArray.Maybe Methods fold :: Monoid m => SmallMaybeArray m -> m # foldMap :: Monoid m => (a -> m) -> SmallMaybeArray a -> m # foldr :: (a -> b -> b) -> b -> SmallMaybeArray a -> b # foldr' :: (a -> b -> b) -> b -> SmallMaybeArray a -> b # foldl :: (b -> a -> b) -> b -> SmallMaybeArray a -> b # foldl' :: (b -> a -> b) -> b -> SmallMaybeArray a -> b # foldr1 :: (a -> a -> a) -> SmallMaybeArray a -> a # foldl1 :: (a -> a -> a) -> SmallMaybeArray a -> a # toList :: SmallMaybeArray a -> [a] # null :: SmallMaybeArray a -> Bool # length :: SmallMaybeArray a -> Int # elem :: Eq a => a -> SmallMaybeArray a -> Bool # maximum :: Ord a => SmallMaybeArray a -> a # minimum :: Ord a => SmallMaybeArray a -> a # sum :: Num a => SmallMaybeArray a -> a # product :: Num a => SmallMaybeArray a -> a #
Traversable SmallMaybeArray Source #
Instance details Defined in Data.Primitive.SmallArray.Maybe Methods traverse :: Applicative f => (a -> f b) -> SmallMaybeArray a -> f (SmallMaybeArray b) # sequenceA :: Applicative f => SmallMaybeArray (f a) -> f (SmallMaybeArray a) # mapM :: Monad m => (a -> m b) -> SmallMaybeArray a -> m (SmallMaybeArray b) # sequence :: Monad m => SmallMaybeArray (m a) -> m (SmallMaybeArray a) #
Eq1 SmallMaybeArray Source #
Instance details Defined in Data.Primitive.SmallArray.Maybe Methods liftEq :: (a -> b -> Bool) -> SmallMaybeArray a -> SmallMaybeArray b -> Bool #
Ord1 SmallMaybeArray Source #
Instance details Defined in Data.Primitive.SmallArray.Maybe Methods liftCompare :: (a -> b -> Ordering) -> SmallMaybeArray a -> SmallMaybeArray b -> Ordering #
Read1 SmallMaybeArray Source #
Instance details Defined in Data.Primitive.SmallArray.Maybe Methods liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (SmallMaybeArray a) # liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [SmallMaybeArray a] # liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (SmallMaybeArray a) # liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [SmallMaybeArray a] #
Show1 SmallMaybeArray Source #
Instance details Defined in Data.Primitive.SmallArray.Maybe Methods liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> SmallMaybeArray a -> ShowS # liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [SmallMaybeArray a] -> ShowS #
MonadZip SmallMaybeArray Source #
Instance details Defined in Data.Primitive.SmallArray.Maybe Methods mzip :: SmallMaybeArray a -> SmallMaybeArray b -> SmallMaybeArray (a, b) # mzipWith :: (a -> b -> c) -> SmallMaybeArray a -> SmallMaybeArray b -> SmallMaybeArray c # munzip :: SmallMaybeArray (a, b) -> (SmallMaybeArray a, SmallMaybeArray b) #
Alternative SmallMaybeArray Source #
Instance details Defined in Data.Primitive.SmallArray.Maybe Methods empty :: SmallMaybeArray a # (<\|>) :: SmallMaybeArray a -> SmallMaybeArray a -> SmallMaybeArray a # some :: SmallMaybeArray a -> SmallMaybeArray [a] # many :: SmallMaybeArray a -> SmallMaybeArray [a] #
MonadPlus SmallMaybeArray Source #
Instance details Defined in Data.Primitive.SmallArray.Maybe Methods mzero :: SmallMaybeArray a # mplus :: SmallMaybeArray a -> SmallMaybeArray a -> SmallMaybeArray a #
IsList (SmallMaybeArray a) Source #
Instance details Defined in Data.Primitive.SmallArray.Maybe Associated Types type Item (SmallMaybeArray a) :: * # Methods fromList :: [Item (SmallMaybeArray a)] -> SmallMaybeArray a # fromListN :: Int -> [Item (SmallMaybeArray a)] -> SmallMaybeArray a # toList :: SmallMaybeArray a -> [Item (SmallMaybeArray a)] #
Eq a => Eq (SmallMaybeArray a) Source #
Instance details Defined in Data.Primitive.SmallArray.Maybe Methods (==) :: SmallMaybeArray a -> SmallMaybeArray a -> Bool # (/=) :: SmallMaybeArray a -> SmallMaybeArray a -> Bool #
Data a => Data (SmallMaybeArray a) Source #
Instance details Defined in Data.Primitive.SmallArray.Maybe Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SmallMaybeArray a -> c (SmallMaybeArray a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (SmallMaybeArray a) # toConstr :: SmallMaybeArray a -> Constr # dataTypeOf :: SmallMaybeArray a -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (SmallMaybeArray a)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (SmallMaybeArray a)) # gmapT :: (forall b. Data b => b -> b) -> SmallMaybeArray a -> SmallMaybeArray a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SmallMaybeArray a -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SmallMaybeArray a -> r # gmapQ :: (forall d. Data d => d -> u) -> SmallMaybeArray a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> SmallMaybeArray a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> SmallMaybeArray a -> m (SmallMaybeArray a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SmallMaybeArray a -> m (SmallMaybeArray a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SmallMaybeArray a -> m (SmallMaybeArray a) #
Ord a => Ord (SmallMaybeArray a) Source #
Instance details Defined in Data.Primitive.SmallArray.Maybe Methods compare :: SmallMaybeArray a -> SmallMaybeArray a -> Ordering # (<) :: SmallMaybeArray a -> SmallMaybeArray a -> Bool # (<=) :: SmallMaybeArray a -> SmallMaybeArray a -> Bool # (>) :: SmallMaybeArray a -> SmallMaybeArray a -> Bool # (>=) :: SmallMaybeArray a -> SmallMaybeArray a -> Bool # max :: SmallMaybeArray a -> SmallMaybeArray a -> SmallMaybeArray a # min :: SmallMaybeArray a -> SmallMaybeArray a -> SmallMaybeArray a #
Read a => Read (SmallMaybeArray a) Source #
Instance details Defined in Data.Primitive.SmallArray.Maybe Methods readsPrec :: Int -> ReadS (SmallMaybeArray a) # readList :: ReadS [SmallMaybeArray a] # readPrec :: ReadPrec (SmallMaybeArray a) # readListPrec :: ReadPrec [SmallMaybeArray a] #
Show a => Show (SmallMaybeArray a) Source #
Instance details Defined in Data.Primitive.SmallArray.Maybe Methods showsPrec :: Int -> SmallMaybeArray a -> ShowS # show :: SmallMaybeArray a -> String # showList :: [SmallMaybeArray a] -> ShowS #
Semigroup (SmallMaybeArray a) Source #
Instance details Defined in Data.Primitive.SmallArray.Maybe Methods (<>) :: SmallMaybeArray a -> SmallMaybeArray a -> SmallMaybeArray a # sconcat :: NonEmpty (SmallMaybeArray a) -> SmallMaybeArray a # stimes :: Integral b => b -> SmallMaybeArray a -> SmallMaybeArray a #
Monoid (SmallMaybeArray a) Source #
Instance details Defined in Data.Primitive.SmallArray.Maybe Methods mempty :: SmallMaybeArray a # mappend :: SmallMaybeArray a -> SmallMaybeArray a -> SmallMaybeArray a # mconcat :: [SmallMaybeArray a] -> SmallMaybeArray a #
PrimUnlifted (SmallMaybeArray a) Source #
Instance details Defined in Data.Primitive.SmallArray.Maybe Methods toArrayArray# :: SmallMaybeArray a -> ArrayArray# # fromArrayArray# :: ArrayArray# -> SmallMaybeArray a #
type Item (SmallMaybeArray a) Source #
Instance details Defined in Data.Primitive.SmallArray.Maybe type Item (SmallMaybeArray a) = a

data SmallMutableMaybeArray s a Source #

A mutable array of boxed values of type Maybe a.

Instances

PrimUnlifted (SmallMutableMaybeArray s a) Source #
Instance details Defined in Data.Primitive.SmallArray.Maybe Methods toArrayArray# :: SmallMutableMaybeArray s a -> ArrayArray# # fromArrayArray# :: ArrayArray# -> SmallMutableMaybeArray s a #

indexSmallMaybeArray :: SmallMaybeArray a -> Int -> Maybe a Source #

Get the Maybe value at the given index out of a SmallMaybeArray.

newSmallMaybeArray :: PrimMonad m => Int -> Maybe a -> m (SmallMutableMaybeArray (PrimState m) a) Source #

Create a new SmallMutableMaybeArray of the given size and initialize all elements with the given Maybe value.

readSmallMaybeArray :: PrimMonad m => SmallMutableMaybeArray (PrimState m) a -> Int -> m (Maybe a) Source #

Get the Maybe value at the given index out of a SmallMutableMaybeArray.

writeSmallMaybeArray :: PrimMonad m => SmallMutableMaybeArray (PrimState m) a -> Int -> Maybe a -> m () Source #

Write a Maybe value to the given index of a SmallMutableMaybeArray.

sequenceSmallMaybeArray :: SmallMaybeArray a -> Maybe (SmallArray a) Source #

This is like calling sequence on a SmallArray. However, in the event that all the values are Just, it does not need to allocate a new array since the array backing the SmallMaybeArray can be reused.

unsafeFreezeSmallMaybeArray :: PrimMonad m => SmallMutableMaybeArray (PrimState m) a -> m (SmallMaybeArray a) Source #

Convert a SmallMutableMaybeArray to an immutable one without copying. The array should not be modified after the conversion.

thawSmallMaybeArray Source #

Arguments

:: PrimMonad m
=> SmallMaybeArray a	source
-> Int	offset
-> Int	length
-> m (SmallMutableMaybeArray (PrimState m) a)

Create a SmallMutableMaybeArray from a slice of an immutable array. This operation makes a copy of the specified slice, so it is safe to use the immutable array afterward.

smallMaybeArrayFromList :: [a] -> SmallMaybeArray a Source #

Given a list of a, build a SmallMaybeArray from the values in the list.

smallMaybeArrayFromListN :: Int -> [a] -> SmallMaybeArray a Source #

Given the length of the list and a list of a, build a SmallMaybeArray from the values in the list. If the given Int does not match the length of the list, this function calls error. You should prefer this to maybeArrayFromList if the length of the list has already been computed.

sizeofSmallMaybeArray :: SmallMaybeArray a -> Int Source #

Yield the size of the SmallMaybeArray.