Package index • s7contract

Package

s7contract-package s7contract: s7contract: Contract Helpers for S7

Interfaces

new_interface() interface_requirement(): Build a Go-like structural interface on top of S7
interface_requirements() interface_report() missing_requirements() implements() assert_implements() as_interface(): Inspect or check a Go-like structural interface

Traits

new_trait() trait_method(): Build a Rust-like explicit trait on top of S7
trait_methods() impl_trait() trait_report() has_trait() assert_trait() trait_call() trait_assoc_type() trait_assoc_const(): Inspect or use a Rust-like explicit trait

Progressive checks

`%::%`: Evaluate an S7 call under an interface or trait contract