Trait refinement::Predicate

pub trait Predicate<T> {
    fn test(x: &T) -> bool;
}

A Predicate tests if a value satisfies a particular refinement type.

Used in conjunction with Refinement.

Example

use refinement::Predicate;

struct LessThanTen;

impl Predicate<i32> for LessThanTen {
    fn test(x: &i32) -> bool {
        *x < 10
    }
}

Required Methods

fn test(x: &T) -> bool

Test if a value satisfies the Predicate.

See Refinement for usage examples.

Implementors