You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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).