A parametric device type which provides two "methods," one to lock the device, and the other to unlock it.

The parameter d is the concrete device type and is used during construction to create the two methods by binding them to actions on the specific device.

For example, the implementation of the mockLockDevice function, which wraps a MockLock in a Device d, looks like this:

mockLockDevice :: MockLock -> Device MockLock
mockLockDevice l =
  Device (liftIO $ lockMockLock l)
         (liftIO $ unlockMockLock l)

A program can construct such a device and use it like so:

>>> ml <- mockLock
>>> let mld = mockLockDevice ml
>>> events ml
[]
>>> lockDevice mld
>>> events ml
[LockEvent ... UTC]
>>> unlockDevice mld
>>> events ml
[LockEvent ... UTC,UnlockEvent ... UTC]

A mock lock device that logs lock / unlock events.

No constructor is exported. Use mockLock to create a new instance and events to extract the log.

Construct a new mock lock with an empty event log.

Events logged by MockLock are of this type.

Lock the mock lock.

Unlock the mock lock.

Extract the current log of events from the mock lock.

Wrap a MockLock value with a Device value, for use with a mellon-core controller.