Data.Stream.Final

Documentation

newtype Final m a

A stream transformer in final encoding.

One step of the stream transformer performs a monadic action and results in an output and a new stream.

Constructors

Final

Fields

• getFinal :: m (Result (Final m a) a)

Instances

MFunctor Final

Defined in Data.Stream.Final

Methods

hoist :: forall m n (b :: k). Monad m => (forall a. m a -> n a) -> Final m b -> Final n b

Alternative m => Alternative (Final m)

Defined in Data.Stream.Final

Methods

empty :: Final m a

(<|>) :: Final m a -> Final m a -> Final m a

some :: Final m a -> Final m [a]

many :: Final m a -> Final m [a]

Applicative m => Applicative (Final m)

Defined in Data.Stream.Final

Methods

pure :: a -> Final m a

(<*>) :: Final m (a -> b) -> Final m a -> Final m b

liftA2 :: (a -> b -> c) -> Final m a -> Final m b -> Final m c

(*>) :: Final m a -> Final m b -> Final m b

(<*) :: Final m a -> Final m b -> Final m a

Functor m => Functor (Final m)

Defined in Data.Stream.Final

Methods

fmap :: (a -> b) -> Final m a -> Final m b

(<$) :: a -> Final m b -> Final m a

toFinal :: Functor m => StreamT m a -> Final m a

Translate an initially encoded stream into a finally encoded one.

This is usually a performance penalty.

fromFinal :: Final m a -> StreamT m a

Translate a finally encoded stream into an initially encoded one.

The internal state is the stream itself.

constM :: Functor m => m a -> Final m a

Constantly perform the same effect, without remembering a state.