Arithmetic.Ring

Documentation

data Ring a

Constructors

Ring

Fields

• fromNatural :: Natural -> a
• add :: a -> a -> a
• negate :: a -> a
• multiply :: a -> a -> a
• divide :: a -> a -> Maybe a

zero :: Ring a -> a

one :: Ring a -> a

two :: Ring a -> a

double :: Ring a -> a -> a

subtract :: Ring a -> a -> a -> a

square :: Ring a -> a -> a

exp :: Ring a -> a -> Natural -> a

exp2 :: Ring a -> a -> Natural -> a

divides :: Ring a -> a -> a -> Bool

invert :: Ring a -> a -> Maybe a