History | View | Annotate | Download (1.5 kB)
Add a type class describing types that can serve as locks
Besides the lock order and Show, an additional datum is needed in orderto describe lock inclusion, used, e.g., for group locks. So add a typeclass describing this property.
Signed-off-by: Klaus Aehlig <aehlig@google.com>...