Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Synopsis
- newtype Vendor up down action = Vendor {}
- run :: Monad action => Vendor (Const Void) down action -> down product -> action (Referral (Const Void) down action product)
- eval :: Vendor (Const Void) down (Const Void) -> down product -> Referral (Const Void) down (Const Void) product
- alter :: (forall x. Effect up action x -> Job up' action' x) -> Vendor up down action -> Vendor up' down action'
Type
Running
:: Monad action | |
=> Vendor (Const Void) down action | |
-> down product | Request |
-> action (Referral (Const Void) down action product) |
An action in which a vendor handles a single request
The action returns a Referral
, which contains two things:
- The response to the request
- A new version of the vendor