Files in s7contract

Behavioral Contracts and Generative Laws for 'S7'

MD5

NEWS.md

NAMESPACE

DESCRIPTION

R/progressive.R R/generator-sample.R R/aaa-classes.R R/generator-double.R R/law.R R/generator.R R/aaa-property-classes.R R/package.R R/trait.R R/coverage.R R/state-law.R R/interface.R R/utils.R

inst/doc/s7-interfaces-and-traits.html

inst/doc/bioinformatics-interfaces.Rmd inst/doc/monad-dictionaries.R

inst/doc/calendar-intervals.html

inst/doc/monad-dictionaries.html

inst/doc/stateful-protocols.R inst/doc/protocol-laws.R inst/doc/monad-dictionaries.Rmd inst/doc/bioinformatics-interfaces.R inst/doc/calendar-intervals.R inst/doc/calendar-intervals.Rmd inst/doc/s7-interfaces-and-traits.R inst/doc/stateful-protocols.Rmd inst/doc/property-laws.R

inst/doc/bioinformatics-interfaces.html

inst/doc/stateful-protocols.html

inst/doc/s7-interfaces-and-traits.Rmd

inst/doc/property-laws.html

inst/doc/property-laws.Rmd

inst/doc/protocol-laws.html

inst/doc/protocol-laws.Rmd inst/examples/calendar-laws.R inst/examples/shapes.R inst/examples/vector-laws.R inst/examples/store-laws.R inst/examples/maybe-laws.R inst/tinytest/test-protocol-laws.R inst/tinytest/test-coverage.R inst/tinytest/test-generator-sample.R inst/tinytest/test-progressive.R inst/tinytest/test-state-law.R inst/tinytest/test-generator-double.R inst/tinytest/test-calendar-laws.R inst/tinytest/test-maybe-laws.R inst/tinytest/test-law-integration.R inst/tinytest/test-trait.R inst/tinytest/test-interface.R inst/tinytest/test-law.R inst/tinytest/test-contract-semantics.R inst/tinytest/test-state-protocol.R inst/tinytest/test-generator-composition.R

build/vignette.rds

tests/tinytest.R vignettes/bioinformatics-interfaces.Rmd vignettes/monad-dictionaries.Rmd vignettes/calendar-intervals.Rmd vignettes/stateful-protocols.Rmd vignettes/s7-interfaces-and-traits.Rmd vignettes/property-laws.Rmd vignettes/protocol-laws.Rmd man/trait_methods.Rd man/gen_example.Rd man/interface_requirements.Rd man/new_trait.Rd man/new_interface.Rd man/gen_double.Rd man/new_state_law.Rd man/gen_sample.Rd man/new_generator.Rd man/gen_bind.Rd man/new_law.Rd man/grapes-colon-colon-grapes.Rd man/gen_element.Rd man/gen_constant.Rd man/gen_commands.Rd man/new_command.Rd man/s7contract.Rd

s7contract documentation built on Sept. 10, 2026, 1:09 a.m.