Skip to contents

s7contract provides two experimental contract layers on top of S7:

Details

  • Go-like structural interfaces defined by required generics.

  • Rust-like explicit traits with default methods and associated metadata.

The package keeps actual method dispatch inside ordinary S7 generics and uses runtime checks to describe or assert conformance.

Author

Maintainer: Sounkou Mahamane Toure sounkoutoure@gmail.com