Data.BAByNF.Util.Stream

Documentation

newtype Stream e a

Constructors

Stream

Fields

• runStream :: [e] -> ([e], a)

Instances

Applicative (Stream e)

Defined in Data.BAByNF.Util.Stream

Methods

pure :: a -> Stream e a

(<*>) :: Stream e (a -> b) -> Stream e a -> Stream e b

liftA2 :: (a -> b -> c) -> Stream e a -> Stream e b -> Stream e c

(*>) :: Stream e a -> Stream e b -> Stream e b

(<*) :: Stream e a -> Stream e b -> Stream e a

Functor (Stream e)

Defined in Data.BAByNF.Util.Stream

Methods

fmap :: (a -> b) -> Stream e a -> Stream e b

(<$) :: a -> Stream e b -> Stream e a

Monad (Stream e)

Defined in Data.BAByNF.Util.Stream

Methods

(>>=) :: Stream e a -> (a -> Stream e b) -> Stream e b

(>>) :: Stream e a -> Stream e b -> Stream e b

return :: a -> Stream e a

runStream_ :: Stream e a -> [e] -> a

hasNext :: Stream e Bool

take :: Stream e (Maybe e)

drop :: Stream e ()

peek :: Stream e (Maybe e)

takeIf :: (e -> Bool) -> Stream e (Maybe e)

dropIf :: (e -> Bool) -> Stream e ()

takeWhile :: (e -> Bool) -> Stream e [e]

dropWhile :: (e -> Bool) -> Stream e ()

find :: (e -> Bool) -> Stream e (Maybe e)

findSeq :: (e -> Bool) -> Stream e [e]

takeIfMap :: (e -> Maybe a) -> Stream e (Maybe a)

takeWhileMap :: (e -> Maybe a) -> Stream e [a]

findMap :: (e -> Maybe a) -> Stream e (Maybe a)

findSeqMap :: (e -> Maybe a) -> Stream e [a]

either :: Stream e (Either l a) -> (a -> Stream e b) -> Stream e (Either l b)

either' :: Stream e (Either l a) -> (a -> Stream e (Either l b)) -> Stream e (Either l b)

class Propagate (p :: Type -> Type) where

Methods

propagate :: Monad m => m (p a) -> (a -> m (p b)) -> m (p b)

Instances

Propagate Maybe

Defined in Data.BAByNF.Util.Stream

Methods

propagate :: Monad m => m (Maybe a) -> (a -> m (Maybe b)) -> m (Maybe b)

Propagate (Either a)

Defined in Data.BAByNF.Util.Stream

Methods

propagate :: Monad m => m (Either a a0) -> (a0 -> m (Either a b)) -> m (Either a b)

propagate' :: (Propagate p, Monad m) => m (p a) -> m (p b) -> m (p b)