precursor-0.1.0.0: Prelude replacement
Precursor.Algebra.Ring
Synopsis
class Semiring a => Ring a where Source #
A Ring is a Semiring with an additive inverse, such that:
Ring
Semiring
∀ r. r ∈ Ring ∃ i. r - i = zero
-
zero
Methods
(-) :: a -> a -> a infixl 6 Source #
A binary operation such that:
(-) :: Num a => a -> a -> a infixl 6 Source #
Instances
(-) :: Double -> Double -> Double Source #
(-) :: Float -> Float -> Float Source #
(-) :: Int -> Int -> Int Source #
(-) :: Int8 -> Int8 -> Int8 Source #
(-) :: Int16 -> Int16 -> Int16 Source #
(-) :: Int32 -> Int32 -> Int32 Source #
(-) :: Int64 -> Int64 -> Int64 Source #
(-) :: Integer -> Integer -> Integer Source #