Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
MonadicBang.Effect.Offer
Documentation
data Offer k v m a where Source #
Offers a number of things that can be yoinked, but only once
newtype OfferC k v m a Source #
Constructors
OfferC | |
Fields
|
Instances
(Algebra sig m, Ord k) => Algebra ((Offer k v :: (Type -> Type) -> Type -> Type) :+: sig) (OfferC k v m) Source # | |
Monad m => Applicative (OfferC k v m) Source # | |
Defined in MonadicBang.Effect.Offer | |
Functor m => Functor (OfferC k v m) Source # | |
Monad m => Monad (OfferC k v m) Source # | |