Data.Drinkery.Class

Documentation

newtype Drinker t m a

A Drinker is a stream consumer monad.

Constructors

Drinker

Fields

• runDrinker :: t m -> m (a, t m)

Instances

MonadWriter s m => MonadWriter s (Drinker t m)

Methods

writer :: (a, s) -> Drinker t m a

tell :: s -> Drinker t m ()

listen :: Drinker t m a -> Drinker t m (a, s)

pass :: Drinker t m (a, s -> s) -> Drinker t m a

MonadState s m => MonadState s (Drinker t m)

Methods

get :: Drinker t m s

put :: s -> Drinker t m ()

state :: (s -> (a, s)) -> Drinker t m a

MonadReader r m => MonadReader r (Drinker t m)

Methods

ask :: Drinker t m r

local :: (r -> r) -> Drinker t m a -> Drinker t m a

reader :: (r -> a) -> Drinker t m a

Monad m => MonadDrunk t (Drinker t m)

Methods

drinking :: (forall (n :: * -> *). Monad n => t n -> n (a, t n)) -> Drinker t m a

MonadTrans (Drinker t)

Methods

lift :: Monad m => m a -> Drinker t m a

Monad m => Monad (Drinker s m)

Methods

(>>=) :: Drinker s m a -> (a -> Drinker s m b) -> Drinker s m b

(>>) :: Drinker s m a -> Drinker s m b -> Drinker s m b

return :: a -> Drinker s m a

fail :: String -> Drinker s m a

Functor m => Functor (Drinker s m)

Methods

fmap :: (a -> b) -> Drinker s m a -> Drinker s m b

(<$) :: a -> Drinker s m b -> Drinker s m a

(Functor m, Monad m) => Applicative (Drinker s m)

Methods

pure :: a -> Drinker s m a

(<*>) :: Drinker s m (a -> b) -> Drinker s m a -> Drinker s m b

liftA2 :: (a -> b -> c) -> Drinker s m a -> Drinker s m b -> Drinker s m c

(*>) :: Drinker s m a -> Drinker s m b -> Drinker s m b

(<*) :: Drinker s m a -> Drinker s m b -> Drinker s m a

MonadIO m => MonadIO (Drinker t m)

Methods

liftIO :: IO a -> Drinker t m a

mapDrinker :: (forall x. m x -> m x) -> Drinker t m a -> Drinker t m a

class Monad m => MonadDrunk t m | m -> t where

Monads that drink

Minimal complete definition

drinking

Methods

drinking :: (forall n. Monad n => t n -> n (a, t n)) -> m a

Instances

MonadDrunk t m => MonadDrunk t (MaybeT m)

Methods

drinking :: (forall (n :: * -> *). Monad n => t n -> n (a, t n)) -> MaybeT m a

(Monoid x, MonadDrunk t m) => MonadDrunk t (WriterT x m)

Methods

drinking :: (forall (n :: * -> *). Monad n => t n -> n (a, t n)) -> WriterT x m a

(Monoid x, MonadDrunk t m) => MonadDrunk t (WriterT x m)

Methods

drinking :: (forall (n :: * -> *). Monad n => t n -> n (a, t n)) -> WriterT x m a

MonadDrunk t m => MonadDrunk t (StateT x m)

Methods

drinking :: (forall (n :: * -> *). Monad n => t n -> n (a, t n)) -> StateT x m a

MonadDrunk t m => MonadDrunk t (StateT x m)

Methods

drinking :: (forall (n :: * -> *). Monad n => t n -> n (a, t n)) -> StateT x m a

Monad m => MonadDrunk t (Drinker t m)

Methods

drinking :: (forall (n :: * -> *). Monad n => t n -> n (a, t n)) -> Drinker t m a

MonadDrunk t m => MonadDrunk t (Sommelier p m)

Methods

drinking :: (forall (n :: * -> *). Monad n => t n -> n (a, t n)) -> Sommelier p m a

MonadDrunk t m => MonadDrunk t (ContT * x m)

Methods

drinking :: (forall (n :: * -> *). Monad n => t n -> n (a, t n)) -> ContT * x m a

MonadDrunk t m => MonadDrunk t (ReaderT * x m)

Methods

drinking :: (forall (n :: * -> *). Monad n => t n -> n (a, t n)) -> ReaderT * x m a

MonadDrunk t m => MonadDrunk t (Barman p q m)

Methods

drinking :: (forall (n :: * -> *). Monad n => t n -> n (a, t n)) -> Barman p q m a

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

Methods

drinking :: (forall (n :: * -> *). Monad n => t n -> n (a, t n)) -> RWST x y z m a

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

Methods

drinking :: (forall (n :: * -> *). Monad n => t n -> n (a, t n)) -> RWST x y z m a

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]

class Closable t where

Closable tap

Minimal complete definition

close

Methods

close :: Monad m => t m -> m ()

Instances

CloseRequest r => Closable (Tap r s)

Methods

close :: Monad m => Tap r s m -> m ()