| Safe Haskell | Safe |
|---|---|
| Language | Haskell98 |
Numeric.Ring.Class
Documentation
class (Rig r, Rng r) => Ring r where #
Methods
fromInteger :: Integer -> r #
Instances
| Ring Int # | |
| Ring Int8 # | |
| Ring Int16 # | |
| Ring Int32 # | |
| Ring Int64 # | |
| Ring Integer # | |
| Ring Word # | |
| Ring Word8 # | |
| Ring Word16 # | |
| Ring Word32 # | |
| Ring Word64 # | |
| Ring () # | |
| Ring Euclidean # | |
| Rng r => Ring (RngRing r) # | |
| Ring r => Ring (Opposite r) # | |
| (Abelian r, Group r) => Ring (End r) # | |
| (Commutative r, Ring r) => Ring (Trig r) # | |
| (TriviallyInvolutive r, Ring r) => Ring (Quaternion' r) # | |
| (Commutative r, Ring r) => Ring (Hyper r) # | |
| (Commutative r, Ring r) => Ring (Dual' r) # | |
| (TriviallyInvolutive r, Ring r) => Ring (Quaternion r) # | |
| (Commutative r, Ring r) => Ring (Hyper' r) # | |
| (Commutative r, Ring r) => Ring (Dual r) # | |
| (Commutative r, Ring r) => Ring (Complex r) # | |
| GCDDomain d => Ring (Fraction d) # | |
| (Ring a, Ring b) => Ring (a, b) # | |
| (Ring r, CounitalCoalgebra r m) => Ring (Covector r m) # | |
| (Ring a, Ring b, Ring c) => Ring (a, b, c) # | |
| (Ring r, CounitalCoalgebra r m) => Ring (Map r a m) # | |
| (Ring a, Ring b, Ring c, Ring d) => Ring (a, b, c, d) # | |
| (Ring a, Ring b, Ring c, Ring d, Ring e) => Ring (a, b, c, d, e) # | |
fromIntegral :: (Integral n, Ring r) => n -> r #