Statements (13)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:class
|
| gptkbp:defines |
ordering
|
| gptkbp:descendant |
Eq class
|
| gptkbp:enables |
sorting
|
| https://www.w3.org/2000/01/rdf-schema#label |
Ord class
|
| gptkbp:is_implemented_in |
gptkb:Library
custom types |
| gptkbp:is_used_by |
data types
|
| gptkbp:part_of |
gptkb:Library
|
| gptkbp:provides |
compare function
|
| gptkbp:requires |
total ordering
|
| gptkbp:bfsParent |
gptkb:Haskell's_type_classes
|
| gptkbp:bfsLayer |
5
|