#proc-macro #invariants #part #language #contract #procedural #eiffel

macro eiffel-macros-gen

Eiffel is a library for Eiffel language inspired guard clauses with Rust macros. This is the proc-macro part of the library.

4 releases

0.0.4 Feb 28, 2024
0.0.3 Feb 28, 2024
0.0.2 Feb 28, 2024
0.0.1 Feb 28, 2024

#31 in #invariants

Download history 10/week @ 2024-03-10 27/week @ 2024-03-31

61 downloads per month
Used in eiffel

MIT license

10KB
135 lines

This crate is part of the eiffel crate.


lib.rs:

This create contains the procedural macros

Mostly the procedural macro contract which is used to check if a given invariant holds true before and after a method call.

Dependencies

~280–740KB
~17K SLoC