MapModelR

diode

MapModelRW

diode

MappedModelR

diode

ModelR

diode

ModelRW

diode

ModelUpdate

ActionResult

ModelUpdateEffect

ActionResult

ModelUpdated

diode

Monad

diode

map

Effect EffectBase EffectSeq EffectSet ModelR Monad optionMonad

mapValue

FlatMapModelR MapModelR MappedModelR

model

Circuit

modelRW

ActionHandler

monad

FlatMapModelR MapModelR MappedModelR