Copyright	(c) 2022 Composewell Technologies
License	BSD3
Maintainer	streamly@composewell.com
Stability	experimental
Portability	GHC
Safe Haskell	Safe-Inferred
Language	Haskell2010

Streamly.Internal.Data.Builder

Contents

Imports
Types

Description

Synopsis

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

Imports

Types

newtype Builder s m a Source #

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 (a, s))

Instances

Instances details

Monad m => Applicative (Builder a m) Source #
Instance details 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) Source #	Maps a function on the output of the fold (the type `b`).
Instance details 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) Source #
Instance details 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 #