(Representable f, Representable g) => Monad (EitherTrie f g) | |
(Functor f, Functor g) => Functor (EitherTrie f g) | |
(Functor (EitherTrie f g), Applicative f, Applicative g) => Applicative (EitherTrie f g) | |
(Foldable f, Foldable g) => Foldable (EitherTrie f g) | |
(Functor (EitherTrie f g), Foldable (EitherTrie f g), Traversable f, Traversable g) => Traversable (EitherTrie f g) | |
(Functor (EitherTrie f g), Representable f, Representable g) => Distributive (EitherTrie f g) | |
(Functor (EitherTrie f g), Keyed f, Keyed g) => Keyed (EitherTrie f g) | |
(Functor (EitherTrie f g), Zip f, Zip g) => Zip (EitherTrie f g) | |
(Keyed (EitherTrie f g), Zip (EitherTrie f g), ZipWithKey f, ZipWithKey g) => ZipWithKey (EitherTrie f g) | |
(Lookup (EitherTrie f g), Indexable f, Indexable g) => Indexable (EitherTrie f g) | |
(Lookup f, Lookup g) => Lookup (EitherTrie f g) | |
(Functor (EitherTrie f g), Adjustable f, Adjustable g) => Adjustable (EitherTrie f g) | |
(Foldable (EitherTrie f g), FoldableWithKey f, FoldableWithKey g) => FoldableWithKey (EitherTrie f g) | |
(Foldable1 (EitherTrie f g), FoldableWithKey (EitherTrie f g), FoldableWithKey1 f, FoldableWithKey1 g) => FoldableWithKey1 (EitherTrie f g) | |
(Keyed (EitherTrie f g), FoldableWithKey (EitherTrie f g), Traversable (EitherTrie f g), TraversableWithKey f, TraversableWithKey g) => TraversableWithKey (EitherTrie f g) | |
(Traversable1 (EitherTrie f g), FoldableWithKey1 (EitherTrie f g), TraversableWithKey (EitherTrie f g), TraversableWithKey1 f, TraversableWithKey1 g) => TraversableWithKey1 (EitherTrie f g) | |
(Functor (EitherTrie f g), Indexable (EitherTrie f g), Representable f, Representable g) => Representable (EitherTrie f g) | |
(Foldable1 (EitherTrie f g), Traversable (EitherTrie f g), Traversable1 f, Traversable1 g) => Traversable1 (EitherTrie f g) | |
(Foldable (EitherTrie f g), Foldable1 f, Foldable1 g) => Foldable1 (EitherTrie f g) | |
(Functor (EitherTrie f g), Apply f, Apply g) => Apply (EitherTrie f g) | |
(Apply (EitherTrie f g), Apply f, Representable f, Apply g, Representable g) => Bind (EitherTrie f g) | |
(Applicative f, Applicative g, Monoid a) => Monoid (EitherTrie f g a) | |
(Apply f, Apply g, Semigroup s) => Semigroup (EitherTrie f g s) | |