Parameterized.Data.Monoid

Documentation

module Parameterized.Data.Semigroup

class PMEmpty n id | n -> id where

Parameterized version of mempty in Monoid.

Minimal complete definition

pmempty

Methods

pmempty :: n id

type PMonoid n id t u v = (PMEmpty n id, PSemigroup n t u v)

Parameterized version of Monoid.