Sha256: 0fc801822ddf2bbae6ae59f4dc7493c0026359fa7e51f2742e6e3ef9b10db254

Contents?: true

Size: 612 Bytes

Versions: 31

Compression:

Stored size: 612 Bytes

Contents

To use builtin contracts you can refer them with `Contracts::*`:

```ruby
Contract Contracts::Num => Contracts::Maybe(Contracts::Num)
```

It is recommended to use a short alias for `Contracts`, for example `C`:

```ruby
C = Contracts

Contract C::Num => C::Maybe(C::Num)
```

It is possible to `include Contracts` and refer them without namespace, but
this is deprecated and not recommended.

*NOTE: in the future it will be possible to do `include Contracts::Builtin`
instead.*

*NOTE: all contracts marked as (TODO) have their documentaion `.feature` file
as stub. Contributions to those are warmly welcome!*

Version data entries

31 entries across 21 versions & 5 rubygems

Version Path
entitlements-app-1.2.0 lib/contracts-ruby3/features/builtin_contracts/README.md
entitlements-app-1.2.0 lib/contracts-ruby2/features/builtin_contracts/README.md
contracts-0.17.2 features/builtin_contracts/README.md
contracts-0.17.1 features/builtin_contracts/README.md
entitlements-app-1.1.0 lib/contracts-ruby2/features/builtin_contracts/README.md
entitlements-app-1.1.0 lib/contracts-ruby3/features/builtin_contracts/README.md
entitlements-app-1.0.0 lib/contracts-ruby2/features/builtin_contracts/README.md
entitlements-app-1.0.0 lib/contracts-ruby3/features/builtin_contracts/README.md
entitlements-app-0.3.4 lib/contracts-ruby3/features/builtin_contracts/README.md
entitlements-app-0.3.4 lib/contracts-ruby2/features/builtin_contracts/README.md
entitlements-app-0.3.1 lib/contracts-ruby3/features/builtin_contracts/README.md
entitlements-app-0.3.1 lib/contracts-ruby2/features/builtin_contracts/README.md
entitlements-app-0.3.0 lib/contracts-ruby2/features/builtin_contracts/README.md
entitlements-app-0.3.0 lib/contracts-ruby3/features/builtin_contracts/README.md
entitlements-0.2.1 lib/contracts-ruby2/features/builtin_contracts/README.md
entitlements-0.2.1 lib/contracts-ruby3/features/builtin_contracts/README.md
entitlements-app-0.2.1 lib/contracts-ruby2/features/builtin_contracts/README.md
entitlements-app-0.2.1 lib/contracts-ruby3/features/builtin_contracts/README.md
entitlements-0.2.0 lib/contracts-ruby3/features/builtin_contracts/README.md
entitlements-0.2.0 lib/contracts-ruby2/features/builtin_contracts/README.md