From dbc3a7c5d41a7b392cdcd51a90f3a419dbaed179 Mon Sep 17 00:00:00 2001 From: Masaya Tojo Date: Sun, 16 Jun 2024 15:31:16 +0900 Subject: Add number (product, sum) implementations --- algebraic-structures.egg | 12 ++++++++++++ 1 file changed, 12 insertions(+) (limited to 'algebraic-structures.egg') diff --git a/algebraic-structures.egg b/algebraic-structures.egg index 7325c7e..0cba2ef 100644 --- a/algebraic-structures.egg +++ b/algebraic-structures.egg @@ -20,6 +20,18 @@ (extension algebraic-structures.monad) (extension algebraic-structures.alternative) + ;; Number (Product) + (extension algebraic-structures.private.number.product) + (extension algebraic-structures.number.product.semigroup) + (extension algebraic-structures.number.product.monoid) + (extension algebraic-structures.number.product.group) + + ;; Number (Sum) + (extension algebraic-structures.private.number.sum) + (extension algebraic-structures.number.sum.semigroup) + (extension algebraic-structures.number.sum.monoid) + (extension algebraic-structures.number.sum.group) + ;; List (extension algebraic-structures.private.list) (extension algebraic-structures.list.semigroup) -- cgit v1.2.3