Agda.Utils.Update

data Change a

class MonadChange m

runChange

type Updater a

sharing

runUpdater

dirty

ifDirty

class Updater1 f

class Updater2 f