Safe Haskell	Safe-Inferred
Language	Haskell2010

Streaming.NonEmpty

Synopsis

newtype NEStream f m a = NEStream (f (Stream f m a))
toStream :: (Functor f, Monad m) => NEStream f m r -> Stream f m r
fold1 :: Monad m => (a -> a -> a) -> NEStream (Of a) m r -> m (Of a r)
sconcat :: (Semigroup a, Monad m) => NEStream (Of a) m r -> m (Of a r)
toNonEmpty :: Monad m => NEStream (Of a) m r -> m (Of (NonEmpty a) r)
toNonEmpty_ :: Monad m => NEStream (Of a) m r -> m (NonEmpty a)
sconcat_ :: (Monad m, Semigroup a) => NEStream (Of a) m r -> m a
groupBy :: Monad m => (a -> a -> Bool) -> Stream (Of a) m r -> Stream (NEStream (Of a) m) m r
groupByPure :: (a -> a -> Bool) -> [a] -> [NonEmpty a]
groupSemigroupBy :: (Semigroup a, Monad m) => (a -> a -> Bool) -> Stream (Of a) m r -> Stream (Of a) m r
groupSemigroupByPure :: Semigroup b => (b -> b -> Bool) -> [b] -> [b]

Documentation

newtype NEStream f m a Source #

A stream with at least one functorial layer

Constructors

Instances details

(Monad m, Functor f) => Functor (NEStream f m) Source #
Instance details Defined in Streaming.NonEmpty Methods fmap :: (a -> b) -> NEStream f m a -> NEStream f m b # (<$) :: a -> NEStream f m b -> NEStream f m a #

Is a stream

fold1 :: Monad m => (a -> a -> a) -> NEStream (Of a) m r -> m (Of a r) Source #

fold1 is safe

sconcat as in Semigroup, with result

harvest the list with the result

harvest the list only

sconcat as in Semigroup

groupBy :: Monad m => (a -> a -> Bool) -> Stream (Of a) m r -> Stream (NEStream (Of a) m) m r Source #

group by some equality in non empty groups

groupByPure :: (a -> a -> Bool) -> [a] -> [NonEmpty a] Source #

what groupBy could be

collapse semigroups by some equality

what should be possible to do with groupBy fmap sconcat . groupBy equals