Clone this wiki locally
.connect[A1,...,AN], and how implicit bijections are found (in Bijection object and in the companion objects for types).
- Wait some of these are just Injections with inverses! Good thing we know the Cantor–Bernstein–Schroeder theorem which assures us there is a bijection over a suitably restricted subset of the input and output (which we achieve with Tagging or by introducing value class wrappers on or both sides of the Bijection, e.g. Base64String).
- Using Bijection From Java
Understanding Tags: how we mark types as representations of others, e.g.
String @ Rep[Int]