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