This module provides the signature for the updater
a -> c -> ( a, List ( d, b ), c )
The updater a: message sender (object) b: message c: environment messages d: target
a -> d -> Basics.Bool
Return true if the target is the sender (second argument)
d -> Basics.Bool
Return true if the target is the parent
c -> c
Clean the environment
c -> c -> c
Patch the environment
{ update : Updater a b c d
, updaterec : RecUpdater a b c d
, match : Matcher a d
, super : Super d
, clean : Cleaner c
, patch : Patcher c
}
RecBody type.
Pass this as an argument to the updater