Behavioral Contracts and Generative Laws for 'S7'
Overview
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.
- Source builds exclude local
test.arrowsdata files.
From NEWS.md in the release
Install
Health
- OK13 OK2026-08-04
- NOTE12 OK, 1 NOTE2026-08-01
- OK13 OK2026-06-09
- ERROR12 OK, 1 ERROR2026-06-08
- OK6 OK2026-05-08
Documentation
- Help pages
- 17includes a package overview page
- Examples that run
- 100%11 run in a plain check
- Exported functions with examples
- 69%
- Documented parameters
- 80%
- Return-value docs
- 100%
- Help pages citing references
- 12%
Downloads
Repository
- PRs merged (all time)
- 100%
- Median days to close, 50 most recently updated closed issues
- 2
- Median days to close, 50 most recently updated closed PRs
- 0
Stars over time
Releases over time
Issues over time
Commits over time
8 development-tooling and community-health practices detected across 4 families in the upstream repository
Checks run against github.com/sounkou-bioinfo/s7contract on 2026-10-25.
The R CMD check workflow runs on Linux, macOS and Windows, and on R-devel
GitHub Pages site last deployed 2026-09-14 · The repository has a site deploy workflow
pkgdown site last built 2026-09-14
Dependencies
Code & Tests
People & History
Pick two releases to compare their code metrics.
- 0.2.3Latest2026-09-09 · current release · diff ↗ ·
added 25 exports
assume, check_law, expect_law, format_check_result, gen_bind, gen_choice, gen_commands, gen_constant, gen_double, gen_element, gen_example, gen_integer, gen_map, gen_no_shrink, gen_product, gen_recursive, gen_resize, gen_sample, gen_sized, gen_subsequence, gen_vector, new_command, new_generator, new_law, new_state_law - 0.1.02026-05-07
- RR 4.6.0 released · 2026-04-24
Package metadata
- First published
- 2026-05-07
- Total releases
- 2 / 1 yrs
- License
- GPL (>= 3) OSI
- Minimum R
- ≥ 4.3.0
- Download size
- 159 KB
Cite
Cite this package
Run in R for the authors' preferred citation:
citation("s7contract")This package has no citation file, so citation() returns this entry built from DESCRIPTION.
Cite the R Observatory
For a number measured here: a download total, a coverage figure, an archival date.
From data release v2026-10-26, which the citation names so these numbers can be found later. More on citing and the projects behind them.