Streamly.Internal.Data.Builder

Imports

Types

newtype Builder s m a

A simple stateful function composing monad that chains state passing functions. This can be considered as a simplified version of the State monad or even a Fold. Unlike fold the step function is one-shot and not called in a loop.

Constructors

Builder (s -> m (s, a))

Instances

Monad m => Applicative (Builder a m)

Defined in Streamly.Internal.Data.Builder

Methods

pure :: a0 -> Builder a m a0

(<*>) :: Builder a m (a0 -> b) -> Builder a m a0 -> Builder a m b

liftA2 :: (a0 -> b -> c) -> Builder a m a0 -> Builder a m b -> Builder a m c

(*>) :: Builder a m a0 -> Builder a m b -> Builder a m b

(<*) :: Builder a m a0 -> Builder a m b -> Builder a m a0

Functor m => Functor (Builder s m)

Maps a function on the output of the fold (the type b).

Defined in Streamly.Internal.Data.Builder

Methods

fmap :: (a -> b) -> Builder s m a -> Builder s m b

(<$) :: a -> Builder s m b -> Builder s m a

Monad m => Monad (Builder a m)

Defined in Streamly.Internal.Data.Builder

Methods

(>>=) :: Builder a m a0 -> (a0 -> Builder a m b) -> Builder a m b

(>>) :: Builder a m a0 -> Builder a m b -> Builder a m b

return :: a0 -> Builder a m a0