precursor-0.1.0.0: Prelude replacement

Safe HaskellSafe
LanguageHaskell2010

Precursor.Algebra.Ring

Synopsis

Documentation

class Semiring a => Ring a where Source #

A Ring is a Semiring with an additive inverse, such that:

Methods

(-) :: a -> a -> a infixl 6 Source #

A binary operation such that:

(-) :: Num a => a -> a -> a infixl 6 Source #

A binary operation such that:

Instances