Typeable1 Morphism | |
(Commutative r, Monoidal r, Semiring r, PartialSemigroup a) => Coalgebra r (Morphism a) | |
(Coalgebra r (Morphism a), Commutative r, Monoidal r, Semiring r, PartialMonoid a) => CounitalCoalgebra r (Morphism a) | |
Eq a => Eq (Morphism a) | |
(Typeable (Morphism a), Data a) => Data (Morphism a) | |
(Eq (Morphism a), Ord a) => Ord (Morphism a) | |
Read a => Read (Morphism a) | |
Show a => Show (Morphism a) | |
PartialSemigroup a => PartialSemigroup (Morphism a) | |
(PartialSemigroup (Morphism a), PartialMonoid a) => PartialMonoid (Morphism a) | |
(PartialMonoid (Morphism a), PartialGroup a) => PartialGroup (Morphism a) | |