coinduction 0.2.0

Attribute macros for defining circular type references and recursive trait implementations in Rust
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

/// Attribute macro for marking trait definitions that will support coinduction.
///
/// This is currently an empty attribute macro that serves as a placeholder for future
/// implementation of coinductive trait definition functionality.
pub use coinduction_macro::traitdef;

/// Attribute macro for marking type definitions involved in circular references.
///
/// This is currently an empty attribute macro that serves as a placeholder for future
/// implementation of circular type reference functionality.
pub use coinduction_macro::typedef;

/// Attribute macro for enabling coinductive reasoning on specific items.
///
/// This is currently an empty attribute macro that serves as a placeholder for future
/// implementation of coinductive reasoning functionality.
pub use coinduction_macro::coinduction;

#[doc(hidden)]
pub use coinduction_macro::__next_step;

#[doc(hidden)]
/// Trait for referencing types with markers
pub trait TypeRef<const RANDOM: u64, const IX0: usize, const IX: usize, ARG: ?Sized> {
    type Type: ?Sized;
}