Crate refining_core 

Refinement types core.

Modules

context

Pre-defined contexts for refinements.

errors

Errors returned during refining.

logical

Logical composition.

predicate

Core predicate traits.

prelude

The refining-core prelude.

refinement

Refinement types.

types

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_str

Lifts static strings to type-level strings.

xor

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