« Previous | Next » 

Revision 91e5d533

Parent a9c3ba29
Child 75033afd

Added by Klaus Aehlig over 9 years ago

Add a type class describing types that can serve as locks

Besides the lock order and Show, an additional datum is needed in order
to describe lock inclusion, used, e.g., for group locks. So add a type
class describing this property.

Signed-off-by: Klaus Aehlig <>
Reviewed-by: Petr Pudlak <>


  • added
  • modified
  • copied
  • renamed
  • deleted

View differences