Data.Field.Observe

Data.Field.Observe simple field observer.

Exports

module Data.Property

Observable field

data Observe field m record a

Simple field observer, which can run some handlers after each action.

Constructors

Observe

Fields

• observed :: field m record a

  Field to observe.

• onGet :: record -> a -> m ()

  getRecord observer

• onSet :: record -> a -> m ()

  setRecord observer

• onModify :: record -> m ()

  modifyRecord observer

Instances

FieldSwitch field => FieldSwitch (Observe field)

Defined in Data.Field.Observe

Methods

switchRecord :: (Monad m, IsSwitch a) => Observe field m record a -> record -> Int -> m ()

(FieldModify field, FieldGet field) => FieldModify (Observe field)

Defined in Data.Field.Observe

Methods

modifyRecord :: Monad m => Observe field m record a -> record -> (a -> a) -> m a

modifyRecordM :: (Monad m, FieldGet (Observe field)) => Observe field m record a -> record -> (a -> m a) -> m a

FieldSet field => FieldSet (Observe field)

Defined in Data.Field.Observe

Methods

setRecord :: Monad m => Observe field m record a -> record -> a -> m ()

FieldGet field => FieldGet (Observe field)

Defined in Data.Field.Observe

Methods

getRecord :: Monad m => Observe field m record a -> record -> m a

observe :: Monad m => field m record a -> Observe field m record a

Create field with default observers.