OrdC package:grisette

Ord classes that can be derived for GADTs. This includes:
Concrete ordered classes that can be derived for GADTs that
  • uses unified evaluation mode, or
  • does not contain any symbolic variables.
This includes:
*1 concrete ordered classes that can be derived for GADT functors that
  • uses unified evaluation mode, or
  • does not contain any symbolic variables.
This includes:
*2 concrete ordered classes that can be derived for GADT functors that
  • uses unified evaluation mode, or
  • does not contain any symbolic variables.
This includes:
SymOrd classes that can be derived for GADTs. This includes:
UnifiedSymOrd classes that can be derived for GADTs. This includes: