Behavioral Contracts and Generative Laws for 'S7'

---

Documentation for package ‘s7contract’ version 0.2.3

• DESCRIPTION file
• User guides, package vignettes and other documentation
• Package NEWS

Help Pages

s7contract-package	s7contract: Behavioral Contracts and Generative Laws for S7
%::%	Evaluate an S7 call under an interface or trait contract
assert_implements	Inspect or check a Go-like structural interface
assert_trait	Inspect or use a Rust-like explicit trait
assume	Define and check a generative law
as_interface	Inspect or check a Go-like structural interface
check_law	Define and check a generative law
contract_syntax	Evaluate an S7 call under an interface or trait contract
expect_law	Define and check a generative law
format_check_result	Define and check a generative law
gen_bind	Compose dependent, sized, and recursive generators
gen_choice	Choose values or generators
gen_commands	Generate and shrink model-valid command sequences
gen_constant	Basic property-based test generators
gen_double	Generate finite double values
gen_element	Choose values or generators
gen_example	Inspect a generator or disable its shrinking
gen_integer	Basic property-based test generators
gen_map	Basic property-based test generators
gen_no_shrink	Inspect a generator or disable its shrinking
gen_product	Basic property-based test generators
gen_recursive	Compose dependent, sized, and recursive generators
gen_resize	Compose dependent, sized, and recursive generators
gen_sample	Sample source positions without replacement
gen_sized	Compose dependent, sized, and recursive generators
gen_subsequence	Sample source positions without replacement
gen_vector	Basic property-based test generators
has_trait	Inspect or use a Rust-like explicit trait
implements	Inspect or check a Go-like structural interface
impl_trait	Inspect or use a Rust-like explicit trait
interface_report	Inspect or check a Go-like structural interface
interface_requirement	Build a Go-like structural interface on top of S7
interface_requirements	Inspect or check a Go-like structural interface
missing_requirements	Inspect or check a Go-like structural interface
new_command	Describe a command for a stateful protocol
new_generator	Construct a property-based test generator
new_interface	Build a Go-like structural interface on top of S7
new_law	Define and check a generative law
new_state_law	Define a generative law for a stateful protocol
new_trait	Build a Rust-like explicit trait on top of S7
s7contract	s7contract: Behavioral Contracts and Generative Laws for S7
trait_assoc_const	Inspect or use a Rust-like explicit trait
trait_assoc_type	Inspect or use a Rust-like explicit trait
trait_call	Inspect or use a Rust-like explicit trait
trait_method	Build a Rust-like explicit trait on top of S7
trait_methods	Inspect or use a Rust-like explicit trait
trait_report	Inspect or use a Rust-like explicit trait