typestate-0.8.0
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

typestate 0.8.0

A proc macro DSL for typestates

Crate
Source
Builds
Feature flags

..
complex_unreachable_state.rs
complex_unreachable_state.stderr
conflicting_automata_attr.rs
conflicting_automata_attr.stderr
conflicting_state_attr.rs
conflicting_state_attr.stderr
duplicate_automata_attr.rs
duplicate_automata_attr.stderr
duplicate_state_attr.rs
duplicate_state_attr.stderr
empty_automata.rs
empty_automata.stderr
empty_module.rs
empty_module.stderr
missing_initial_final_states.rs
missing_initial_final_states.stderr
nested_enums.rs
nested_enums.stderr
undeclared_variant.rs
undeclared_variant.stderr
unsupported_variant.rs
unsupported_variant.stderr

use typestate_proc_macro::typestate;

#[typestate]
mod m {}

fn main() {}