@yakcc/cli 0.5.0-alpha.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (115) hide show
  1. package/LICENSE +214 -0
  2. package/LICENSE-ATOMS +38 -0
  3. package/README.md +76 -0
  4. package/dist/bin.js +10884 -0
  5. package/dist/bin.js.map +1 -0
  6. package/dist/blocks/ascii-char/impl.ts +16 -0
  7. package/dist/blocks/ascii-char/proof/manifest.json +8 -0
  8. package/dist/blocks/ascii-char/proof/tests.fast-check.ts +20 -0
  9. package/dist/blocks/ascii-char/spec.yak +80 -0
  10. package/dist/blocks/ascii-digit-set/impl.ts +9 -0
  11. package/dist/blocks/ascii-digit-set/proof/manifest.json +8 -0
  12. package/dist/blocks/ascii-digit-set/proof/tests.fast-check.ts +20 -0
  13. package/dist/blocks/ascii-digit-set/spec.yak +66 -0
  14. package/dist/blocks/base64-alphabet/impl.ts +98 -0
  15. package/dist/blocks/base64-alphabet/proof/manifest.json +8 -0
  16. package/dist/blocks/base64-alphabet/proof/tests.fast-check.ts +18 -0
  17. package/dist/blocks/base64-alphabet/spec.yak +110 -0
  18. package/dist/blocks/bracket/impl.ts +20 -0
  19. package/dist/blocks/bracket/proof/manifest.json +8 -0
  20. package/dist/blocks/bracket/proof/tests.fast-check.ts +20 -0
  21. package/dist/blocks/bracket/spec.yak +85 -0
  22. package/dist/blocks/char-code/impl.ts +15 -0
  23. package/dist/blocks/char-code/proof/manifest.json +8 -0
  24. package/dist/blocks/char-code/proof/tests.fast-check.ts +20 -0
  25. package/dist/blocks/char-code/spec.yak +80 -0
  26. package/dist/blocks/comma/impl.ts +20 -0
  27. package/dist/blocks/comma/proof/manifest.json +8 -0
  28. package/dist/blocks/comma/proof/tests.fast-check.ts +20 -0
  29. package/dist/blocks/comma/spec.yak +80 -0
  30. package/dist/blocks/comma-separated-integers/impl.ts +85 -0
  31. package/dist/blocks/comma-separated-integers/proof/manifest.json +8 -0
  32. package/dist/blocks/comma-separated-integers/proof/tests.fast-check.ts +20 -0
  33. package/dist/blocks/comma-separated-integers/spec.yak +84 -0
  34. package/dist/blocks/digit/impl.ts +12 -0
  35. package/dist/blocks/digit/proof/manifest.json +8 -0
  36. package/dist/blocks/digit/proof/tests.fast-check.ts +21 -0
  37. package/dist/blocks/digit/spec.yak +79 -0
  38. package/dist/blocks/digit-or-throw/impl.ts +20 -0
  39. package/dist/blocks/digit-or-throw/proof/manifest.json +8 -0
  40. package/dist/blocks/digit-or-throw/proof/tests.fast-check.ts +20 -0
  41. package/dist/blocks/digit-or-throw/spec.yak +80 -0
  42. package/dist/blocks/empty-list-content/impl.ts +20 -0
  43. package/dist/blocks/empty-list-content/proof/manifest.json +8 -0
  44. package/dist/blocks/empty-list-content/proof/tests.fast-check.ts +20 -0
  45. package/dist/blocks/empty-list-content/spec.yak +80 -0
  46. package/dist/blocks/eof-check/impl.ts +16 -0
  47. package/dist/blocks/eof-check/proof/manifest.json +8 -0
  48. package/dist/blocks/eof-check/proof/tests.fast-check.ts +20 -0
  49. package/dist/blocks/eof-check/spec.yak +76 -0
  50. package/dist/blocks/integer/impl.ts +29 -0
  51. package/dist/blocks/integer/proof/manifest.json +8 -0
  52. package/dist/blocks/integer/proof/tests.fast-check.ts +21 -0
  53. package/dist/blocks/integer/spec.yak +84 -0
  54. package/dist/blocks/list-of-ints/impl.ts +168 -0
  55. package/dist/blocks/list-of-ints/proof/manifest.json +8 -0
  56. package/dist/blocks/list-of-ints/proof/tests.fast-check.ts +23 -0
  57. package/dist/blocks/list-of-ints/spec.yak +103 -0
  58. package/dist/blocks/lru-node/impl.ts +50 -0
  59. package/dist/blocks/lru-node/proof/manifest.json +8 -0
  60. package/dist/blocks/lru-node/proof/tests.fast-check.ts +16 -0
  61. package/dist/blocks/lru-node/spec.yak +92 -0
  62. package/dist/blocks/memoize/impl.ts +60 -0
  63. package/dist/blocks/memoize/proof/manifest.json +8 -0
  64. package/dist/blocks/memoize/proof/tests.fast-check.ts +15 -0
  65. package/dist/blocks/memoize/spec.yak +91 -0
  66. package/dist/blocks/non-ascii-rejector/impl.ts +14 -0
  67. package/dist/blocks/non-ascii-rejector/proof/manifest.json +8 -0
  68. package/dist/blocks/non-ascii-rejector/proof/tests.fast-check.ts +20 -0
  69. package/dist/blocks/non-ascii-rejector/spec.yak +67 -0
  70. package/dist/blocks/nonempty-list-content/impl.ts +116 -0
  71. package/dist/blocks/nonempty-list-content/proof/manifest.json +8 -0
  72. package/dist/blocks/nonempty-list-content/proof/tests.fast-check.ts +20 -0
  73. package/dist/blocks/nonempty-list-content/spec.yak +88 -0
  74. package/dist/blocks/optional-whitespace/impl.ts +21 -0
  75. package/dist/blocks/optional-whitespace/proof/manifest.json +8 -0
  76. package/dist/blocks/optional-whitespace/proof/tests.fast-check.ts +20 -0
  77. package/dist/blocks/optional-whitespace/spec.yak +76 -0
  78. package/dist/blocks/peek-char/impl.ts +15 -0
  79. package/dist/blocks/peek-char/proof/manifest.json +8 -0
  80. package/dist/blocks/peek-char/proof/tests.fast-check.ts +20 -0
  81. package/dist/blocks/peek-char/spec.yak +76 -0
  82. package/dist/blocks/position-step/impl.ts +21 -0
  83. package/dist/blocks/position-step/proof/manifest.json +8 -0
  84. package/dist/blocks/position-step/proof/tests.fast-check.ts +20 -0
  85. package/dist/blocks/position-step/spec.yak +85 -0
  86. package/dist/blocks/queue-drain/impl.ts +74 -0
  87. package/dist/blocks/queue-drain/proof/manifest.json +8 -0
  88. package/dist/blocks/queue-drain/proof/tests.fast-check.ts +16 -0
  89. package/dist/blocks/queue-drain/spec.yak +119 -0
  90. package/dist/blocks/semver-component-parser/impl.ts +115 -0
  91. package/dist/blocks/semver-component-parser/proof/manifest.json +8 -0
  92. package/dist/blocks/semver-component-parser/proof/tests.fast-check.ts +19 -0
  93. package/dist/blocks/semver-component-parser/spec.yak +109 -0
  94. package/dist/blocks/signed-integer/impl.ts +40 -0
  95. package/dist/blocks/signed-integer/proof/manifest.json +8 -0
  96. package/dist/blocks/signed-integer/proof/tests.fast-check.ts +21 -0
  97. package/dist/blocks/signed-integer/spec.yak +84 -0
  98. package/dist/blocks/string-from-position/impl.ts +18 -0
  99. package/dist/blocks/string-from-position/proof/manifest.json +8 -0
  100. package/dist/blocks/string-from-position/proof/tests.fast-check.ts +20 -0
  101. package/dist/blocks/string-from-position/spec.yak +85 -0
  102. package/dist/blocks/timer-handle/impl.ts +66 -0
  103. package/dist/blocks/timer-handle/proof/manifest.json +8 -0
  104. package/dist/blocks/timer-handle/proof/tests.fast-check.ts +18 -0
  105. package/dist/blocks/timer-handle/spec.yak +67 -0
  106. package/dist/blocks/whitespace/impl.ts +20 -0
  107. package/dist/blocks/whitespace/proof/manifest.json +8 -0
  108. package/dist/blocks/whitespace/proof/tests.fast-check.ts +21 -0
  109. package/dist/blocks/whitespace/spec.yak +80 -0
  110. package/dist/bootstrap/expected-failures.json +4 -0
  111. package/dist/bootstrap/expected-roots.json +49890 -0
  112. package/dist/bootstrap/yakcc.registry.sqlite +0 -0
  113. package/dist/index.js +10826 -0
  114. package/dist/index.js.map +1 -0
  115. package/package.json +78 -0