Trait frunk::monoid::Monoid

pub trait Monoid: Semigroup {
    fn empty() -> Self;
}

A Monoid is a Semigroup that has an empty/ zero value

Required Methods

fn empty() -> Self

For a given Monoid, returns its empty/zero value

Examples

assert_eq!(<i16 as Monoid>::empty(), 0);

Implementors

• impl<T> Monoid for Option<T> where
    T: Semigroup + Clone, 
• impl Monoid for String
• impl<T> Monoid for Vec<T> where
    T: Clone, 
• impl<T> Monoid for HashSet<T> where
    T: Hash + Eq + Clone, 
• impl<K, V> Monoid for HashMap<K, V> where
    K: Eq + Hash + Clone,
    V: Semigroup + Clone, 
• impl Monoid for All<bool>
• impl Monoid for Any<bool>
• impl Monoid for All<usize>
• impl Monoid for All<u8>
• impl Monoid for All<u16>
• impl Monoid for All<u32>
• impl Monoid for All<u64>
• impl Monoid for All<isize>
• impl Monoid for All<i8>
• impl Monoid for All<i16>
• impl Monoid for All<i32>
• impl Monoid for All<i64>
• impl Monoid for Any<usize>
• impl Monoid for Any<u8>
• impl Monoid for Any<u16>
• impl Monoid for Any<u32>
• impl Monoid for Any<u64>
• impl Monoid for Any<isize>
• impl Monoid for Any<i8>
• impl Monoid for Any<i16>
• impl Monoid for Any<i32>
• impl Monoid for Any<i64>
• impl Monoid for i8
• impl Monoid for i16
• impl Monoid for i32
• impl Monoid for i64
• impl Monoid for u8
• impl Monoid for u16
• impl Monoid for u32
• impl Monoid for u64
• impl Monoid for isize
• impl Monoid for usize
• impl Monoid for f32
• impl Monoid for f64
• impl Monoid for Product<i8>
• impl Monoid for Product<i16>
• impl Monoid for Product<i32>
• impl Monoid for Product<i64>
• impl Monoid for Product<u8>
• impl Monoid for Product<u16>
• impl Monoid for Product<u32>
• impl Monoid for Product<u64>
• impl Monoid for Product<isize>
• impl Monoid for Product<usize>
• impl Monoid for Product<f32>
• impl Monoid for Product<f64>
• impl<A: Monoid, B: Monoid, C: Monoid, D: Monoid, E: Monoid, F: Monoid, G: Monoid, H: Monoid, I: Monoid, J: Monoid, K: Monoid, L: Monoid, M: Monoid, N: Monoid, O: Monoid, P: Monoid, Q: Monoid, R: Monoid, S: Monoid, T: Monoid, U: Monoid> Monoid for (A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U)
• impl<A: Monoid, B: Monoid, C: Monoid, D: Monoid, E: Monoid, F: Monoid, G: Monoid, H: Monoid, I: Monoid, J: Monoid, K: Monoid, L: Monoid, M: Monoid, N: Monoid, O: Monoid, P: Monoid, Q: Monoid, R: Monoid, S: Monoid, T: Monoid> Monoid for (A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T)
• impl<A: Monoid, B: Monoid, C: Monoid, D: Monoid, E: Monoid, F: Monoid, G: Monoid, H: Monoid, I: Monoid, J: Monoid, K: Monoid, L: Monoid, M: Monoid, N: Monoid, O: Monoid, P: Monoid, Q: Monoid, R: Monoid, S: Monoid> Monoid for (A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S)
• impl<A: Monoid, B: Monoid, C: Monoid, D: Monoid, E: Monoid, F: Monoid, G: Monoid, H: Monoid, I: Monoid, J: Monoid, K: Monoid, L: Monoid, M: Monoid, N: Monoid, O: Monoid, P: Monoid, Q: Monoid, R: Monoid> Monoid for (A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R)
• impl<A: Monoid, B: Monoid, C: Monoid, D: Monoid, E: Monoid, F: Monoid, G: Monoid, H: Monoid, I: Monoid, J: Monoid, K: Monoid, L: Monoid, M: Monoid, N: Monoid, O: Monoid, P: Monoid, Q: Monoid> Monoid for (A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q)
• impl<A: Monoid, B: Monoid, C: Monoid, D: Monoid, E: Monoid, F: Monoid, G: Monoid, H: Monoid, I: Monoid, J: Monoid, K: Monoid, L: Monoid, M: Monoid, N: Monoid, O: Monoid, P: Monoid> Monoid for (A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P)
• impl<A: Monoid, B: Monoid, C: Monoid, D: Monoid, E: Monoid, F: Monoid, G: Monoid, H: Monoid, I: Monoid, J: Monoid, K: Monoid, L: Monoid, M: Monoid, N: Monoid, O: Monoid> Monoid for (A, B, C, D, E, F, G, H, I, J, K, L, M, N, O)
• impl<A: Monoid, B: Monoid, C: Monoid, D: Monoid, E: Monoid, F: Monoid, G: Monoid, H: Monoid, I: Monoid, J: Monoid, K: Monoid, L: Monoid, M: Monoid, N: Monoid> Monoid for (A, B, C, D, E, F, G, H, I, J, K, L, M, N)
• impl<A: Monoid, B: Monoid, C: Monoid, D: Monoid, E: Monoid, F: Monoid, G: Monoid, H: Monoid, I: Monoid, J: Monoid, K: Monoid, L: Monoid, M: Monoid> Monoid for (A, B, C, D, E, F, G, H, I, J, K, L, M)
• impl<A: Monoid, B: Monoid, C: Monoid, D: Monoid, E: Monoid, F: Monoid, G: Monoid, H: Monoid, I: Monoid, J: Monoid, K: Monoid, L: Monoid> Monoid for (A, B, C, D, E, F, G, H, I, J, K, L)
• impl<A: Monoid, B: Monoid, C: Monoid, D: Monoid, E: Monoid, F: Monoid, G: Monoid, H: Monoid, I: Monoid, J: Monoid, K: Monoid> Monoid for (A, B, C, D, E, F, G, H, I, J, K)
• impl<A: Monoid, B: Monoid, C: Monoid, D: Monoid, E: Monoid, F: Monoid, G: Monoid, H: Monoid, I: Monoid, J: Monoid> Monoid for (A, B, C, D, E, F, G, H, I, J)
• impl<A: Monoid, B: Monoid, C: Monoid, D: Monoid, E: Monoid, F: Monoid, G: Monoid, H: Monoid, I: Monoid> Monoid for (A, B, C, D, E, F, G, H, I)
• impl<A: Monoid, B: Monoid, C: Monoid, D: Monoid, E: Monoid, F: Monoid, G: Monoid, H: Monoid> Monoid for (A, B, C, D, E, F, G, H)
• impl<A: Monoid, B: Monoid, C: Monoid, D: Monoid, E: Monoid, F: Monoid, G: Monoid> Monoid for (A, B, C, D, E, F, G)
• impl<A: Monoid, B: Monoid, C: Monoid, D: Monoid, E: Monoid, F: Monoid> Monoid for (A, B, C, D, E, F)
• impl<A: Monoid, B: Monoid, C: Monoid, D: Monoid, E: Monoid> Monoid for (A, B, C, D, E)
• impl<A: Monoid, B: Monoid, C: Monoid, D: Monoid> Monoid for (A, B, C, D)
• impl<A: Monoid, B: Monoid, C: Monoid> Monoid for (A, B, C)
• impl<A: Monoid, B: Monoid> Monoid for (A, B)
• impl<A: Monoid> Monoid for (A,)