To add a collaborator to this project you will need to use the Relish gem to add the collaborator via a terminal command. Soon you'll be able to also add collaborators here!More about adding a collaborator
To use builtin contracts you can refer them with
Contract Contracts::Num => Contracts::Maybe(Contracts::Num)
It is recommended to use a short alias for
Contracts, for example
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
NOTE: all contracts marked as (TODO) have their documentaion
as stub. Contributions to those are warmly welcome!
- ArrayOf (TODO)
- Enum (TODO)
- Eq (TODO)
- Exactly (TODO)
- Func (TODO)
- HashOf (TODO)
- KeywordArgs (TODO)
- Maybe (TODO)
- Not (TODO)
- RangeOf (TODO)
- SetOf (TODO)
Last published almost 5 years ago by waterlink.