Trait frunk::semigroup::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))

Object Safety

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,