MapModelR

diode

MapModelRW

diode

MappedModelR

diode

ModelR

diode

ModelRO

diode

ModelRW

diode

ModelUpdate

ActionResult

ModelUpdateEffect

ActionResult

ModelUpdateSilent

ActionResult

ModelUpdateSilentEffect

ActionResult

ModelUpdated

diode

Monad

diode

macros

diode

map

Effect EffectBase EffectSeq EffectSet ModelRO Monad optionMonad

mapValue

FlatMapModelR MapModelR MappedModelR

markerEq

FastEq

modelRW

ActionHandler

monad

FlatMapModelR MapModelR MappedModelR