Documentation
class Multiplicative r => Unital r whereSource
Unital Bool | |
Unital Int | |
Unital Int8 | |
Unital Int16 | |
Unital Int32 | |
Unital Int64 | |
Unital Integer | |
Unital Word | |
Unital Word8 | |
Unital Word16 | |
Unital Word32 | |
Unital Word64 | |
Unital () | |
Unital Natural | |
AdditiveMonoid r => Unital (Exp r) | |
Unital (End r) | |
Unital r => Unital (Opposite r) | |
Rng r => Unital (RngRing r) | |
(Unital r, FreeUnitalAlgebra r a) => Unital (a -> r) | |
(Unital a, Unital b) => Unital (a, b) | |
FreeCounitalCoalgebra r m => Unital (Linear r m) | |
AdditiveMonoid n => Unital (:^ x n) | |
(Unital a, Unital b, Unital c) => Unital (a, b, c) | |
FreeCounitalCoalgebra r m => Unital (Map r b m) | |
(Unital a, Unital b, Unital c, Unital d) => Unital (a, b, c, d) | |
(Unital a, Unital b, Unital c, Unital d, Unital e) => Unital (a, b, c, d, e) |