anodized-logic 0.5.1

Helps Anodized embed non-trivial elements of logic into Rust code
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

pub use crate::opaque;

/// Embed Rust syntax as an opaque expression.
///
/// Useful to pass through a term that cannot be rendered as a valid Rust expression.
/// The semantics of an opaque expression is defined only by the interpreting backend.
#[macro_export]
macro_rules! opaque {
    ($($t:tt)*) => {
        $crate::syntax::opaque_str(stringify!($($t)*))
    }
}

/// Embed a string as an opaque expression.
///
/// You probably want the [`opaque!`] macro instead.
pub fn opaque_str(expr: &str) -> bool {
    panic!("Cannot run `opaque!` expression: {}", expr)
}