Modulevector-0.13.2.0

Data.Vector.Fusion.Bundle

Synopsis

value !!
value !?
value ++
value and
value cmp
value cmpBy
value concatMap
value concatVectors
value cons
value drop
value dropWhile
value elem
value empty
value enumFromStepN
value enumFromThenTo
value enumFromTo
value eq
value eqBy
value filter
value filterM
value find
value findIndex
value flatten
value fold1M
value fold1M'
value foldM
value foldM'
value foldl
value foldl'
value foldl1
value foldl1'
value foldr
value foldr1
value fromList
value fromListN
value fromVector
value fromVectors
value generate
value head
value indexed
value indexedR
value init
value inplace
value iterateN
value last
value length
value map
value mapM
value mapM_
value mapMaybeM
value notElem
value null
value or
value postscanl
value postscanl'
value prescanl
value prescanl'
value reVector
value replicate
value scanl
value scanl'
value scanl1
value scanl1'
value singleton
value size
value sized
value slice
value snoc
value tail
value take
value takeWhile
value toList
value unbox
value unfoldr
value unfoldrExactN
value unfoldrN
value unsafeFromList
value zip
value zip3
value zip4
value zip5
value zip6
value zipWith
value zipWith3
value zipWith4
value zipWith5
value zipWith6
value zipWithM
value zipWithM_
value lift
type Bundle
type MBundle
data Chunk
data Step

Packagevector-0.13.2.0
Exports94
LicenceBSD-3-Clause
SourceMonadic.hs

value(!!) :: Bundle v a -> Int -> a

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

value(++) :: Bundle v a -> Bundle v a -> Bundle v a

valueand :: Bundle v Bool -> Bool

valuecmp :: Ord a => Bundle v a -> Bundle v a -> Ordering

valuecmpBy :: (a -> b -> Ordering) -> Bundle v a -> Bundle v b -> Ordering

valueconcatMap :: (a -> Bundle v b) -> Bundle v a -> Bundle v b

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

valuecons :: a -> Bundle v a -> Bundle v a

valuedrop :: Int -> Bundle v a -> Bundle v a

valuedropWhile :: (a -> Bool) -> Bundle v a -> Bundle v a

valueelem :: Eq a => a -> Bundle v a -> Bool

valueempty :: Bundle v a

valueenumFromStepN :: Num a => a -> a -> Int -> Bundle v a

valueenumFromThenTo :: Enum a => a -> a -> a -> Bundle v a

valueenumFromTo :: Enum a => a -> a -> Bundle v a

valueeq :: Eq a => Bundle v a -> Bundle v a -> Bool

valueeqBy :: (a -> b -> Bool) -> Bundle v a -> Bundle v b -> Bool

valuefilter :: (a -> Bool) -> Bundle v a -> Bundle v a

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

valuefind :: (a -> Bool) -> Bundle v a -> Maybe a

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

valueflatten :: (a -> s) -> (s -> Step s b) -> Size -> Bundle v a -> Bundle v b

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

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

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

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

valuefoldl :: (a -> b -> a) -> a -> Bundle v b -> a

valuefoldl' :: (a -> b -> a) -> a -> Bundle v b -> a

valuefoldl1 :: (a -> a -> a) -> Bundle v a -> a

valuefoldl1' :: (a -> a -> a) -> Bundle v a -> a

valuefoldr :: (a -> b -> b) -> b -> Bundle v a -> b

valuefoldr1 :: (a -> a -> a) -> Bundle v a -> a

valuefromList :: [a] -> Bundle v a

valuefromListN :: Int -> [a] -> Bundle v a

valuefromVector :: Vector v a => v a -> Bundle v a

valuefromVectors :: Vector v a => [v a] -> Bundle v a

valuegenerate :: Int -> (Int -> a) -> Bundle v a

valuehead :: Bundle v a -> a

valueindexed :: Bundle v a -> Bundle v (Int, a)

valueindexedR :: Int -> Bundle v a -> Bundle v (Int, a)

valueinit :: Bundle v a -> Bundle v a

valueinplace

:: forall (m :: Type -> Type). Monad m => Stream m a -> Stream m b
-> Size -> Size
-> Bundle v a
-> Bundle v b

valueiterateN :: Int -> (a -> a) -> a -> Bundle v a

valuelast :: Bundle v a -> a

valuelength :: Bundle v a -> Int

valuemap :: (a -> b) -> Bundle v a -> Bundle v b

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

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

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

valuenotElem :: Eq a => a -> Bundle v a -> Bool

valuenull :: Bundle v a -> Bool

valueor :: Bundle v Bool -> Bool

valuepostscanl :: (a -> b -> a) -> a -> Bundle v b -> Bundle v a

valuepostscanl' :: (a -> b -> a) -> a -> Bundle v b -> Bundle v a

valueprescanl :: (a -> b -> a) -> a -> Bundle v b -> Bundle v a

valueprescanl' :: (a -> b -> a) -> a -> Bundle v b -> Bundle v a

valuereVector :: Bundle u a -> Bundle v a

valuereplicate :: Int -> a -> Bundle v a

valuescanl :: (a -> b -> a) -> a -> Bundle v b -> Bundle v a

valuescanl' :: (a -> b -> a) -> a -> Bundle v b -> Bundle v a

valuescanl1 :: (a -> a -> a) -> Bundle v a -> Bundle v a

valuescanl1' :: (a -> a -> a) -> Bundle v a -> Bundle v a

valuesingleton :: a -> Bundle v a

valuesize :: Bundle v a -> Size

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

valueslice :: Int -> Int -> Bundle v a -> Bundle v a

valuesnoc :: Bundle v a -> a -> Bundle v a

valuetail :: Bundle v a -> Bundle v a

valuetake :: Int -> Bundle v a -> Bundle v a

valuetakeWhile :: (a -> Bool) -> Bundle v a -> Bundle v a

valuetoList :: Bundle v a -> [a]

valueunbox :: Bundle v (Box a) -> Bundle v a

valueunfoldr :: (s -> Maybe (a, s)) -> s -> Bundle v a

valueunfoldrExactN :: Int -> (s -> (a, s)) -> s -> Bundle v a

valueunfoldrN :: Int -> (s -> Maybe (a, s)) -> s -> Bundle v a

valueunsafeFromList :: Size -> [a] -> Bundle v a

valuezip :: Bundle v a -> Bundle v b -> Bundle v (a, b)

valuezip3 :: Bundle v a -> Bundle v b -> Bundle v c -> Bundle v (a, b, c)

valuezip4

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

valuezip5

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

valuezip6

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

valuezipWith :: (a -> b -> c) -> Bundle v a -> Bundle v b -> Bundle v c

valuezipWith3

:: a -> b -> c -> d
-> Bundle v a
-> Bundle v b
-> Bundle v c
-> Bundle v d

valuezipWith4

:: a -> b -> c -> d -> e
-> Bundle v a
-> Bundle v b
-> Bundle v c
-> Bundle v d
-> Bundle v e

valuezipWith5

:: a -> b -> c -> d -> e -> f
-> Bundle v a
-> Bundle v b
-> Bundle v c
-> Bundle v d
-> Bundle v e
-> Bundle v f

valuezipWith6

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

valuezipWithM

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

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

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

typetype Bundle = Bundle Id

typetype MBundle = Bundle

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

Constructors

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

datadata Step s a where

Source#

Result of taking a single step in a stream

Constructors

Yield :: a -> s -> Step s a
Skip :: s -> Step s a
Done :: Step s a

Instances1Functor

Functor (Step s)Defined in vector-stream-0.1.0.1 · Data.Stream.Monadic

Orphan instances

4 instances

Eq1 (Bundle Id v)
Ord1 (Bundle Id v)
Eq a => Eq (Bundle Id v a)
Ord a => Ord (Bundle Id v a)