MonadicBang.Internal.Effect.Offer

Documentation

data Offer k v m a where

Offers a number of things that can be yoinked, but only once

Constructors

Yoink :: k -> Offer k v m (Maybe v)

Instances

(Algebra sig m, Ord k) => Algebra ((Offer k v :: (Type -> Type) -> Type -> Type) :+: sig) (OfferC k v m)

Defined in MonadicBang.Internal.Effect.Offer

Methods

alg :: forall ctx (n :: Type -> Type) a. Functor ctx => Handler ctx n (OfferC k v m) -> (Offer k v :+: sig) n a -> ctx () -> OfferC k v m (ctx a)

yoink :: Has (Offer k v) sig m => k -> m (Maybe v)

newtype OfferC k v m a

Constructors

OfferC

Fields

• getOfferState :: StateC (Map k v) m a

Instances

(Algebra sig m, Ord k) => Algebra ((Offer k v :: (Type -> Type) -> Type -> Type) :+: sig) (OfferC k v m)

Defined in MonadicBang.Internal.Effect.Offer

Methods

alg :: forall ctx (n :: Type -> Type) a. Functor ctx => Handler ctx n (OfferC k v m) -> (Offer k v :+: sig) n a -> ctx () -> OfferC k v m (ctx a)

Monad m => Applicative (OfferC k v m)

Defined in MonadicBang.Internal.Effect.Offer

Methods

pure :: a -> OfferC k v m a

(<*>) :: OfferC k v m (a -> b) -> OfferC k v m a -> OfferC k v m b

liftA2 :: (a -> b -> c) -> OfferC k v m a -> OfferC k v m b -> OfferC k v m c

(*>) :: OfferC k v m a -> OfferC k v m b -> OfferC k v m b

(<*) :: OfferC k v m a -> OfferC k v m b -> OfferC k v m a

Functor m => Functor (OfferC k v m)

Defined in MonadicBang.Internal.Effect.Offer

Methods

fmap :: (a -> b) -> OfferC k v m a -> OfferC k v m b

(<$) :: a -> OfferC k v m b -> OfferC k v m a

Monad m => Monad (OfferC k v m)

Defined in MonadicBang.Internal.Effect.Offer

Methods

(>>=) :: OfferC k v m a -> (a -> OfferC k v m b) -> OfferC k v m b

(>>) :: OfferC k v m a -> OfferC k v m b -> OfferC k v m b

return :: a -> OfferC k v m a

runOffer :: Map k v -> OfferC k v m a -> m (Map k v, a)