Copyright | (C) 2017 Edward Kmett |
---|---|

License | BSD-style (see the file LICENSE) |

Maintainer | Edward Kmett <ekmett@gmail.com> |

Stability | provisional |

Portability | portable |

Safe Haskell | Safe-Inferred |

Language | Haskell2010 |

Useful tools for Gödel numbering.

# Documentation

_Pair :: Iso' Natural (Natural, Natural) Source #

The natural numbers are isomorphic to the product of the natural numbers with itself.

N = N*N

_Sum :: Iso' Natural (Either Natural Natural) Source #

The natural numbers are isomorphic to disjoint sums of natural numbers embedded as evens or odds.

N = 2*N