Introduction | Background | A toy assay container | Operations and a consumer-owned interface | When an explicit trait helps | Design cautions | References
This package is considered a duplicate. The official version of this package is found at:https://sounkou-bioinfo.r-universe.dev/s7contract
Package: s7contract 0.1.0.9000
Sounkou Mahamane Toure
s7contract: 'Go'-Like Interfaces and 'Rust'-Like Traits with '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.
Authors:
s7contract_0.1.0.9000.tar.gz
s7contract_0.1.0.9000.zip(r-4.7)s7contract_0.1.0.9000.zip(r-4.6)s7contract_0.1.0.9000.zip(r-4.5)
s7contract_0.1.0.9000.tgz(r-4.6-any)s7contract_0.1.0.9000.tgz(r-4.5-any)
s7contract_0.1.0.9000.tar.gz(r-4.7-any)s7contract_0.1.0.9000.tar.gz(r-4.6-any)
s7contract_0.1.0.9000.tgz(r-4.6-emscripten)
manual.pdf |manual.html✨
DESCRIPTION |NEWS
card.svg |card.png
s7contract/json (API)
| # Install 's7contract' in R: |
| install.packages('s7contract', repos = c('https://abiomix.r-universe.dev', 'https://cloud.r-project.org')) |
Bug tracker:https://github.com/abiomix/abiomix-r-open/issues
Pkgdown/docs site:https://sounkou-bioinfo.github.io
Last updated from:dd82290ba2. Checks:9 OK. Indexed: no.
| Target | Result | Time | Files | Syslog |
|---|---|---|---|---|
| linux-devel-x86_64 | OK | 122 | ||
| source / vignettes | OK | 165 | ||
| linux-release-x86_64 | OK | 241 | ||
| macos-release-arm64 | OK | 146 | ||
| macos-oldrel-arm64 | OK | 71 | ||
| windows-devel | OK | 77 | ||
| windows-release | OK | 63 | ||
| windows-oldrel | OK | 65 | ||
| wasm-release | OK | 119 |
Exports:%::%as_interfaceassert_implementsassert_traithas_traitimpl_traitimplementsinterface_reportinterface_requirementinterface_requirementsmissing_requirementsnew_interfacenew_traittrait_assoc_consttrait_assoc_typetrait_calltrait_methodtrait_methodstrait_report
Dependencies:S7
Bioinformatics Containers as Interfaces
Last update: 2026-07-13
Started: 2026-07-13
Go-Like Interfaces and Rust-Like Traits on S7
Introduction | Background | A structural interface | When the whole protocol is a class family | Progressive argument and return checks | Number-like behavior | Vector-like behavior | An explicit trait | A Haskell-style dictionary object | Which feels more natural? | References
Last update: 2026-07-13
Started: 2026-07-13
Readme and manuals
Help Manual
| Help page | Topics |
|---|---|
| Evaluate an S7 call under an interface or trait contract | %::% contract_syntax |
| Inspect or check a Go-like structural interface | assert_implements as_interface implements interface_report interface_requirements missing_requirements |
| Build a Go-like structural interface on top of S7 | interface_requirement new_interface |
| Build a Rust-like explicit trait on top of S7 | new_trait trait_method |
| s7contract: Contract Helpers for S7 | s7contract-package s7contract |
| Inspect or use a Rust-like explicit trait | assert_trait has_trait impl_trait trait_assoc_const trait_assoc_type trait_call trait_methods trait_report |
