Snippets tagged comparable types

  • ad hoc tagged sets

    Given an ordered set S and an arbitrary set T, any function T -> S induces a natural ordering on T. We use this idea and the infrastructure provided by Tagged.Set to quickly construct sets over arbitrary types with custom comparison rules.

    4 people like this

    Posted: 4 years ago by Eirik Tsarpalis