alg 0.2.4.2 → 0.2.5.0

raw patch · 2 files changed

+5/−2 lines, 2 files

Files

Algebra.hs +4/−1
alg.cabal +1/−1

Algebra.hs view

@@ -2,7 +2,7 @@ {-# LANGUAGE FlexibleInstances #-}  module Algebra (Semigroup (..), Monoid (mempty), Group (..), Abelian, Idempotent,-                (+), (-), (*), (/)) where+                (+), (-), (*), (/), (×), commuteWith) where  import Control.Category import Data.Functor@@ -110,6 +110,9 @@  (*) :: Semigroup (Product a) => a -> a -> a a * b = getProduct (Product a <> Product b)++(×) :: Semigroup (Product a) => a -> a -> a+a × b = getProduct (Product a <> Product b)  (/) :: (Semigroup (Product a), Group (Product a)) => a -> a -> a a / b = getProduct (Product a <> invert (Product b))

alg.cabal view

@@ -1,5 +1,5 @@ name:                alg-version:             0.2.4.2+version:             0.2.5.0 synopsis:            Algebraic structures -- description:          license:             BSD3