Safe Haskell	Safe-Inferred
Language	GHC2021

SupplyChain.Effect

Contents

Description

An effect is either request or perform

Synopsis

data Effect (up :: k -> Type) (action :: k -> Type) (product :: k)
- = Request (up product)
- | Perform (action product)
alterRequest :: (up product -> Effect up' action product) -> Effect up action product -> Effect up' action product
alterPerform :: (action product -> Effect up action' product) -> Effect up action product -> Effect up action' product
alterRequest' :: (up product -> up' product) -> Effect up action product -> Effect up' action product
alterPerform' :: (action product -> action' product) -> Effect up action product -> Effect up action' product

Type

data Effect (up :: k -> Type) (action :: k -> Type) (product :: k) #

Constructors

Request (up product)
Perform (action product)

General alteration

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

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