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

//! The `refining-core` prelude.

#[doc(inline)]
pub use crate::{
    and,
    context::NoContext,
    errors::{Error, Recoverable, RecoverableRef},
    logical::{And, False, Nand, Nor, Or, True, Xnor, Xor},
    not, or,
    predicate::{Check, Predicate, PredicateExpected},
    refinement::{RecoverableRefinement, RecoverableRefinementRef, Refine, Refinement, Refining},
    type_str,
    types::{StaticStr, TypeStr},
    xor,
};