'Go'-Like Interfaces and 'Rust'-Like Traits with 'S7'

---

Documentation for package ‘s7contract’ version 0.1.0

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

Help Pages

s7contract-package	s7contract: Contract Helpers 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
as_interface	Inspect or check a Go-like structural interface
contract_syntax	Evaluate an S7 call under an interface or trait contract
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_interface	Build a Go-like structural interface on top of S7
new_trait	Build a Rust-like explicit trait on top of S7
s7contract	s7contract: Contract Helpers 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