Crate refinement_types

Refinement types.

Examples

TODO

Features

TODO

Re-exports

pub use core::Error;

pub use core::Predicate;

pub use core::Refinement;

pub use static_str::StaticStr;

pub use type_str::TypeStr;

pub use type_regex::StaticRegex;regex

pub use type_regex::TypeRegex;regex

Modules

char

Predicates for characters.

core

Core functionality.

empty

Predicates based on emptiness.

int

Predicates for integers.

length

Predicates based on length.

logic

Logical operations on predicates.

static_str

Static strings.

str

Predicates based on strings.

type_regexregex

Type-level regular expressions.

type_str

Type-level strings.

Macros

and

Given two or more predicates, composes them together with And.

not

Negates the given predicate.

or

Given two or more predicates, composes them together with Or.

type_regexregex

Lifts strings to type-level regular expressions.

type_str

Lifts static strings to type-level strings.

xor

Given two or more predicates, composes them together with Xor.

Structs

Regexregex

A compiled regular expression for searching Unicode haystacks.

Traits

ErrorCore

Error is a trait representing the basic expectations for error values, i.e., values of type E in Result<T, E>.