-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | A library for constructive algebra.
--   
--   A library for constructive algebra.
@package constructive-algebra
@version 0.0.0


-- | The representation of the ring structure.
module Algebra.Structures.Ring

-- | Definition of rings
class Ring a
(<+>) :: (Ring a) => a -> a -> a
(<*>) :: (Ring a) => a -> a -> a
neg :: (Ring a) => a -> a
zero :: (Ring a) => a
one :: (Ring a) => a

-- | Specification of rings. Test that the arguments satisfy the ring
--   axioms.
propRing :: (Ring a, Eq a) => a -> a -> a -> Property

-- | Subtraction
(<->) :: (Ring a) => a -> a -> a

-- | Exponentiation
(<^>) :: (Ring a) => a -> Integer -> a

-- | Summation
sumRing :: (Ring a) => [a] -> a

-- | Product
productRing :: (Ring a) => [a] -> a