Control.Monad.DList

Description

A difference-list monad transformer / a monadic difference-list.

Difference lists are lists with O(1) append (instead of O(N)).

Transforming a difference list to a list is O(1), a must be done to access a difference list. The transformation from a list to a difference list is O(N).

Synopsis

newtype DListT m a = DListT {

runDListT :: ListT m a -> ListT m a

}

toListT :: Monad m => DListT m a -> ListT m a

joinDListT :: Monad m => m (DListT m a) -> DListT m a

Documentation

newtype DListT m a

Source

A monadic difference-list

Constructors

DListT

runDListT :: ListT m a -> ListT m a

Instances

MonadTrans DListT

Monad m => Monad (DListT m)

Monad m => Functor (DListT m)

Monad m => MonadPlus (DListT m)

Monad m => Applicative (DListT m)

Monoid (DListT l a)

toListT :: Monad m => DListT m a -> ListT m a

Source

joinDListT :: Monad m => m (DListT m a) -> DListT m a

Source

Produced by Haddock version 2.6.0