Nothing
s7contract: Behavioral Contracts and Generative Laws for 'S7'
Contract helpers built with 'S7' for expressing runtime protocols around ordinary 'S7' dispatch. Structural interfaces describe small sets of required 'S7' generics, while explicit traits record registered implementations with optional default methods and associated metadata. Optional runtime checks can validate argument and return specifications in contract-scoped evaluation. Generative laws combine generators, deterministic shrinking, and one-result 'tinytest' expectations.
Package details |
|
|---|---|
| Author | Sounkou Mahamane Toure [aut, cre] |
| Maintainer | Sounkou Mahamane Toure <sounkoutoure@gmail.com> |
| License | GPL (>= 3) |
| Version | 0.2.3 |
| URL | https://github.com/sounkou-bioinfo/s7contract https://sounkou-bioinfo.github.io/s7contract/ |
| Package repository | View on CRAN |
| Installation |
Install the latest version of this package by entering the following in R:
|
Try the s7contract package in your browser
Any scripts or data that you put into this service are public.
