Data.Drinkery.Boozer

Documentation

data Boozer r s m a

Boozer is the initial encoding of a consumer.

Constructors

Drink (s -> Boozer r s m a)

Spit s (Boozer r s m a)

Call r (Boozer r s m a)

Lift (m (Boozer r s m a))

Pure a

Instances

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

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

Methods

ask :: Boozer r s m x

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

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

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

Methods

get :: Boozer r s m x

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

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

MonadTrans (Boozer r s)

Methods

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

Functor m => Monad (Boozer r s m)

Methods

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

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

return :: a -> Boozer r s m a

fail :: String -> Boozer r s m a

Functor m => Functor (Boozer r s m)

Methods

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

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

Functor m => Applicative (Boozer r s m)

Methods

pure :: a -> Boozer r s m a

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

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

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

MonadIO m => MonadIO (Boozer r s m)

Methods

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

iterBoozer

Arguments

:: ([s] -> a -> z)

return

-> ((s -> z) -> z)

drink

-> (r -> z -> z)

call

-> (forall x. m x -> (x -> z) -> z)

bind

-> Boozer r s m a

-> z

Tear down a Boozer, maintaining a stack of leftovers.

hoistBoozer :: Functor n => (forall x. m x -> n x) -> Boozer r s m a -> Boozer r s n a

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

runPatron :: Patron r s m a -> Boozer r s m a