On this page:
Generic Relations

Generic Relations

Siddhartha Kasivajhula

 (require relation) package: Relation

This collection provides generic relations and type-agnostic operators. Out of the box, many Racket relations and operators are type-specific. For instance, < operates specifically on numbers, conversion of any datatype to a string must use a type-specific transformer like symbol->string, and likewise + operates specifically on numbers even though many datatypes sustain a natural notion of addition. This package provides a number of interfaces and utilities to override these default operators with generic versions.

    1 Order and Equivalence Relations

    2 Type Transformers

    3 Algebraic Operations