arithmetic-1.3: Natural number arithmetic

LicenseMIT
MaintainerJoe Leslie-Hurd <[email protected]>
Stabilityprovisional
Portabilityportable
Safe HaskellSafe
LanguageHaskell98

Arithmetic.Modular

Description

 

Documentation

normalize :: Natural -> Natural -> Natural Source #

add :: Natural -> Natural -> Natural -> Natural Source #

negate :: Natural -> Natural -> Natural Source #

multiply :: Natural -> Natural -> Natural -> Natural Source #

divide :: Natural -> Natural -> Natural -> Maybe Natural Source #

ring :: Natural -> Ring Natural Source #

double :: Natural -> Natural -> Natural Source #

subtract :: Natural -> Natural -> Natural -> Natural Source #

square :: Natural -> Natural -> Natural Source #

exp :: Natural -> Natural -> Natural -> Natural Source #

exp2 :: Natural -> Natural -> Natural -> Natural Source #

invert :: Natural -> Natural -> Maybe Natural Source #

divides :: Natural -> Natural -> Natural -> Bool Source #