Struct RefinedBrand 

pub struct RefinedBrand<A, B, E = String> { /* private fields */ }

A branded constructor that validates the inner value at runtime.

Mirrors Effect.ts Brand.refined(refine, onFailure).

Implementations

impl<A: Clone, B, E: Clone> RefinedBrand<A, B, E>

pub fn new(refine: impl Fn(&A) -> Result<(), E> + Send + Sync + 'static) -> Self

Create a new refined brand constructor with a validation function.

refine returns Ok(()) when the value is valid, Err(e) otherwise.

pub fn try_make(&self, value: A) -> Result<Brand<A, B>, E>

Try to brand value. Returns Ok(Brand<A,B>) or Err(E).

pub fn make_option(&self, value: A) -> Option<Brand<A, B>>

Returns Some(Brand<A,B>) if valid, None otherwise.

pub fn is(&self, value: &A) -> bool

Returns true if value would pass validation.