Safe Haskell	Safe-Inferred
Language	GHC2021

SupplyChain.Core.Effect

Contents

Description

Synopsis

data Effect up action product
- = Request (up product)
- | Perform (action product)
run :: Effect (Const Void) action product -> action product
absurd :: Effect (Const Void) (Const Void) x -> 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

Type

data Effect up action product Source #

Constructors

Request (up product)
Perform (action product)

Running

Arguments

:: Effect (Const Void) action product	An effect that makes no requests
-> action product

Arguments

:: Effect (Const Void) (Const Void) x	There are values of this type.
-> product

Arguments

:: (up product -> Effect up' action product)	Modification to requests
-> Effect up action product
-> Effect up' action product

Arguments

:: (action product -> Effect up action' product)	Modification to actions
-> Effect up action product
-> Effect up action' product