higher 0.2.0

Functors, Applicatives, Monads and other bad ideas
Documentation 
1
2
3
4
5
6
7
8
9
10

use crate::Semigroup;

/// A `Monoid` consists of a [`Semigroup`](Semigroup) and an empty value (the
/// [`Default`](Default) trait) plus the following laws:
///
/// - Associativity: `(x + y) + z == x + (y + z)`
/// - Identity: `0 + a == a + 0 == a`
pub trait Monoid: Semigroup + Default {}

impl<A> Monoid for A where A: Semigroup + Default {}