Trait Monoid

pub trait Monoid: Semigroup {
    // Required method
    fn mempty() -> Self;
}

Monoid type class extends the Semigroup and adds an empty function for the type

Required Methods

fn mempty() -> Self

empty function same as Default

Examples

use funlib::{Monoid, Semigroup, Foldable::*};
let sum = vec![1i32,2i32,3i32,4i32].fold(i32::mempty(), |b,a| i32::mappend(&b, a));
assert_eq!(10i32, sum);
assert_eq!(None::<i32>, Option::<i32>::mempty());

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 Monoid for f32

fn mempty() -> Self

impl Monoid for f64

fn mempty() -> Self

impl Monoid for i8

fn mempty() -> Self

impl Monoid for i16

fn mempty() -> Self

impl Monoid for i32

fn mempty() -> Self

impl Monoid for i64

fn mempty() -> Self

impl Monoid for u8

fn mempty() -> Self

impl Monoid for u16

fn mempty() -> Self

impl Monoid for u32

fn mempty() -> Self

impl Monoid for u64

fn mempty() -> Self

impl<'a> Monoid for &'a str

fn mempty() -> Self

impl<A: Monoid> Monoid for Option<A>

fn mempty() -> Self

impl<A: Monoid> Monoid for Box<A>

fn mempty() -> Self

Implementors