« Previous | Next » 

Revision 91e5d533

ID91e5d533696b606cdec045be2403c07e7c78b3b1
Parent a9c3ba29
Child 75033afd

Added by Klaus Aehlig almost 7 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 <>

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences