Data.Drinkery.Tap

Documentation

newtype Tap m r s

Tap m r s is a non-monadic, endless producer of s. It takes a request r.

Constructors

Tap

Fields

• unTap :: r -> m (s, Tap m r s)

consTap :: (Monoid r, Applicative m) => s -> Tap m r s -> Tap m r s

Prepend a new element, delaying requests.

orderTap :: Monoid r => r -> Tap m r s -> Tap m r s

Send a request to a Tap.

makeTap :: (Monoid r, Monad m) => m (Tap m r s) -> Tap m r s

Involve an action.

newtype Barman r s m a

Monadic producer

Constructors

Barman

Fields

• unBarman :: (a -> Tap m r s) -> Tap m r s

Instances

MonadDrunk r s m => MonadDrunk r s (Barman p q m)

Methods

drink :: Barman p q m s

spit :: s -> Barman p q m ()

call :: r -> Barman p q m ()

MonadTrans (Barman r s)

Methods

lift :: Monad m => m a -> Barman r s m a

Monad (Barman r s m)

Methods

(>>=) :: Barman r s m a -> (a -> Barman r s m b) -> Barman r s m b

(>>) :: Barman r s m a -> Barman r s m b -> Barman r s m b

return :: a -> Barman r s m a

fail :: String -> Barman r s m a

Functor (Barman r s m)

Methods

fmap :: (a -> b) -> Barman r s m a -> Barman r s m b

(<$) :: a -> Barman r s m b -> Barman r s m a

Applicative (Barman r s m)

Methods

pure :: a -> Barman r s m a

(<*>) :: Barman r s m (a -> b) -> Barman r s m a -> Barman r s m b

(*>) :: Barman r s m a -> Barman r s m b -> Barman r s m b

(<*) :: Barman r s m a -> Barman r s m b -> Barman r s m a

topup :: (Monoid r, Applicative m) => s -> Barman r s m ()

Produce one element. Orders are put off.

accept :: Monoid r => Barman r s m r

Accept orders and clear the queue.

inexhaustible :: Barman r s m x -> Tap m r s

Create a infinite Tap from a Barman.

Barman r s (Boozer p q m) x -> Distiller p q m r s

newtype Sommelier r m s

Backtracking producer a.k.a. "ListT done right".

Constructors

Sommelier

Fields

• unSommelier :: forall x. (s -> Tap m r x -> Tap m r x) -> Tap m r x -> Tap m r x

Instances

MonadDrunk r s m => MonadDrunk r s (Sommelier p m)

Methods

drink :: Sommelier p m s

spit :: s -> Sommelier p m ()

call :: r -> Sommelier p m ()

MonadTrans (Sommelier r)

Methods

lift :: Monad m => m a -> Sommelier r m a

Monad (Sommelier r m)

Methods

(>>=) :: Sommelier r m a -> (a -> Sommelier r m b) -> Sommelier r m b

(>>) :: Sommelier r m a -> Sommelier r m b -> Sommelier r m b

return :: a -> Sommelier r m a

fail :: String -> Sommelier r m a

Functor (Sommelier r m)

Methods

fmap :: (a -> b) -> Sommelier r m a -> Sommelier r m b

(<$) :: a -> Sommelier r m b -> Sommelier r m a

Applicative (Sommelier r m)

Methods

pure :: a -> Sommelier r m a

(<*>) :: Sommelier r m (a -> b) -> Sommelier r m a -> Sommelier r m b

(*>) :: Sommelier r m a -> Sommelier r m b -> Sommelier r m b

(<*) :: Sommelier r m a -> Sommelier r m b -> Sommelier r m a

MonadIO m => MonadIO (Sommelier r m)

Methods

liftIO :: IO a -> Sommelier r m a

Alternative (Sommelier r m)

Methods

empty :: Sommelier r m a

(<|>) :: Sommelier r m a -> Sommelier r m a -> Sommelier r m a

some :: Sommelier r m a -> Sommelier r m [a]

many :: Sommelier r m a -> Sommelier r m [a]

taste :: Foldable f => f s -> Sommelier r m s

Take all the elements in a Foldable container.

inquire :: Monoid r => Sommelier r m r

Get a request.