Trait funlib::Monoid

pub trait Monoid: Semigroup {
    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());

Loading content...

Implementations on Foreign Types

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

fn mempty() -> Self

impl Monoid for f64

fn mempty() -> Self

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

fn mempty() -> Self

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

fn mempty() -> Self

impl<'a> Monoid for &'a str

fn mempty() -> Self

Loading content...

Implementors

Loading content...