sigma-enum 0.1.2

A macro to simulate sigma types with enums.
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

[dependencies.sigma-enum-macros]
version = "0.1.2"

[dev-dependencies.trybuild]
version = "1.0"

[lib]
name = "sigma_enum"
path = "src/lib.rs"

[package]
authors = ["Milo Jacquet"]
autobenches = false
autobins = false
autoexamples = false
autolib = false
autotests = false
build = false
categories = ["data-structures", "rust-patterns"]
description = "A macro to simulate sigma types with enums."
edition = "2024"
keywords = ["derive", "dependent-types"]
license = "MIT/Apache-2.0"
name = "sigma-enum"
readme = "README.md"
repository = "https://github.com/milojacquet/sigma-enum"
version = "0.1.2"

[[test]]
name = "failures"
path = "tests/failures.rs"