.github/workflows/code_style_checks.yaml | 100644 | 0 | 0 | | | 778 Bytes | 710bdadbad46855c58a180c2d1c8ffbf3de3bb0e04910a185c419caa8f651c56 |
.github/workflows/tests.yaml | 100644 | 0 | 0 | | | 904 Bytes | f8e3bb791fb6a61fe912f4e063809094c04193316db4a85c6993be7f0722f836 |
.gitignore | 100644 | 0 | 0 | | | 47 Bytes | 6474b372f56ce6165c8d1a0aecf8f399b980bd59495f9f7afa0b3a51a3f43a9c |
.rspec | 100644 | 0 | 0 | | | 30 Bytes | e3a05cdf2301e0e7d8be6b1d1137aa310d7d023575bb2f305df3519c6df5cf2b |
.rubocop.yml | 100644 | 0 | 0 | | | 3.63 KB | 85be2c411114cf4e8ab8000e2d9e7557058ce86409e3d78820f760b4b5acbfc4 |
.rubocop_todo.yml | 100644 | 0 | 0 | | | 3.66 KB | d0da536f870963d344b518caa0d1f60a6349843398919aaa9f61fac8a7e50125 |
CHANGELOG.markdown | 100644 | 0 | 0 | | | 9.8 KB | 8d3567bf15df8e6791d8524b1d5f3ae2ee7b5654bebd5b389e2f26876649611a |
Gemfile | 100644 | 0 | 0 | | | 314 Bytes | fdb261a3de41c7ceeafbc6abb811405f67640108f56ae6877b8ac5751ff1a745 |
LICENSE | 100644 | 0 | 0 | | | 1.27 KB | a8efd2afd258cc3fa8a449e22ad53f839d2b774778201f6ee90a05952eadb83e |
README.md | 100644 | 0 | 0 | | | 3.36 KB | 53382e0c64a93dd929c2677eddb302655a63e5b0689c06d1591aaf2f647fb32c |
Rakefile | 100644 | 0 | 0 | | | 209 Bytes | a42814a7cbc84b37c0cff801febf837fe1596004fe034933a20799f3a7511a46 |
TODO.markdown | 100644 | 0 | 0 | | | 471 Bytes | 8cb911650e5062bfcaf9e10d5965a59a06843adbb55b28cfce26a32f4bd3b4ed |
TUTORIAL.md | 100644 | 0 | 0 | | | 26.5 KB | 6678c67429dd8aab6fb80225e080c458b915fb7ab34db7dfa7429207112c234f |
benchmarks/bench.rb | 100644 | 0 | 0 | | | 1.36 KB | 5fc09b2cadceec044851f7f5189f2a100eb9ffc3b462e62df89dddd26d4129b5 |
benchmarks/hash.rb | 100644 | 0 | 0 | | | 1.48 KB | 6958b104d98c091ea932f1037d968b38c3400c81182b7f533e09e4f751e6caf4 |
benchmarks/invariants.rb | 100644 | 0 | 0 | | | 1.89 KB | ab28015ca21ec096a2d5a7e02f3661abd84ec231cb2fbdd20e88ca01f1b7069c |
benchmarks/io.rb | 100644 | 0 | 0 | | | 1.31 KB | af37441e8a57f85ed687f4aea265f9a4d237c5ff53dd5c81a3d36686a17d631d |
benchmarks/wrap_test.rb | 100644 | 0 | 0 | | | 981 Bytes | 341eff439a9c3428f90f5a0f0e076d41bb484a5d5a3df9659fd042dbdd8ba4af |
contracts.gemspec | 100644 | 0 | 0 | | | 700 Bytes | a11efaa120d1e49159ae2b8062a09621b4819960fc1d7900e41473cb5d1afde5 |
cucumber.yml | 100644 | 0 | 0 | | | 28 Bytes | 2f0a4ac320145dae3ce5b5570690f52e7a741c8eca8d37f05e1c4e90efc8c000 |
dependabot.yml | 100644 | 0 | 0 | | | 441 Bytes | 8a7a03239b816383e10978f8469eedb2ca5ebbf7861f6164d72bba8b0ba54bac |
features/README.md | 100644 | 0 | 0 | | | 518 Bytes | 9dae351d989a5c8b8aba3a5f24b1b0c05dc2a28e02626fc6bc7979e1bbb05b34 |
features/advanced/pattern_matching.feature | 100644 | 0 | 0 | | | 3.05 KB | fa44f6896ae49b448b122792cb63a162f2aee5a2d3c8b449caa76d60d10e8444 |
features/basics/functype.feature | 100644 | 0 | 0 | | | 1.54 KB | 45adeee11d1322f5af196095dfa195fb633e491d06b3aaffca9c48963aea1694 |
features/basics/pretty-print.feature | 100644 | 0 | 0 | | | 6.86 KB | e646f5c75e735d29249dd7d937c3341034b84c6f305c36d26d1058b7ed58902c |
features/basics/simple_example.feature | 100644 | 0 | 0 | | | 5.6 KB | 5e2dbf8306d3f9674c7eb97dc29bb87e9c14a0166bfd46fa8ad11ba89db8319f |
features/builtin_contracts/README.md | 100644 | 0 | 0 | | | 612 Bytes | 0fc801822ddf2bbae6ae59f4dc7493c0026359fa7e51f2742e6e3ef9b10db254 |
features/builtin_contracts/and.feature | 100644 | 0 | 0 | | | 2.73 KB | 09102139cb3df31bab6176b8349a614decc235dfdba63017e0c8ead259d2ccc0 |
features/builtin_contracts/any.feature | 100644 | 0 | 0 | | | 788 Bytes | 6ab09826e847d86e957dd21413719312bcf0847b9c7a1c2f4bd6eabfb92f54ab |
features/builtin_contracts/args.feature | 100644 | 0 | 0 | | | 1.95 KB | b7b44a9ba39e85ce1b149d002604b8f4699d8ff0a9ae7fbe29b28879952fc3e7 |
features/builtin_contracts/array_of.feature | 100644 | 0 | 0 | | | 24 Bytes | 2bbeb1566ac3ba3effe9141a27ea995e573581d8ae27ce38cecf64a4a5bc16b6 |
features/builtin_contracts/bool.feature | 100644 | 0 | 0 | | | 1.34 KB | 2cd7b849cfeee2cd260a1749ff1463068408619e91df73b25b98ebfba6c524b4 |
features/builtin_contracts/enum.feature | 100644 | 0 | 0 | | | 21 Bytes | f14ab8a8cc5f6091776450b0ed0dadef11d892a80d06c9ee086d48297b3b9599 |
features/builtin_contracts/eq.feature | 100644 | 0 | 0 | | | 19 Bytes | 94f382608fd984ab91af0e7335306ba551198e35b70cd0e17d7c42b70b1aa9a5 |
features/builtin_contracts/exactly.feature | 100644 | 0 | 0 | | | 24 Bytes | dd4b917302aa177c419f8e9a292b7b2c930a03ad6fad34da219d58be08ccecc9 |
features/builtin_contracts/func.feature | 100644 | 0 | 0 | | | 21 Bytes | 8b6c5831ae65b3dd0f1f290aa86a571aaec16f881ead64e49094fd4ea2f70336 |
features/builtin_contracts/hash_of.feature | 100644 | 0 | 0 | | | 23 Bytes | 100085c41b3ee8848ea34eaa4859c1c67452e2dbac160d3f8a0326707014a336 |
features/builtin_contracts/int.feature | 100644 | 0 | 0 | | | 2.09 KB | 42e0a8149ad3d8d0c3fbbbc20a5064c462a86cbcc89ed518c09aa4d195d6bab3 |
features/builtin_contracts/keyword_args.feature | 100644 | 0 | 0 | | | 28 Bytes | 3813d0e5b05d49a969cdb83d4712f8b63cc489ff99a247c318f41656d9f81d5a |
features/builtin_contracts/keyword_args_with_optional_positional_args.feature | 100644 | 0 | 0 | | | 2.26 KB | a7cbd5c27ee5d65bfc57cb71d3856fad907e4280a7733c500675f0ea5abc257b |
features/builtin_contracts/maybe.feature | 100644 | 0 | 0 | | | 22 Bytes | e7076cb7f81de70affadb452f41dc058721935e95394013a559c78cad98e552f |
features/builtin_contracts/nat.feature | 100644 | 0 | 0 | | | 2.86 KB | 859a124816f52b1f7f0a8d1595a21fa838d17f3ac7faa7a5335f73038f6e77ef |
features/builtin_contracts/nat_pos.feature | 100644 | 0 | 0 | | | 3.25 KB | 97156a94261fb39fedaa51368bbd315351b666e5f64cd2eaccd5d563760911ca |
features/builtin_contracts/neg.feature | 100644 | 0 | 0 | | | 2.99 KB | 76beba3075dae1496415c3edd59221a8390b764c7dde2e2523c57f1a595485b3 |
features/builtin_contracts/none.feature | 100644 | 0 | 0 | | | 3.68 KB | 8360404edbbbc736813582fed114cd92e1a43ac892cd87f284e37f7fe9cd682a |
features/builtin_contracts/not.feature | 100644 | 0 | 0 | | | 20 Bytes | 215ae819be951884b95e31e30de10d2ccf0a042f512392c8beb445d4530448b0 |
features/builtin_contracts/num.feature | 100644 | 0 | 0 | | | 1.35 KB | a0ad87b9e860027815ed3754bd74ad276946722ae9f189ca473396caca1cd748 |
features/builtin_contracts/or.feature | 100644 | 0 | 0 | | | 1.98 KB | 8543fe36f4df32f028038d958c665c32631b64d76a5b604afe2b5f2f7ecf5e3f |
features/builtin_contracts/pos.feature | 100644 | 0 | 0 | | | 3.01 KB | 2510a522e543822fee5effa448a537743fc92b5da7d801e5ffcfe1a419e184e3 |
features/builtin_contracts/range_of.feature | 100644 | 0 | 0 | | | 24 Bytes | 190b2f1b276f84d130a1d64c5a4179434d123aba6af3ddaf633ba1db944923e7 |
features/builtin_contracts/respond_to.feature | 100644 | 0 | 0 | | | 2.09 KB | 3a8027cba19e3fec2226b63e02693ceb6a0eab8b3a47865db6c645cd73a48789 |
features/builtin_contracts/send.feature | 100644 | 0 | 0 | | | 3.11 KB | 233eafd5d65e89b0c494da244c0177ff037becbb0120130162f96633ae722caa |
features/builtin_contracts/set_of.feature | 100644 | 0 | 0 | | | 22 Bytes | de4ef760d41e18008561904dccdf6dee978a52ff58529556b2bb3969f6821625 |
features/builtin_contracts/xor.feature | 100644 | 0 | 0 | | | 2.56 KB | 091e73cabfaf105f58b03776c0f157e7ad3d4aecbf5ebb51911eed5d53832d03 |
features/support/env.rb | 100644 | 0 | 0 | | | 180 Bytes | 5915896462623fa47e4c1a4ee148ad22b1470e076e7b6265520b24757906e39c |
lib/contracts.rb | 100644 | 0 | 0 | | | 7.88 KB | e9583b172778d9a3a9aa561a21cfcfe86d1d1c87090e7e23deec171144b78446 |
lib/contracts/attrs.rb | 100644 | 0 | 0 | | | 583 Bytes | 446c5a026fa966610b0f18234de95a710da7e543d02ea862f3384361691a8679 |
lib/contracts/builtin_contracts.rb | 100644 | 0 | 0 | | | 14 KB | 2d7114efd2e53cf0b84f090c65c3216282c7814f392dc8e7a86ddf5236b9c94c |
lib/contracts/call_with.rb | 100644 | 0 | 0 | | | 4.48 KB | e85b962b536ac029868d7e8839f81a9faee305520aeffcdc552031a68bcdbeae |
lib/contracts/core.rb | 100644 | 0 | 0 | | | 1.37 KB | d50d559de8aa576741a7828d83015d4bcf7748ad67ebdcd7e257a6160014f93a |
lib/contracts/decorators.rb | 100644 | 0 | 0 | | | 1.24 KB | e8a808a6abe3e6d587e0aaee19e01d726a61e5fb9151c7d81d8ea88fb0815696 |
lib/contracts/engine.rb | 100644 | 0 | 0 | | | 669 Bytes | 049599c03a418c15afda871e620e3f2c89604d4b43ab008ad2efaf57512d7b87 |
lib/contracts/engine/base.rb | 100644 | 0 | 0 | | | 3.63 KB | 5ed9149d2dbdfa9aafc349c010fa8f64dd024baaa939564818b548681a40ec9c |
lib/contracts/engine/eigenclass.rb | 100644 | 0 | 0 | | | 1.46 KB | fb72c2ebcae3817877f250e961cd5ce3a3454a2dfc8546838083fb7b78a8b077 |
lib/contracts/engine/target.rb | 100644 | 0 | 0 | | | 1.79 KB | 5d612838f7be1809b195d1d02373d2290333b3d1031ca4301e4341de5ad0db61 |
lib/contracts/errors.rb | 100644 | 0 | 0 | | | 1.73 KB | fd9be06426bf000d9e01275b3fbb371df8a521331bb23e50b4e2211a9bab87d6 |
lib/contracts/formatters.rb | 100644 | 0 | 0 | | | 3.82 KB | a759df4bd07d993e63f5af7ac673ad397abf83cb8427ba1e5f09d3517333b3b6 |
lib/contracts/invariants.rb | 100644 | 0 | 0 | | | 1.59 KB | f2fc1e636fa87ecb90078dce41c3159f09c8b03fe300c56df901149954863693 |
lib/contracts/method_handler.rb | 100644 | 0 | 0 | | | 5.95 KB | 8ca325fb4614d612e5ea4e45bea19c529ec243d3d7bc7488443cdd8bd5efd0de |
lib/contracts/method_reference.rb | 100644 | 0 | 0 | | | 2.61 KB | ff3549189c2a361177ccbd13ee44fb5bb0a4d4c38a1bab04f5b23b1247752526 |
lib/contracts/support.rb | 100644 | 0 | 0 | | | 1.47 KB | b153b8629c0c8ce9747ed3e4c1710fbe995141bf1e17e01d3cdeef00f3e783f5 |
lib/contracts/validators.rb | 100644 | 0 | 0 | | | 3.47 KB | fb419741682120cea7e055a392f850ee18a0c7a8e3850b29a17307c6a364bddd |
lib/contracts/version.rb | 100644 | 0 | 0 | | | 73 Bytes | 1d39e6753c49f0561a0028d4d7a7408a0e73286f566a8fc66d41c6563bd1da27 |
script/docs-release | 100755 | 0 | 0 | | | 58 Bytes | bdec9f0c435ae7db425fe0a51e7aa908c3835bca3b9e3a131835399b8474af2a |
script/docs-staging | 100755 | 0 | 0 | | | 66 Bytes | 561dd1cc1018c97ee983752f12d051f562ea832bf64bdc1a0070515503ff6925 |
script/rubocop.rb | 100644 | 0 | 0 | | | 131 Bytes | b80a021f337c1c28bb546b32f4977688d8cfbd42ec9a937587be4572feb2aeaf |
spec/attrs_spec.rb | 100644 | 0 | 0 | | | 3.07 KB | e3aa3f99ec69963f8ce40ed436fdbb2fcf29119a0780c2386042da301f58372b |
spec/builtin_contracts_spec.rb | 100644 | 0 | 0 | | | 11.4 KB | 2ab995270aaa1974d000d29214d3bb340338916817997e1e91acd3a886622d23 |
spec/contracts_spec.rb | 100644 | 0 | 0 | | | 22.1 KB | c071b63a8a52e9df8f4608bb64f52adaf2ea1312e4bd51b4808df37509ada3a3 |
spec/fixtures/fixtures.rb | 100644 | 0 | 0 | | | 12 KB | 11f80b12d4fce4986467ca819156e7378edca6375ac6a7ef8449ae1697988f3d |
spec/invariants_spec.rb | 100644 | 0 | 0 | | | 611 Bytes | 1b50be48e0e54e28be8ef39f4eb6dc8e174f7d6692bc04584b0409b8f71bff12 |
spec/methods_spec.rb | 100644 | 0 | 0 | | | 1.32 KB | 6a8358779ac6bb912d77c068a510e7aff604b180c4959ba8f4f66a8d1819a323 |
spec/module_spec.rb | 100644 | 0 | 0 | | | 379 Bytes | decba756eb0d44773c4b90910afb9a4c9211206eb4f1bded90809335fbfe6e6d |
spec/override_validators_spec.rb | 100644 | 0 | 0 | | | 3.84 KB | 06c731b3d4020f36503c0f449637c88e39880a8491ce5ac3230029dce1d6f3d9 |
spec/ruby_version_specific/contracts_spec_1.9.rb | 100644 | 0 | 0 | | | 540 Bytes | 4b2fddef110d9a52f0080de2610a33126bfc49ab369a3c09c1f0a304c60eb10d |
spec/ruby_version_specific/contracts_spec_2.0.rb | 100644 | 0 | 0 | | | 1.73 KB | 197d0efcbf54d9a419b0ca0d1dbe65a22e9f177c69e8c2937e9a67045a9acd9a |
spec/ruby_version_specific/contracts_spec_2.1.rb | 100644 | 0 | 0 | | | 2.05 KB | 0aedfdeb4d75dfd5f35641c9f33004955f1f23151f69cdc852c9ec8d320b5eae |
spec/spec_helper.rb | 100644 | 0 | 0 | | | 4.44 KB | da11bd7be9cc89d4dedb520c0235df00e34eddd6a44cbc36ac3402170316bb10 |
spec/support.rb | 100644 | 0 | 0 | | | 210 Bytes | 577ddd408c25109b35a5bc647c608bbbfc2cc9e4e7e1d5cea6580abb453399fc |
spec/support_spec.rb | 100644 | 0 | 0 | | | 689 Bytes | abf9fef6b9faaadcc89eeb2cfb569dfb534ab330802be8f9c76e9f42fe3409c1 |
spec/validators_spec.rb | 100644 | 0 | 0 | | | 1.28 KB | 0226de0398fae99df5731a9c800775cc4a3592c636edd1d0fcd80998ea4ffe4e |