bruijn standard library

This is the browsable standard library of the bruijn programming language. Follow any of the links below to see the source of the corresponding module.

std/

  1. :import Box (9 definitions, 9 tests)
  2. :import Char (9 definitions, 30 tests)
  3. :import Combinator (73 definitions, 47 tests)
  4. :import IO (2 definitions, 0 tests)
  5. :import List (alias)
  6. :import Logic (alias)
  7. :import Map (7 definitions, 2 tests)
  8. :import Math (37 definitions, 59 tests)
  9. :import Meta (34 definitions, 74 tests)
  10. :import Monad (alias)
  11. :import Number (2 definitions, 3 tests)
  12. :import Option (12 definitions, 16 tests)
  13. :import Pair (13 definitions, 8 tests)
  14. :import Result (12 definitions, 18 tests)
  15. :import Set (6 definitions, 0 tests)
  16. :import String (28 definitions, 34 tests)

std/AIT

  1. :import Beavers (37 definitions, 0 tests)

std/Generic

  1. :import Monad (11 definitions, 0 tests)
  2. :import Number (21 definitions, 0 tests)

std/List

  1. :import Church (93 definitions, 100 tests)
  2. :import Parigot (10 definitions, 6 tests)

std/Logic

  1. :import Binary (19 definitions, 38 tests)
  2. :import Linear (11 definitions, 18 tests)
  3. :import Ternary (10 definitions, 30 tests)

std/Math

  1. :import Complex (21 definitions, 3 tests)
  2. :import Rational (37 definitions, 22 tests)
  3. :import Real (51 definitions, 17 tests)

std/Monad

  1. :import List (14 definitions, 3 tests)
  2. :import Parser (21 definitions, 13 tests)
  3. :import State (4 definitions, 2 tests)

std/Number

  1. :import Binary (55 definitions, 70 tests)
  2. :import Bruijn (6 definitions, 7 tests)
  3. :import Conversion (9 definitions, 8 tests)
  4. :import Pairing (2 definitions, 8 tests)
  5. :import Parigot (9 definitions, 2 tests)
  6. :import Scott (5 definitions, 13 tests)
  7. :import Ternary (73 definitions, 127 tests)
  8. :import Unary (33 definitions, 39 tests)
  9. :import Wadsworth (4 definitions, 5 tests)

std/Set

  1. :import Number (3 definitions, 6 tests)
  2. :import String (3 definitions, 6 tests)

std/Tree

  1. :import Balanced (25 definitions, 12 tests)
  2. :import Finger (43 definitions, 62 tests)
  3. :import Rose (14 definitions, 3 tests)

Total: 888 definitions, 920 tests