Skip to content
Sam Ritchie edited this page Aug 11, 2013 · 4 revisions

Basics

Discuss, .as[T], .connect[A1,...,AN], and how implicit bijections are found (in Bijection object and in the companion objects for types).

Other Topics

  • 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]

Documentation TODOs

Clone this wiki locally