Safe Haskell	Safe-Inferred
Language	GHC2021

SupplyChain.Alter

Contents

Description

Functions for modifying requests and actions

Synopsis

job :: (forall x. Effect up action x -> Job up' action' x) -> Job up action product -> Job up' action' product
vendor :: (forall x. Effect up action x -> Job up' action' x) -> Vendor up down action -> Vendor up' down action'
request :: (up product -> Effect up' action product) -> Effect up action product -> Effect up' action product
perform :: (action product -> Effect up action' product) -> Effect up action product -> Effect up action' product
job' :: (forall x. Effect up action x -> Effect up' action' x) -> Job up action product -> Job up' action' product
vendor' :: (forall x. Effect up action x -> Effect up' action' x) -> Vendor up down action -> Vendor up' down action'
request' :: (up product -> up' product) -> Effect up action product -> Effect up' action product
perform' :: (action product -> action' product) -> Effect up action product -> Effect up action' product

General

Arguments

:: (forall x. Effect up action x -> Job up' action' x)	Transformation applied to each effect that the job evokes
-> Job up action product
-> Job up' action' product

Arguments

:: (forall x. Effect up action x -> Job up' action' x)	Transformation applied to each effect that the vendor evokes
-> Vendor up down action
-> Vendor up' down action'

Arguments

:: (up product -> Effect up' action product)	Transformation applied if the effect is a request
-> Effect up action product
-> Effect up' action product

Arguments

:: (action product -> Effect up action' product)	Transformation applied if the effect is an action
-> Effect up action product
-> Effect up action' product

Simplified

Arguments

:: (forall x. Effect up action x -> Effect up' action' x)	Transformation applied to each effect that the job evokes
-> Job up action product
-> Job up' action' product

Arguments

:: (forall x. Effect up action x -> Effect up' action' x)	Transformation applied to each effect that the vendor evokes
-> Vendor up down action
-> Vendor up' down action'

Arguments

:: (up product -> up' product)	Transformation applied if the effect is a request
-> Effect up action product
-> Effect up' action product

Arguments

:: (action product -> action' product)	Transformation applied if the effect is an action
-> Effect up action product
-> Effect up action' product