Trait frunk::monoid::Monoid
[−]
[src]
pub trait Monoid: Semigroup { fn empty() -> Self; }
A Monoid is a Sempigroup that has an empty/ zero value
Required Methods
fn empty() -> Self
For a given Monoid, returns its empty/zero value
assert_eq!(<i16 as Monoid>::empty(), 0);Run
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 + Cloneimpl 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,)