| Rig Bool | |
| Rig Int | |
| Rig Int8 | |
| Rig Int16 | |
| Rig Int32 | |
| Rig Int64 | |
| Rig Integer | |
| Rig Word | |
| Rig Word8 | |
| Rig Word16 | |
| Rig Word32 | |
| Rig Word64 | |
| Rig () | |
| Rig Natural | |
| Rig Euclidean | |
| (Semiring (Complex r), Unital (Complex r), Monoidal (Complex r), Commutative r, Ring r) => Rig (Complex r) | |
| (Semiring (Quaternion r), Unital (Quaternion r), Monoidal (Quaternion r), TriviallyInvolutive r, Ring r) => Rig (Quaternion r) | |
| (Semiring (Dual r), Unital (Dual r), Monoidal (Dual r), Commutative r, Ring r) => Rig (Dual r) | |
| (Semiring (Hyper' r), Unital (Hyper' r), Monoidal (Hyper' r), Commutative r, Rig r) => Rig (Hyper' r) | |
| (Semiring (Hyper r), Unital (Hyper r), Monoidal (Hyper r), Commutative r, Rig r) => Rig (Hyper r) | |
| (Semiring (Dual' r), Unital (Dual' r), Monoidal (Dual' r), Commutative r, Ring r) => Rig (Dual' r) | |
| (Semiring (BasisCoblade m), Unital (BasisCoblade m), Monoidal (BasisCoblade m)) => Rig (BasisCoblade m) | |
| (Semiring (Quaternion' r), Unital (Quaternion' r), Monoidal (Quaternion' r), TriviallyInvolutive r, Ring r) => Rig (Quaternion' r) | |
| (Semiring (Trig r), Unital (Trig r), Monoidal (Trig r), Commutative r, Ring r) => Rig (Trig r) | |
| (Semiring (End r), Unital (End r), Monoidal (End r), Abelian r, Monoidal r) => Rig (End r) | |
| (Semiring (Opposite r), Unital (Opposite r), Monoidal (Opposite r), Rig r) => Rig (Opposite r) | |
| (Semiring (RngRing r), Unital (RngRing r), Monoidal (RngRing r), Rng r) => Rig (RngRing r) | |
| (Semiring (a, b), Unital (a, b), Monoidal (a, b), Rig a, Rig b) => Rig (a, b) | |
| (Semiring (Covector r m), Unital (Covector r m), Monoidal (Covector r m), Rig r, CounitalCoalgebra r m) => Rig (Covector r m) | |
| (Semiring (a, b, c), Unital (a, b, c), Monoidal (a, b, c), Rig a, Rig b, Rig c) => Rig (a, b, c) | |
| (Semiring (Map r b m), Unital (Map r b m), Monoidal (Map r b m), Rig r, CounitalCoalgebra r m) => Rig (Map r b m) | |
| (Semiring (a, b, c, d), Unital (a, b, c, d), Monoidal (a, b, c, d), Rig a, Rig b, Rig c, Rig d) => Rig (a, b, c, d) | |
| (Semiring (a, b, c, d, e), Unital (a, b, c, d, e), Monoidal (a, b, c, d, e), Rig a, Rig b, Rig c, Rig d, Rig e) => Rig (a, b, c, d, e) | |