Safe Haskell	Safe-Inferred
Language	GHC2021

SupplyChain.Core.Vendor

Contents

Description

Synopsis

newtype Vendor up down action = Vendor {
- handle :: forall product. down product -> Job up action (Referral up down action product)
}
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

newtype Vendor up down action Source #

Makes requests, responds to requests, and performs actions

Constructors

Vendor
Fields handle :: forall product. down product -> Job up action (Referral up down action product)

Running

Arguments

:: 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:

Arguments

:: Vendor (Const Void) down (Const Void)
-> down product	Request
-> 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' Source #