Modulevector-0.13.2.0

Data.Vector.Fusion.Bundle.Monadic

Synopsis

value !!
value !?
value ++
value and
value chunks
value cmpBy
value concatMap
value concatMapM
value concatVectors
value cons
value drop
value dropWhile
value dropWhileM
value elem
value elements
value empty
value enumFromStepN
value enumFromThenTo
value enumFromTo
value eqBy
value filter
value filterM
value find
value findIndex
value findIndexM
value findM
value flatten
value fold1M
value fold1M'
value foldM
value foldM'
value foldl
value foldl'
value foldl1
value foldl1'
value foldl1M
value foldl1M'
value foldlM
value foldlM'
value foldr
value foldr1
value foldr1M
value foldrM
value fromList
value fromListN
value fromStream
value fromVector
value fromVectors
value generate
value generateM
value head
value indexed
value indexedR
value init
value iterateN
value iterateNM
value last
value length
value lift
value map
value mapM
value mapM_
value mapMaybeM
value notElem
value null
value or
value postscanl
value postscanl'
value postscanlM
value postscanlM'
value prescanl
value prescanl'
value prescanlM
value prescanlM'
value reVector
value replicate
value replicateM
value scanl
value scanl'
value scanl1
value scanl1'
value scanl1M
value scanl1M'
value scanlM
value scanlM'
value singleton
value size
value sized
value slice
value snoc
value tail
value take
value takeWhile
value takeWhileM
value toList
value trans
value unbox
value unfoldr
value unfoldrExactN
value unfoldrExactNM
value unfoldrM
value unfoldrN
value unfoldrNM
value unsafeFromList
value zip
value zip3
value zip4
value zip5
value zip6
value zipWith
value zipWith3
value zipWith3M
value zipWith4
value zipWith4M
value zipWith5
value zipWith5M
value zipWith6
value zipWith6M
value zipWithM
value zipWithM_
data Bundle
data Chunk

Packagevector-0.13.2.0
Exports122
LicenceBSD-3-Clause

value(!!) :: Monad m => Bundle m v a -> Int -> m a

value(!?) :: Monad m => Bundle m v a -> Int -> m (Maybe a)

value(++) :: Monad m => Bundle m v a -> Bundle m v a -> Bundle m v a

valueand :: Monad m => Bundle m v Bool -> m Bool

valuechunks :: Bundle m v a -> Stream m (Chunk v a)

valuecmpBy

:: Monad m
=> a -> b -> Ordering
-> Bundle m v a
-> Bundle m v b
-> m Ordering

valueconcatMap :: Monad m => (a -> Bundle m v b) -> Bundle m v a -> Bundle m v b

valueconcatMapM

:: Monad m
=> a -> m (Bundle m v b)
-> Bundle m v a
-> Bundle m v b

valueconcatVectors :: (Monad m, Vector v a) => Bundle m u (v a) -> Bundle m v a

valuecons :: Monad m => a -> Bundle m v a -> Bundle m v a

valuedrop :: Monad m => Int -> Bundle m v a -> Bundle m v a

valuedropWhile :: Monad m => (a -> Bool) -> Bundle m v a -> Bundle m v a

valuedropWhileM :: Monad m => (a -> m Bool) -> Bundle m v a -> Bundle m v a

valueelem :: (Monad m, Eq a) => a -> Bundle m v a -> m Bool

valueelements :: Bundle m v a -> Stream m a

valueempty :: Monad m => Bundle m v a

valueenumFromStepN :: (Num a, Monad m) => a -> a -> Int -> Bundle m v a

valueenumFromThenTo :: (Enum a, Monad m) => a -> a -> a -> Bundle m v a

valueenumFromTo :: (Enum a, Monad m) => a -> a -> Bundle m v a

valueeqBy

:: Monad m
=> a -> b -> Bool
-> Bundle m v a
-> Bundle m v b
-> m Bool

valuefilter :: Monad m => (a -> Bool) -> Bundle m v a -> Bundle m v a

valuefilterM :: Monad m => (a -> m Bool) -> Bundle m v a -> Bundle m v a

valuefind :: Monad m => (a -> Bool) -> Bundle m v a -> m (Maybe a)

valuefindIndex :: Monad m => (a -> Bool) -> Bundle m v a -> m (Maybe Int)

valuefindIndexM :: Monad m => (a -> m Bool) -> Bundle m v a -> m (Maybe Int)

valuefindM :: Monad m => (a -> m Bool) -> Bundle m v a -> m (Maybe a)

valueflatten

:: Monad m
=> a -> m s
-> s -> m (Step s b)
-> Size
-> Bundle m v a
-> Bundle m v b

valuefold1M :: Monad m => (a -> a -> m a) -> Bundle m v a -> m a

valuefold1M' :: Monad m => (a -> a -> m a) -> Bundle m v a -> m a

valuefoldM :: Monad m => (a -> b -> m a) -> a -> Bundle m v b -> m a

valuefoldM' :: Monad m => (a -> b -> m a) -> a -> Bundle m v b -> m a

valuefoldl :: Monad m => (a -> b -> a) -> a -> Bundle m v b -> m a

valuefoldl' :: Monad m => (a -> b -> a) -> a -> Bundle m v b -> m a

valuefoldl1 :: Monad m => (a -> a -> a) -> Bundle m v a -> m a

valuefoldl1' :: Monad m => (a -> a -> a) -> Bundle m v a -> m a

valuefoldl1M :: Monad m => (a -> a -> m a) -> Bundle m v a -> m a

valuefoldl1M' :: Monad m => (a -> a -> m a) -> Bundle m v a -> m a

valuefoldlM :: Monad m => (a -> b -> m a) -> a -> Bundle m v b -> m a

valuefoldlM' :: Monad m => (a -> b -> m a) -> a -> Bundle m v b -> m a

valuefoldr :: Monad m => (a -> b -> b) -> b -> Bundle m v a -> m b

valuefoldr1 :: Monad m => (a -> a -> a) -> Bundle m v a -> m a

valuefoldr1M :: Monad m => (a -> a -> m a) -> Bundle m v a -> m a

valuefoldrM :: Monad m => (a -> b -> m b) -> b -> Bundle m v a -> m b

valuefromList :: Monad m => [a] -> Bundle m v a

valuefromListN :: Monad m => Int -> [a] -> Bundle m v a

valuefromStream :: Monad m => Stream m a -> Size -> Bundle m v a

valuefromVector :: (Monad m, Vector v a) => v a -> Bundle m v a

valuefromVectors :: (Monad m, Vector v a) => [v a] -> Bundle m v a

valuegenerate :: Monad m => Int -> (Int -> a) -> Bundle m v a

valuegenerateM :: Monad m => Int -> (Int -> m a) -> Bundle m v a

valuehead :: Monad m => Bundle m v a -> m a

valueindexed :: Monad m => Bundle m v a -> Bundle m v (Int, a)

valueindexedR :: Monad m => Int -> Bundle m v a -> Bundle m v (Int, a)

valueinit :: Monad m => Bundle m v a -> Bundle m v a

valueiterateN :: Monad m => Int -> (a -> a) -> a -> Bundle m u a

valueiterateNM :: Monad m => Int -> (a -> m a) -> a -> Bundle m u a

valuelast :: Monad m => Bundle m v a -> m a

valuelength :: Monad m => Bundle m v a -> m Int

valuelift :: Monad m => Bundle Id v a -> Bundle m v a

valuemap :: Monad m => (a -> b) -> Bundle m v a -> Bundle m v b

valuemapM :: Monad m => (a -> m b) -> Bundle m v a -> Bundle m v b

valuemapM_ :: Monad m => (a -> m b) -> Bundle m v a -> m ()

valuemapMaybeM :: Monad m => (a -> m (Maybe b)) -> Bundle m v a -> Bundle m v b

valuenotElem :: (Monad m, Eq a) => a -> Bundle m v a -> m Bool

valuenull :: Monad m => Bundle m v a -> m Bool

valueor :: Monad m => Bundle m v Bool -> m Bool

valuepostscanl :: Monad m => (a -> b -> a) -> a -> Bundle m v b -> Bundle m v a

valuepostscanl' :: Monad m => (a -> b -> a) -> a -> Bundle m v b -> Bundle m v a

valuepostscanlM

:: Monad m
=> a -> b -> m a
-> a
-> Bundle m v b
-> Bundle m v a

valuepostscanlM'

:: Monad m
=> a -> b -> m a
-> a
-> Bundle m v b
-> Bundle m v a

valueprescanl :: Monad m => (a -> b -> a) -> a -> Bundle m v b -> Bundle m v a

valueprescanl' :: Monad m => (a -> b -> a) -> a -> Bundle m v b -> Bundle m v a

valueprescanlM :: Monad m => (a -> b -> m a) -> a -> Bundle m v b -> Bundle m v a

valueprescanlM'

:: Monad m
=> a -> b -> m a
-> a
-> Bundle m v b
-> Bundle m v a

valuereVector :: Monad m => Bundle m u a -> Bundle m v a

valuereplicate :: Monad m => Int -> a -> Bundle m v a

valuereplicateM :: Monad m => Int -> m a -> Bundle m v a

valuescanl :: Monad m => (a -> b -> a) -> a -> Bundle m v b -> Bundle m v a

valuescanl' :: Monad m => (a -> b -> a) -> a -> Bundle m v b -> Bundle m v a

valuescanl1 :: Monad m => (a -> a -> a) -> Bundle m v a -> Bundle m v a

valuescanl1' :: Monad m => (a -> a -> a) -> Bundle m v a -> Bundle m v a

valuescanl1M :: Monad m => (a -> a -> m a) -> Bundle m v a -> Bundle m v a

valuescanl1M' :: Monad m => (a -> a -> m a) -> Bundle m v a -> Bundle m v a

valuescanlM :: Monad m => (a -> b -> m a) -> a -> Bundle m v b -> Bundle m v a

valuescanlM' :: Monad m => (a -> b -> m a) -> a -> Bundle m v b -> Bundle m v a

valuesingleton :: Monad m => a -> Bundle m v a

valuesize :: Bundle m v a -> Size

valuesized :: Bundle m v a -> Size -> Bundle m v a

valueslice :: Monad m => Int -> Int -> Bundle m v a -> Bundle m v a

valuesnoc :: Monad m => Bundle m v a -> a -> Bundle m v a

valuetail :: Monad m => Bundle m v a -> Bundle m v a

valuetake :: Monad m => Int -> Bundle m v a -> Bundle m v a

valuetakeWhile :: Monad m => (a -> Bool) -> Bundle m v a -> Bundle m v a

valuetakeWhileM :: Monad m => (a -> m Bool) -> Bundle m v a -> Bundle m v a

valuetoList :: Monad m => Bundle m v a -> m [a]

valuetrans

:: (Monad m, Monad m')
=> forall z. m z -> m' z
-> Bundle m v a
-> Bundle m' v a

valueunbox :: Monad m => Bundle m v (Box a) -> Bundle m v a

valueunfoldr :: Monad m => (s -> Maybe (a, s)) -> s -> Bundle m u a

valueunfoldrExactN :: Monad m => Int -> (s -> (a, s)) -> s -> Bundle m u a

valueunfoldrExactNM :: Monad m => Int -> (s -> m (a, s)) -> s -> Bundle m u a

valueunfoldrM :: Monad m => (s -> m (Maybe (a, s))) -> s -> Bundle m u a

valueunfoldrN :: Monad m => Int -> (s -> Maybe (a, s)) -> s -> Bundle m u a

valueunfoldrNM :: Monad m => Int -> (s -> m (Maybe (a, s))) -> s -> Bundle m u a

valueunsafeFromList :: Monad m => Size -> [a] -> Bundle m v a

valuezip :: Monad m => Bundle m v a -> Bundle m v b -> Bundle m v (a, b)

valuezip3

:: Monad m
=> Bundle m v a
-> Bundle m v b
-> Bundle m v c
-> Bundle m v (a, b, c)

valuezip4

:: Monad m
=> Bundle m v a
-> Bundle m v b
-> Bundle m v c
-> Bundle m v d
-> Bundle m v (a, b, c, d)

valuezip5

:: Monad m
=> Bundle m v a
-> Bundle m v b
-> Bundle m v c
-> Bundle m v d
-> Bundle m v e
-> Bundle m v (a, b, c, d, e)

valuezip6

:: Monad m
=> Bundle m v a
-> Bundle m v b
-> Bundle m v c
-> Bundle m v d
-> Bundle m v e
-> Bundle m v f
-> Bundle m v (a, b, c, d, e, f)

valuezipWith

:: Monad m
=> a -> b -> c
-> Bundle m v a
-> Bundle m v b
-> Bundle m v c

valuezipWith3

:: Monad m
=> a -> b -> c -> d
-> Bundle m v a
-> Bundle m v b
-> Bundle m v c
-> Bundle m v d

valuezipWith3M

:: Monad m
=> a -> b -> c -> m d
-> Bundle m v a
-> Bundle m v b
-> Bundle m v c
-> Bundle m v d

valuezipWith4

:: Monad m
=> a -> b -> c -> d -> e
-> Bundle m v a
-> Bundle m v b
-> Bundle m v c
-> Bundle m v d
-> Bundle m v e

valuezipWith4M

:: Monad m
=> a -> b -> c -> d -> m e
-> Bundle m v a
-> Bundle m v b
-> Bundle m v c
-> Bundle m v d
-> Bundle m v e

valuezipWith5

:: Monad m
=> a -> b -> c -> d -> e -> f
-> Bundle m v a
-> Bundle m v b
-> Bundle m v c
-> Bundle m v d
-> Bundle m v e
-> Bundle m v f

valuezipWith5M

:: Monad m
=> a -> b -> c -> d -> e -> m f
-> Bundle m v a
-> Bundle m v b
-> Bundle m v c
-> Bundle m v d
-> Bundle m v e
-> Bundle m v f

valuezipWith6

:: Monad m
=> a -> b -> c -> d -> e -> f -> g
-> Bundle m v a
-> Bundle m v b
-> Bundle m v c
-> Bundle m v d
-> Bundle m v e
-> Bundle m v f
-> Bundle m v g

valuezipWith6M

:: Monad m
=> a -> b -> c -> d -> e -> f -> m g
-> Bundle m v a
-> Bundle m v b
-> Bundle m v c
-> Bundle m v d
-> Bundle m v e
-> Bundle m v f
-> Bundle m v g

valuezipWithM

:: Monad m
=> a -> b -> m c
-> Bundle m v a
-> Bundle m v b
-> Bundle m v c

valuezipWithM_

:: Monad m
=> a -> b -> m c
-> Bundle m v a
-> Bundle m v b
-> m ()

datadata Bundle (m :: Type -> Type) (v :: Type -> Type) a

Constructors

Bundle
- sElems :: Stream m a
- sChunks :: Stream m (Chunk v a)
- sVector :: Maybe (v a)
- sSize :: Size

Instances5Functor, Eq1, Ord1, Eq, Ord

Monad m => Functor (Bundle m v)Defined in vector-0.13.2.0 · Data.Vector.Fusion.Bundle.Monadic
Eq1 (Bundle Id v)Defined in vector-0.13.2.0 · Data.Vector.Fusion.Bundle · orphan
Ord1 (Bundle Id v)Defined in vector-0.13.2.0 · Data.Vector.Fusion.Bundle · orphan
Eq a => Eq (Bundle Id v a)Defined in vector-0.13.2.0 · Data.Vector.Fusion.Bundle · orphan
Ord a => Ord (Bundle Id v a)Defined in vector-0.13.2.0 · Data.Vector.Fusion.Bundle · orphan

datadata Chunk (v :: Type -> Type) a

Constructors

Chunk Int (forall (m :: Type -> Type). (PrimMonad m, Vector v a) => Mutable v (PrimState m) a -> m ())