« Previous | Next » 

Revision 3f173b09

ID3f173b0953da34eaf0efd7141f9dc18c1acfcc4e

Added by Klaus Aehlig over 9 years ago

Derive Ord JobId

Make the type JobId an instance of Ord. While the order itself
does not matter, it is a prerequisite to be an instance of Ord
to be used as the type of lock owners.

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

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences