Trait Semigroup

pub trait Semigroup {
    // Required method
    fn combine(&self, other: &Self) -> Self;
}

A Semigroup is a class of thing that has a definable combine operation

Required Methods

fn combine(&self, other: &Self) -> Self

Associative operation taking which combines two values.

Examples

use frunk::Semigroup;

assert_eq!(Some(1).combine(&Some(2)), Some(3))

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl Semigroup for f32

fn combine(&self, other: &Self) -> Self

impl Semigroup for f64

fn combine(&self, other: &Self) -> Self

impl Semigroup for i8

fn combine(&self, other: &Self) -> Self

impl Semigroup for i16

fn combine(&self, other: &Self) -> Self

impl Semigroup for i32

fn combine(&self, other: &Self) -> Self

impl Semigroup for i64

fn combine(&self, other: &Self) -> Self

impl Semigroup for isize

fn combine(&self, other: &Self) -> Self

impl Semigroup for u8

fn combine(&self, other: &Self) -> Self

impl Semigroup for u16

fn combine(&self, other: &Self) -> Self

impl Semigroup for u32

fn combine(&self, other: &Self) -> Self

impl Semigroup for u64

fn combine(&self, other: &Self) -> Self

impl Semigroup for usize

fn combine(&self, other: &Self) -> Self

impl Semigroup for String

fn combine(&self, other: &Self) -> Self

impl<A: Semigroup> Semigroup for (A,)

fn combine(&self, other: &Self) -> Self

impl<A: Semigroup, B: Semigroup> Semigroup for (A, B)

fn combine(&self, other: &Self) -> Self

impl<A: Semigroup, B: Semigroup, C: Semigroup> Semigroup for (A, B, C)

fn combine(&self, other: &Self) -> Self

impl<A: Semigroup, B: Semigroup, C: Semigroup, D: Semigroup> Semigroup for (A, B, C, D)

fn combine(&self, other: &Self) -> Self

impl<A: Semigroup, B: Semigroup, C: Semigroup, D: Semigroup, E: Semigroup> Semigroup for (A, B, C, D, E)

fn combine(&self, other: &Self) -> Self

impl<A: Semigroup, B: Semigroup, C: Semigroup, D: Semigroup, E: Semigroup, F: Semigroup> Semigroup for (A, B, C, D, E, F)

fn combine(&self, other: &Self) -> Self

impl<A: Semigroup, B: Semigroup, C: Semigroup, D: Semigroup, E: Semigroup, F: Semigroup, G: Semigroup> Semigroup for (A, B, C, D, E, F, G)

fn combine(&self, other: &Self) -> Self

impl<A: Semigroup, B: Semigroup, C: Semigroup, D: Semigroup, E: Semigroup, F: Semigroup, G: Semigroup, H: Semigroup> Semigroup for (A, B, C, D, E, F, G, H)

fn combine(&self, other: &Self) -> Self

impl<A: Semigroup, B: Semigroup, C: Semigroup, D: Semigroup, E: Semigroup, F: Semigroup, G: Semigroup, H: Semigroup, I: Semigroup> Semigroup for (A, B, C, D, E, F, G, H, I)

fn combine(&self, other: &Self) -> Self

impl<A: Semigroup, B: Semigroup, C: Semigroup, D: Semigroup, E: Semigroup, F: Semigroup, G: Semigroup, H: Semigroup, I: Semigroup, J: Semigroup> Semigroup for (A, B, C, D, E, F, G, H, I, J)

fn combine(&self, other: &Self) -> Self

impl<A: Semigroup, B: Semigroup, C: Semigroup, D: Semigroup, E: Semigroup, F: Semigroup, G: Semigroup, H: Semigroup, I: Semigroup, J: Semigroup, K: Semigroup> Semigroup for (A, B, C, D, E, F, G, H, I, J, K)

fn combine(&self, other: &Self) -> Self

impl<A: Semigroup, B: Semigroup, C: Semigroup, D: Semigroup, E: Semigroup, F: Semigroup, G: Semigroup, H: Semigroup, I: Semigroup, J: Semigroup, K: Semigroup, L: Semigroup> Semigroup for (A, B, C, D, E, F, G, H, I, J, K, L)

fn combine(&self, other: &Self) -> Self

impl<A: Semigroup, B: Semigroup, C: Semigroup, D: Semigroup, E: Semigroup, F: Semigroup, G: Semigroup, H: Semigroup, I: Semigroup, J: Semigroup, K: Semigroup, L: Semigroup, M: Semigroup> Semigroup for (A, B, C, D, E, F, G, H, I, J, K, L, M)

fn combine(&self, other: &Self) -> Self

impl<A: Semigroup, B: Semigroup, C: Semigroup, D: Semigroup, E: Semigroup, F: Semigroup, G: Semigroup, H: Semigroup, I: Semigroup, J: Semigroup, K: Semigroup, L: Semigroup, M: Semigroup, N: Semigroup> Semigroup for (A, B, C, D, E, F, G, H, I, J, K, L, M, N)

fn combine(&self, other: &Self) -> Self

impl<A: Semigroup, B: Semigroup, C: Semigroup, D: Semigroup, E: Semigroup, F: Semigroup, G: Semigroup, H: Semigroup, I: Semigroup, J: Semigroup, K: Semigroup, L: Semigroup, M: Semigroup, N: Semigroup, O: Semigroup> Semigroup for (A, B, C, D, E, F, G, H, I, J, K, L, M, N, O)

fn combine(&self, other: &Self) -> Self

impl<A: Semigroup, B: Semigroup, C: Semigroup, D: Semigroup, E: Semigroup, F: Semigroup, G: Semigroup, H: Semigroup, I: Semigroup, J: Semigroup, K: Semigroup, L: Semigroup, M: Semigroup, N: Semigroup, O: Semigroup, P: Semigroup> Semigroup for (A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P)

fn combine(&self, other: &Self) -> Self

impl<A: Semigroup, B: Semigroup, C: Semigroup, D: Semigroup, E: Semigroup, F: Semigroup, G: Semigroup, H: Semigroup, I: Semigroup, J: Semigroup, K: Semigroup, L: Semigroup, M: Semigroup, N: Semigroup, O: Semigroup, P: Semigroup, Q: Semigroup> Semigroup for (A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q)

fn combine(&self, other: &Self) -> Self

impl<A: Semigroup, B: Semigroup, C: Semigroup, D: Semigroup, E: Semigroup, F: Semigroup, G: Semigroup, H: Semigroup, I: Semigroup, J: Semigroup, K: Semigroup, L: Semigroup, M: Semigroup, N: Semigroup, O: Semigroup, P: Semigroup, Q: Semigroup, R: Semigroup> Semigroup for (A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R)

fn combine(&self, other: &Self) -> Self

impl<A: Semigroup, B: Semigroup, C: Semigroup, D: Semigroup, E: Semigroup, F: Semigroup, G: Semigroup, H: Semigroup, I: Semigroup, J: Semigroup, K: Semigroup, L: Semigroup, M: Semigroup, N: Semigroup, O: Semigroup, P: Semigroup, Q: Semigroup, R: Semigroup, S: Semigroup> Semigroup for (A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S)

fn combine(&self, other: &Self) -> Self

impl<A: Semigroup, B: Semigroup, C: Semigroup, D: Semigroup, E: Semigroup, F: Semigroup, G: Semigroup, H: Semigroup, I: Semigroup, J: Semigroup, K: Semigroup, L: Semigroup, M: Semigroup, N: Semigroup, O: Semigroup, P: Semigroup, Q: Semigroup, R: Semigroup, S: Semigroup, T: Semigroup> Semigroup for (A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T)

fn combine(&self, other: &Self) -> Self

impl<A: Semigroup, B: Semigroup, C: Semigroup, D: Semigroup, E: Semigroup, F: Semigroup, G: Semigroup, H: Semigroup, I: Semigroup, J: Semigroup, K: Semigroup, L: Semigroup, M: Semigroup, N: Semigroup, O: Semigroup, P: Semigroup, Q: Semigroup, R: Semigroup, S: Semigroup, T: Semigroup, U: Semigroup> Semigroup for (A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U)

fn combine(&self, other: &Self) -> Self

impl<K, V> Semigroup for HashMap<K, V>

where K: Eq + Hash + Clone, V: Semigroup + Clone,

fn combine(&self, other: &Self) -> Self

impl<T> Semigroup for Option<T>

where T: Semigroup + Clone,

fn combine(&self, other: &Self) -> Self

impl<T> Semigroup for Cell<T>

where T: Semigroup + Copy,

fn combine(&self, other: &Self) -> Self

impl<T> Semigroup for HashSet<T>

where T: Eq + Hash + Clone,

fn combine(&self, other: &Self) -> Self

impl<T: Clone> Semigroup for Vec<T>

fn combine(&self, other: &Self) -> Self

impl<T: Semigroup> Semigroup for Box<T>

fn combine(&self, other: &Self) -> Self

impl<T: Semigroup> Semigroup for RefCell<T>

fn combine(&self, other: &Self) -> Self

Implementors

impl Semigroup for HNil

Since () + () = (), the same is true for HNil

impl Semigroup for All<bool>

impl Semigroup for All<i8>

impl Semigroup for All<i16>

impl Semigroup for All<i32>

impl Semigroup for All<i64>

impl Semigroup for All<isize>

impl Semigroup for All<u8>

impl Semigroup for All<u16>

impl Semigroup for All<u32>

impl Semigroup for All<u64>

impl Semigroup for All<usize>

impl Semigroup for Any<bool>

impl Semigroup for Any<i8>

impl Semigroup for Any<i16>

impl Semigroup for Any<i32>

impl Semigroup for Any<i64>

impl Semigroup for Any<isize>

impl Semigroup for Any<u8>

impl Semigroup for Any<u16>

impl Semigroup for Any<u32>

impl Semigroup for Any<u64>

impl Semigroup for Any<usize>

impl Semigroup for Product<f32>

impl Semigroup for Product<f64>

impl Semigroup for Product<i8>

impl Semigroup for Product<i16>

impl Semigroup for Product<i32>

impl Semigroup for Product<i64>

impl Semigroup for Product<isize>

impl Semigroup for Product<u8>

impl Semigroup for Product<u16>

impl Semigroup for Product<u32>

impl Semigroup for Product<u64>

impl Semigroup for Product<usize>

impl<H: Semigroup, T: HList + Semigroup> Semigroup for HCons<H, T>

Allow the combination of any two HLists having the same structure if all of the sub-element types are also Semiups

impl<T> Semigroup for Max<T>

where T: Ord + Clone,

impl<T> Semigroup for Min<T>

where T: Ord + Clone,