Data.Primitive.SmallArray.Maybe

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.

Documentation

data SmallMaybeArray a

An immutable array of boxed values of type Maybe a.

Instances

Monad SmallMaybeArray

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

Defined in Data.Primitive.SmallArray.Maybe

Methods

fmap :: (a -> b) -> SmallMaybeArray a -> SmallMaybeArray b

(<$) :: a -> SmallMaybeArray b -> SmallMaybeArray a

MonadFail SmallMaybeArray

Defined in Data.Primitive.SmallArray.Maybe

Methods

fail :: String -> SmallMaybeArray a

Applicative SmallMaybeArray

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

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

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

Defined in Data.Primitive.SmallArray.Maybe

Methods

liftEq :: (a -> b -> Bool) -> SmallMaybeArray a -> SmallMaybeArray b -> Bool

Ord1 SmallMaybeArray

Defined in Data.Primitive.SmallArray.Maybe

Methods

liftCompare :: (a -> b -> Ordering) -> SmallMaybeArray a -> SmallMaybeArray b -> Ordering

Read1 SmallMaybeArray

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

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

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

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

Defined in Data.Primitive.SmallArray.Maybe

Methods

mzero :: SmallMaybeArray a

mplus :: SmallMaybeArray a -> SmallMaybeArray a -> SmallMaybeArray a

IsList (SmallMaybeArray a)

Defined in Data.Primitive.SmallArray.Maybe

Associated Types

type Item (SmallMaybeArray a) :: Type

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)

Defined in Data.Primitive.SmallArray.Maybe

Methods

(==) :: SmallMaybeArray a -> SmallMaybeArray a -> Bool

(/=) :: SmallMaybeArray a -> SmallMaybeArray a -> Bool

Data a => Data (SmallMaybeArray a)

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)

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)

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)

Defined in Data.Primitive.SmallArray.Maybe

Methods

showsPrec :: Int -> SmallMaybeArray a -> ShowS

show :: SmallMaybeArray a -> String

showList :: [SmallMaybeArray a] -> ShowS

Semigroup (SmallMaybeArray a)

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)

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)

Defined in Data.Primitive.SmallArray.Maybe

Methods

toArrayArray# :: SmallMaybeArray a -> ArrayArray#

fromArrayArray# :: ArrayArray# -> SmallMaybeArray a

type Item (SmallMaybeArray a)

Defined in Data.Primitive.SmallArray.Maybe

type Item (SmallMaybeArray a) = a

data SmallMutableMaybeArray s a

A mutable array of boxed values of type Maybe a.

Instances

PrimUnlifted (SmallMutableMaybeArray s a)

Defined in Data.Primitive.SmallArray.Maybe

Methods

toArrayArray# :: SmallMutableMaybeArray s a -> ArrayArray#

fromArrayArray# :: ArrayArray# -> SmallMutableMaybeArray s a

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

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

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

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)

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

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

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

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

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)

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

thawSmallMaybeArray

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

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

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

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

Yield the size of the SmallMaybeArray.