Trait frunk::monoid::Monoid

pub trait Monoid: Semigroup {
    // Required method
    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

use frunk::Monoid;

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

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl Monoid for f32

fn empty() -> Self

impl Monoid for f64

fn empty() -> Self

impl Monoid for i8

fn empty() -> Self

impl Monoid for i16

fn empty() -> Self

impl Monoid for i32

fn empty() -> Self

impl Monoid for i64

fn empty() -> Self

impl Monoid for isize

fn empty() -> Self

impl Monoid for u8

fn empty() -> Self

impl Monoid for u16

fn empty() -> Self

impl Monoid for u32

fn empty() -> Self

impl Monoid for u64

fn empty() -> Self

impl Monoid for usize

fn empty() -> Self

impl Monoid for String

fn empty() -> Self

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

fn empty() -> Self

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

fn empty() -> Self

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

fn empty() -> Self

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

fn empty() -> Self

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

fn empty() -> Self

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

fn empty() -> Self

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

fn empty() -> Self

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)

fn empty() -> Self

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)

fn empty() -> Self

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)

fn empty() -> Self

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)

fn empty() -> Self

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)

fn empty() -> Self

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)

fn empty() -> Self

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)

fn empty() -> Self

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)

fn empty() -> Self

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)

fn empty() -> Self

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)

fn empty() -> Self

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)

fn empty() -> Self

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)

fn empty() -> Self

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)

fn empty() -> Self

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)

fn empty() -> Self

impl<K, V> Monoid for HashMap<K, V>where K: Eq + Hash + Clone, V: Semigroup + Clone,

fn empty() -> Self

impl<T> Monoid for Option<T>where T: Semigroup + Clone,

fn empty() -> Self

impl<T> Monoid for Vec<T>where T: Clone,

fn empty() -> Self

impl<T> Monoid for HashSet<T>where T: Hash + Eq + Clone,

fn empty() -> Self

Implementors

impl Monoid for All<bool>

impl Monoid for All<i8>

impl Monoid for All<i16>

impl Monoid for All<i32>

impl Monoid for All<i64>

impl Monoid for All<isize>

impl Monoid for All<u8>

impl Monoid for All<u16>

impl Monoid for All<u32>

impl Monoid for All<u64>

impl Monoid for All<usize>

impl Monoid for Any<bool>

impl Monoid for Any<i8>

impl Monoid for Any<i16>

impl Monoid for Any<i32>

impl Monoid for Any<i64>

impl Monoid for Any<isize>

impl Monoid for Any<u8>

impl Monoid for Any<u16>

impl Monoid for Any<u32>

impl Monoid for Any<u64>

impl Monoid for Any<usize>

impl Monoid for Product<f32>

impl Monoid for Product<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<isize>

impl Monoid for Product<u8>

impl Monoid for Product<u16>

impl Monoid for Product<u32>

impl Monoid for Product<u64>

impl Monoid for Product<usize>