Crate refinement_types

Refinement types.

Examples

TODO

Features

TODO

Re-exports

pub use core::ErasedError;

pub use core::Error;

pub use core::MessageError;

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 for strings.

type_regexregex

Type-level regular expressions.

type_str

Type-level strings.

Macros

type_regexregex

Lifts strings to type-level regular expressions.

type_str

Lifts static strings to type-level strings.

Structs

Regexregex

A compiled regular expression for searching Unicode haystacks.