Data.Drinkery.Class

Documentation

class Monad m => MonadDrunk r s m | m -> r s where

Minimal complete definition

drink, spit, call

Methods

drink :: m s

spit :: s -> m ()

call :: r -> m ()

Instances

MonadDrunk r s m => MonadDrunk r s (MaybeT m)

Methods

drink :: MaybeT m s

spit :: s -> MaybeT m ()

call :: r -> MaybeT m ()

(Monoid x, MonadDrunk r s m) => MonadDrunk r s (WriterT x m)

Methods

drink :: WriterT x m s

spit :: s -> WriterT x m ()

call :: r -> WriterT x m ()

(Monoid x, MonadDrunk r s m) => MonadDrunk r s (WriterT x m)

Methods

drink :: WriterT x m s

spit :: s -> WriterT x m ()

call :: r -> WriterT x m ()

MonadDrunk r s m => MonadDrunk r s (StateT x m)

Methods

drink :: StateT x m s

spit :: s -> StateT x m ()

call :: r -> StateT x m ()

MonadDrunk r s m => MonadDrunk r s (StateT x m)

Methods

drink :: StateT x m s

spit :: s -> StateT x m ()

call :: r -> StateT x m ()

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 ()

MonadDrunk r s m => MonadDrunk r s (ContT * x m)

Methods

drink :: ContT * x m s

spit :: s -> ContT * x m ()

call :: r -> ContT * x m ()

MonadDrunk r s m => MonadDrunk r s (ReaderT * x m)

Methods

drink :: ReaderT * x m s

spit :: s -> ReaderT * x m ()

call :: r -> ReaderT * x m ()

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 ()

MonadDrunk r s (Patron r s m)

Methods

drink :: Patron r s m s

spit :: s -> Patron r s m ()

call :: r -> Patron r s m ()

Functor m => MonadDrunk r s (Boozer r s m)

Methods

drink :: Boozer r s m s

spit :: s -> Boozer r s m ()

call :: r -> Boozer r s m ()

(Monoid y, MonadDrunk r s m) => MonadDrunk r s (RWST x y z m)

Methods

drink :: RWST x y z m s

spit :: s -> RWST x y z m ()

call :: r -> RWST x y z m ()

(Monoid y, MonadDrunk r s m) => MonadDrunk r s (RWST x y z m)

Methods

drink :: RWST x y z m s

spit :: s -> RWST x y z m ()

call :: r -> RWST x y z m ()

smell :: MonadDrunk r s m => m s

Get one element without consuming.

class CloseRequest a where

Minimal complete definition

closeRequest

Methods

closeRequest :: a

A value representing a close request

Instances

CloseRequest ()

Methods

closeRequest :: ()

CloseRequest a => CloseRequest [a]

Methods

closeRequest :: [a]