Trait tear::Judge

pub trait Judge {
    type Positive;
    type Negative;
    fn into_moral(self) -> Moral<Self::Positive, Self::Negative>;
    fn from_good(v: Self::Positive) -> Self;
    fn from_bad(v: Self::Negative) -> Self;
}

Convert from and to Moral. Used in the rip! macro.

This is inspired by the std::ops::Try trait.

Associated Types

type Positive

This is considered Good

type Negative

This is considered Bad

Loading content...

Required methods

fn into_moral(self) -> Moral<Self::Positive, Self::Negative>

Convert to Moral

fn from_good(v: Self::Positive) -> Self

Wraps a good value into itself

For example Result::Ok(v) and Judge::from_good(v) are equivalent. Useful for converting types.

fn from_bad(v: Self::Negative) -> Self

Wraps a bad value into itself

For example Result::Err(e) and Judge::from_bad(e) are equivalent. Useful for converting types.

Loading content...

Implementations on Foreign Types

impl<T> Judge for Option<T>

Implementation of Judge for Option based on its implementation of Try

type Positive = T

type Negative = ()

fn into_moral(self) -> Moral<T, ()>

fn from_good(v: T) -> Self

fn from_bad(_: ()) -> Self

impl<T, E> Judge for Result<T, E>

Implementation of Judge for Result based on its implementation of Try

type Positive = T

type Negative = E

fn into_moral(self) -> Moral<T, E>

fn from_good(v: T) -> Self

fn from_bad(v: E) -> Self

Loading content...

Implementors

impl<T, R> Judge for ValRet<T, R>

type Positive = T

type Negative = R

fn into_moral(self) -> Moral<T, R>

fn from_good(v: T) -> Self

fn from_bad(r: R) -> Self

impl<Y, N> Judge for Moral<Y, N>

type Positive = Y

type Negative = N

fn into_moral(self) -> Moral<Y, N>

fn from_good(v: Y) -> Self

fn from_bad(v: N) -> Self

Loading content...