Functor (T a) Source # | |
Instance detailsDefined in MathObj.Algebra Methods fmap :: (a0 -> b) -> T a a0 -> T a b # (<$) :: a0 -> T a b -> T a a0 # |
Ord a => C (T a) Source # | |
Instance detailsDefined in MathObj.Algebra |
(Eq a, Eq b) => Eq (T a b) Source # | |
Instance detailsDefined in MathObj.Algebra |
(Show a, Show b) => Show (T a b) Source # | |
Instance detailsDefined in MathObj.Algebra |
(Ord a, C b) => C (T a b) Source # | |
Instance detailsDefined in MathObj.Algebra |
(Ord a, C a, C b) => C (T a b) Source # | |
Instance detailsDefined in MathObj.Algebra |