repr 0.8.0

The regular-expression-as-linear-logic interpretation and its implementation
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
41
42
43
44
45
46
47
48
49
50

// #![no_std]
#![feature(exact_size_is_empty)]
#![feature(pattern)]
#![feature(step_trait)]
#![feature(stmt_expr_attributes)]
#![feature(negative_impls)]
// #![feature(specialization)]
#![feature(const_destruct)]
#![feature(const_for)]
#![feature(const_trait_impl)]
#![feature(const_try)]
#![feature(const_clone)]
#![feature(const_cmp)]
#![feature(const_convert)]
#![feature(const_heap)]
#![feature(const_ops)]
#![feature(derive_const)]

// #![feature(const_iter)]

extern crate alloc;

mod bytes;
mod context;
mod conversion;
mod functor;
mod interval;
// mod partition;
// mod pool;
// mod process;
mod regex;
mod seq;
// mod sparse;
mod string;

pub mod constants;
pub mod macros;
// #[cfg(feature = "quotient")]
// pub mod quotient;
pub mod repr;
pub mod traits;
pub mod wrappers;

pub use constants::perl::{DIGIT, WORD};
pub use context::Context;
pub use interval::Interval;
// pub use partition::Partition;
pub use crate::repr::Repr::{self, *};
pub use seq::Seq;
pub use traits::Integral;