Safe Haskell	None
Language	GHC2021

MonadicBang.Internal.Effect.Offer

Synopsis

data Offer k1 v (m :: k) a where
- Yoink :: forall {k} k1 v (m :: k). k1 -> Offer k1 v m (Maybe v)
yoink :: forall k v (sig :: (Type -> Type) -> Type -> Type) m. Has (Offer k v :: (Type -> Type) -> Type -> Type) sig m => k -> m (Maybe v)
newtype OfferC k v (m :: Type -> Type) a = OfferC {
- getOfferState :: StateC (Map k v) m a
}
runOffer :: Map k v -> OfferC k v m a -> m (Map k v, a)

Documentation

data Offer k1 v (m :: k) a where Source #

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

Constructors

Yoink :: forall {k} k1 v (m :: k). k1 -> Offer k1 v m (Maybe v)

Instances details

(Algebra sig m, Ord k) => Algebra ((Offer k v :: (Type -> Type) -> Type -> Type) :+: sig) (OfferC k v m) Source #
Instance details 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 :: (Type -> Type) -> Type -> Type) :+: sig) n a -> ctx () -> OfferC k v m (ctx a) #

yoink :: forall k v (sig :: (Type -> Type) -> Type -> Type) m. Has (Offer k v :: (Type -> Type) -> Type -> Type) sig m => k -> m (Maybe v) Source #

newtype OfferC k v (m :: Type -> Type) a Source #

Constructors

OfferC
Fields getOfferState :: StateC (Map k v) m a

Instances details

(Algebra sig m, Ord k) => Algebra ((Offer k v :: (Type -> Type) -> Type -> Type) :+: sig) (OfferC k v m) Source #
Instance details 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 :: (Type -> Type) -> Type -> Type) :+: sig) n a -> ctx () -> OfferC k v m (ctx a) #
Monad m => Applicative (OfferC k v m) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #