Skip to content

HORIZON HASKELL Docs lts/ghc-9.14.xb2f3bfd2026-10-11Search names, modules, packages, or :: a typeCtrl K

GHC 9.14.1 · lts/ghc-9.14.x · b2f3bfd · 2026-10-11

Modulevector-0.13.2.0

Data.Vector.Fusion.Bundle.Monadic

2 types
120 values

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 ())