Trait Construction

Source

pub trait Construction<T>:
    Semigroup
    + Sized
    + From<T>
    + Deref<Target = T>
    + DerefMut {
    // Required method
    fn into_inner(self) -> T;

    // Provided method
    fn lift_op(base: T, other: T) -> T { ... }
}

Expand description

Construction represents crate::Semigroup as a new type struct.

§Example

Simple example see crate::Semigroup. TODO more derive details

Required Methods§

Source

fn into_inner(self) -> T

Convert into inner type of new type struct.

§Example

use semigroup::{Construction, Semigroup};

#[derive(Construction)]
struct Coalesce<T>(Option<T>);
impl<T> Semigroup for Coalesce<T> {
    fn op(base: Self, other: Self) -> Self {
        Self(base.0.or(other.0))
    }
}

let a = Coalesce(Some(1));
assert_eq!(a.into_inner(), Some(1));

Provided Methods§

Source

fn lift_op(base: T, other: T) -> T

Semigroup operation between base and other with constructed type. When T does not implement crate::Semigroup, this function can be used.

§Example

use semigroup::{Construction, Semigroup};

#[derive(Construction)]
struct Coalesce<T>(Option<T>);
impl<T> Semigroup for Coalesce<T> {
    fn op(base: Self, other: Self) -> Self {
        Self(base.0.or(other.0))
    }
}

let a = None;
let b = Some(2);
assert_eq!(Coalesce::lift_op(a, b), Some(2));