lib/funkr/categories/monoid.rb in funkr-0.0.23 vs lib/funkr/categories/monoid.rb in funkr-0.0.24
- old
+ new
@@ -1,8 +1,9 @@
module Funkr
module Categories
+ # Monoids are types that can be added and have a zero element.
module Monoid
-
+
def mplus
raise "Monoid#mplus not implemented"
end
module ClassMethods