Data.Drinkery

Documentation

module Data.Drinkery.Class

module Data.Drinkery.Distiller

module Data.Drinkery.Tap

newtype Patron r s m a

Patron is a CPS'd Boozer.

Constructors

Patron

Fields

• unPatron :: forall x. (a -> Boozer r s m x) -> Boozer r s m x

Instances

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

MonadReader x m => MonadReader x (Patron r s m)

Methods

ask :: Patron r s m x

local :: (x -> x) -> Patron r s m a -> Patron r s m a

reader :: (x -> a) -> Patron r s m a

MonadState x m => MonadState x (Patron r s m)

Methods

get :: Patron r s m x

put :: x -> Patron r s m ()

state :: (x -> (a, x)) -> Patron r s m a

MonadTrans (Patron r s)

Methods

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

Monad (Patron r s m)

Methods

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

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

return :: a -> Patron r s m a

fail :: String -> Patron r s m a

Functor (Patron r s m)

Methods

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

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

Applicative (Patron r s m)

Methods

pure :: a -> Patron r s m a

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

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

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

MonadIO m => MonadIO (Patron r s m)

Methods

liftIO :: IO a -> Patron r s m a