refining-core 0.1.0

Core functionality for refinement types.
Documentation
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
//! Refinement types core.

#![no_std]
#![deny(missing_docs)]

pub mod context;
pub mod errors;
#[macro_use]
pub mod logical;
pub mod predicate;
pub mod prelude;
pub mod refinement;
#[macro_use]
pub mod types;

#[cfg(feature = "serde")]
pub mod serde;