contracts-try 0.7.0

Design-by-contract attributes
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40

[package]
name = "contracts-try"
version = "0.7.0"
authors = ["karroffel <therzog@mail.de>"]
edition = "2021"
repository = "https://codeberg.org/topola/contracts-try"
license = "MPL-2.0"
readme = "README.md"
categories = [
    "development-tools",
    "development-tools::procedural-macro-helpers",
]
keywords = [
    "design-by-contract",
    "precondition",
    "postcondition",
    "invariant",
    "verification",
]
documentation = "https://docs.rs/contracts"
description = "Design-by-contract attributes"

[badges]
codeberg = { repository = "topola/contracts-try", branch = "main" }

[lib]
name = "contracts_try"
path = "src/lib.rs"
proc-macro = true

[features]
disable_contracts = []
override_debug = []
override_log = []
mirai_assertions = []

[dependencies]
syn = { version = "2.0", features = ["extra-traits", "full", "visit", "visit-mut"] }
quote = "1.0"
proc-macro2 = "1.0"