Bitraversable (Constant :: * -> * -> *) Source # | |
Instance details |
Bifoldable (Constant :: * -> * -> *) Source # | |
Instance details |
Bifunctor (Constant :: * -> * -> *) Source # | |
Instance details |
Eq2 (Constant :: * -> * -> *) Source # | |
Instance details |
Ord2 (Constant :: * -> * -> *) Source # | |
Instance details |
Read2 (Constant :: * -> * -> *) Source # | |
Instance details |
Show2 (Constant :: * -> * -> *) Source # | |
Instance details |
Functor (Constant a :: * -> *) Source # | |
Instance details |
Monoid a => Applicative (Constant a :: * -> *) Source # | |
Instance details |
Foldable (Constant a :: * -> *) Source # | |
Instance details |
Traversable (Constant a :: * -> *) Source # | |
Instance details |
Eq a => Eq1 (Constant a :: * -> *) Source # | |
Instance details |
Ord a => Ord1 (Constant a :: * -> *) Source # | |
Instance details |
Read a => Read1 (Constant a :: * -> *) Source # | |
Instance details |
Show a => Show1 (Constant a :: * -> *) Source # | |
Instance details |
Eq a => Eq (Constant a b) Source # | |
Instance details |
Ord a => Ord (Constant a b) Source # | |
Instance details |
Read a => Read (Constant a b) Source # | |
Instance details |
Show a => Show (Constant a b) Source # | |
Instance details |
Semigroup a => Semigroup (Constant a b) Source # | |
Instance details |
Monoid a => Monoid (Constant a b) Source # | |
Instance details |