Modulelinear-base-0.8.1

Streaming.Linear.Internal.Many

3 types
12 values

Packagelinear-base-0.8.1
Exports15
LicenceMIT

valuemerge

:: (Monad m, Ord a)
=> Stream (Of a) m r
-> Stream (Of a) m s
-> Stream (Of a) m (r, s)

valuemergeBy

:: Monad m
=> a -> a -> Ordering
-> Stream (Of a) m r
-> Stream (Of a) m s
-> Stream (Of a) m (r, s)

valuemergeOn

:: (Monad m, Ord b)
=> a -> b
-> Stream (Of a) m r
-> Stream (Of a) m s
-> Stream (Of a) m (r, s)

valueunzip

:: Monad m
=> Stream (Of (a, b)) m r
-> Stream (Of a) (Stream (Of b) m) r

valuezip

:: Monad m
=> Stream (Of a) m r1
-> Stream (Of b) m r2
-> Stream (Of (a, b)) m (r1, r2)

valuezip3

:: Monad m
=> Stream (Of a) m r1
-> Stream (Of b) m r2
-> Stream (Of c) m r3
-> Stream (Of (a, b, c)) m (r1, r2, r3)

valuezip3R

:: Monad m
=> Stream (Of a) m r1
-> Stream (Of b) m r2
-> Stream (Of c) m r3
-> Stream (Of (a, b, c)) m (ZipResidual3 a b c m r1 r2 r3)

valuezipR

:: Monad m
=> Stream (Of a) m r1
-> Stream (Of b) m r2
-> Stream (Of (a, b)) m (ZipResidual a b m r1 r2)

valuezipWith

:: Monad m
=> a -> b -> c
-> Stream (Of a) m r1
-> Stream (Of b) m r2
-> Stream (Of c) m (r1, r2)

valuezipWith3

:: Monad m
=> a -> b -> c -> d
-> Stream (Of a) m r1
-> Stream (Of b) m r2
-> Stream (Of c) m r3
-> Stream (Of d) m (r1, r2, r3)

valuezipWith3R

:: Monad m
=> a -> b -> c -> d
-> Stream (Of a) m r1
-> Stream (Of b) m r2
-> Stream (Of c) m r3
-> Stream (Of d) m (ZipResidual3 a b c m r1 r2 r3)

valuezipWithR

:: Monad m
=> a -> b -> c
-> Stream (Of a) m r1
-> Stream (Of b) m r2
-> Stream (Of c) m (ZipResidual a b m r1 r2)

datadata Either3 a b c where

Constructors

Left3 :: a -> Either3 a b c
Middle3 :: b -> Either3 a b c
Right3 :: c -> Either3 a b c

typetype ZipResidual a b (m :: Type -> Type) r1 r2 = Either3 (r1, r2) (r1, Stream (Of b) m r2) (Stream (Of a) m r1, r2)

type

type ZipResidual3 a b c (m :: Type -> Type) r1 r2 r3 = (Either r1 (Stream (Of a) m r1), Either r2 (Stream (Of b) m r2), Either r3 (Stream (Of c) m r3))