arrow-core / arrow.core.extensions
| AndMonoid | object ~~AndMonoid~~ : Monoid<Boolean> | 
    
| AndThenApplicative | interface ~~AndThenApplicative~~<X> : Applicative<AndThenPartialOf<X>>, AndThenFunctor<X> | 
    
| AndThenApply | interface ~~AndThenApply~~<X> : Apply<AndThenPartialOf<X>>, AndThenFunctor<X> | 
    
| AndThenCategory | interface ~~AndThenCategory~~ : Category<ForAndThen> | 
    
| AndThenContravariant | interface ~~AndThenContravariant~~<O> : Contravariant<Conested<ForAndThen, O>> | 
    
| AndThenFunctor | interface ~~AndThenFunctor~~<X> : Functor<AndThenPartialOf<X>> | 
    
| AndThenMonad | interface ~~AndThenMonad~~<X> : Monad<AndThenPartialOf<X>>, AndThenApplicative<X> | 
    
| AndThenMonoid | interface ~~AndThenMonoid~~<A, B> : Monoid<AndThen<A, B>>, AndThenSemigroup<A, B> | 
    
| AndThenProfunctor | interface ~~AndThenProfunctor~~ : Profunctor<ForAndThen> | 
    
| AndThenSemigroup | interface ~~AndThenSemigroup~~<A, B> : Semigroup<AndThen<A, B>> | 
    
| BooleanEq | interface ~~BooleanEq~~ : Eq<Boolean> | 
    
| BooleanHash | interface ~~BooleanHash~~ : Hash<Boolean>, BooleanEq | 
    
| BooleanOrder | interface ~~BooleanOrder~~ : Order<Boolean> | 
    
| BooleanShow | interface ~~BooleanShow~~ : Show<Boolean> | 
    
| ByteEq | interface ~~ByteEq~~ : Eq<Byte> | 
    
| ByteHash | interface ~~ByteHash~~ : Hash<Byte>, ByteEq | 
    
| ByteMonoid | interface ~~ByteMonoid~~ : Monoid<Byte>, ByteSemigroup | 
    
| ByteOrder | interface ~~ByteOrder~~ : Order<Byte> | 
    
| ByteSemigroup | interface ~~ByteSemigroup~~ : Semigroup<Byte> | 
    
| ByteSemiring | interface ~~ByteSemiring~~ : Semiring<Byte> | 
    
| ByteShow | interface ~~ByteShow~~ : Show<Byte> | 
    
| CharEq | interface ~~CharEq~~ : Eq<Char> | 
    
| CharHash | interface ~~CharHash~~ : Hash<Char>, CharEq | 
    
| CharOrder | interface ~~CharOrder~~ : Order<Char> | 
    
| CharShow | interface ~~CharShow~~ : Show<Char> | 
    
| ConstApplicative | interface ~~ConstApplicative~~<A> : Applicative<ConstPartialOf<A>> | 
    
| ConstApply | interface ~~ConstApply~~<A> : Apply<ConstPartialOf<A>> | 
    
| ConstContravariant | interface ~~ConstContravariant~~<A> : Contravariant<ConstPartialOf<A>> | 
    
| ConstDivideInstance | interface ~~ConstDivideInstance~~<O> : Divide<ConstPartialOf<O>>, ConstContravariant<O> | 
    
| ConstDivisibleInstance | interface ~~ConstDivisibleInstance~~<O> : Divisible<ConstPartialOf<O>>, ConstDivideInstance<O> | 
    
| ConstEq | interface ~~ConstEq~~<A, T> : Eq<Const<A, T>> | 
    
| ConstEqK | interface ~~ConstEqK~~<A> : EqK<ConstPartialOf<A>> | 
    
| ConstFoldable | interface ~~ConstFoldable~~<A> : Foldable<ConstPartialOf<A>> | 
    
| ConstFunctor | interface ~~ConstFunctor~~<A> : Functor<ConstPartialOf<A>> | 
    
| ConstHash | interface ~~ConstHash~~<A, T> : Hash<Const<A, T>> | 
    
| ConstInvariant | interface ~~ConstInvariant~~<A> : Invariant<ConstPartialOf<A>> | 
    
| ConstMonoid | interface ~~ConstMonoid~~<A, T> : Monoid<ConstOf<A, T>>, ConstSemigroup<A, T> | 
    
| ConstOrder | interface ~~ConstOrder~~<A, T> : Order<Const<A, T>> | 
    
| ConstSemigroup | interface ~~ConstSemigroup~~<A, T> : Semigroup<ConstOf<A, T>> | 
    
| ConstShow | interface ~~ConstShow~~<A, T> : Show<Const<A, T>> | 
    
| ConstTraverse | interface ~~ConstTraverse~~<X> : Traverse<ConstPartialOf<X>>, ConstFoldable<X> | 
    
| ConstTraverseFilter | interface ~~ConstTraverseFilter~~<X> : TraverseFilter<ConstPartialOf<X>>, ConstTraverse<X> | 
    
| DoubleEq | interface ~~DoubleEq~~ : Eq<Double> | 
    
| DoubleHash | interface ~~DoubleHash~~ : Hash<Double>, DoubleEq | 
    
| DoubleMonoid | interface ~~DoubleMonoid~~ : Monoid<Double>, DoubleSemigroup | 
    
| DoubleOrder | interface ~~DoubleOrder~~ : Order<Double> | 
    
| DoubleSemigroup | interface ~~DoubleSemigroup~~ : Semigroup<Double> | 
    
| DoubleSemiring | interface ~~DoubleSemiring~~ : Semiring<Double> | 
    
| DoubleShow | interface ~~DoubleShow~~ : Show<Double> | 
    
| EitherApplicative | interface ~~EitherApplicative~~<L> : Applicative<EitherPartialOf<L>>, EitherApply<L> | 
    
| EitherApplicativeError | interface ~~EitherApplicativeError~~<L> : ApplicativeError<EitherPartialOf<L>, L>, EitherApplicative<L> | 
    
| EitherApply | interface ~~EitherApply~~<L> : Apply<EitherPartialOf<L>>, EitherFunctor<L> | 
    
| EitherBicrosswalk | interface ~~EitherBicrosswalk~~ : Bicrosswalk<ForEither>, EitherBifunctor, EitherBifoldable | 
    
| EitherBifoldable | interface ~~EitherBifoldable~~ : Bifoldable<ForEither> | 
    
| EitherBifunctor | interface ~~EitherBifunctor~~ : Bifunctor<ForEither> | 
    
| EitherBitraverse | interface ~~EitherBitraverse~~ : Bitraverse<ForEither>, EitherBifoldable | 
    
| EitherEq | interface ~~EitherEq~~<in L, in R> : Eq<Either<L, R>> | 
    
| EitherEqK | interface ~~EitherEqK~~<L> : EqK<EitherPartialOf<L>> | 
    
| EitherEqK2 | interface ~~EitherEqK2~~ : EqK2<ForEither> | 
    
| EitherFoldable | interface ~~EitherFoldable~~<L> : Foldable<EitherPartialOf<L>> | 
    
| EitherFunctor | interface ~~EitherFunctor~~<L> : Functor<EitherPartialOf<L>> | 
    
| EitherHash | interface ~~EitherHash~~<L, R> : Hash<Either<L, R>> | 
    
| EitherMonad | interface ~~EitherMonad~~<L> : Monad<EitherPartialOf<L>>, EitherApplicative<L> | 
    
| EitherMonadError | interface ~~EitherMonadError~~<L> : MonadError<EitherPartialOf<L>, L>, EitherApplicativeError<L>, EitherMonad<L> | 
    
| EitherMonoid | interface ~~EitherMonoid~~<L, R> : Monoid<Either<L, R>>, EitherSemigroup<L, R> | 
    
| EitherOrder | interface ~~EitherOrder~~<L, R> : Order<Either<L, R>> | 
    
| EitherSemigroup | interface ~~EitherSemigroup~~<L, R> : Semigroup<Either<L, R>> | 
    
| EitherSemigroupK | interface ~~EitherSemigroupK~~<L> : SemigroupK<EitherPartialOf<L>> | 
    
| EitherShow | interface ~~EitherShow~~<L, R> : Show<Either<L, R>> | 
    
| EitherTraverse | interface ~~EitherTraverse~~<L> : Traverse<EitherPartialOf<L>>, EitherFoldable<L> | 
    
| EndoMonoid | interface ~~EndoMonoid~~<A> : Monoid<Endo<A>> | 
    
| EvalApplicative | interface ~~EvalApplicative~~ : Applicative<ForEval> | 
    
| EvalApply | interface ~~EvalApply~~ : Apply<ForEval> | 
    
| EvalBimonad | interface ~~EvalBimonad~~ : Bimonad<ForEval> | 
    
| EvalComonad | interface ~~EvalComonad~~ : Comonad<ForEval> | 
    
| EvalFunctor | interface ~~EvalFunctor~~ : Functor<ForEval> | 
    
| EvalMonad | interface ~~EvalMonad~~ : Monad<ForEval> | 
    
| FloatEq | interface ~~FloatEq~~ : Eq<Float> | 
    
| FloatHash | interface ~~FloatHash~~ : Hash<Float>, FloatEq | 
    
| FloatMonoid | interface ~~FloatMonoid~~ : Monoid<Float>, FloatSemigroup | 
    
| FloatOrder | interface ~~FloatOrder~~ : Order<Float> | 
    
| FloatSemigroup | interface ~~FloatSemigroup~~ : Semigroup<Float> | 
    
| FloatSemiring | interface ~~FloatSemiring~~ : Semiring<Float> | 
    
| FloatShow | interface ~~FloatShow~~ : Show<Float> | 
    
| ForString | object ~~ForString~~ | 
    
| HashedEq | interface ~~HashedEq~~<A> : Eq<Hashed<A>> | 
    
| HashedEqK | interface ~~HashedEqK~~ : EqK<ForHashed> | 
    
| HashedFoldable | interface ~~HashedFoldable~~ : Foldable<ForHashed> | 
    
| HashedHash | interface ~~HashedHash~~<A> : Hash<Hashed<A>> | 
    
| HashedOrder | interface ~~HashedOrder~~<A> : Order<Hashed<A>> | 
    
| HashedShow | interface ~~HashedShow~~<A> : Show<Hashed<A>> | 
    
| IntEq | interface ~~IntEq~~ : Eq<Int> | 
    
| IntHash | interface ~~IntHash~~ : Hash<Int> | 
    
| IntMonoid | interface ~~IntMonoid~~ : Monoid<Int>, IntSemigroup | 
    
| IntOrder | interface ~~IntOrder~~ : Order<Int> | 
    
| IntSemigroup | interface ~~IntSemigroup~~ : Semigroup<Int> | 
    
| IntSemiring | interface ~~IntSemiring~~ : Semiring<Int> | 
    
| IntShow | interface ~~IntShow~~ : Show<Int> | 
    
| IorApplicative | interface ~~IorApplicative~~<L> : Applicative<IorPartialOf<L>>, IorApply<L> | 
    
| IorApply | interface ~~IorApply~~<L> : Apply<IorPartialOf<L>>, IorFunctor<L> | 
    
| IorBicrosswalk | interface ~~IorBicrosswalk~~ : Bicrosswalk<ForIor>, IorBifunctor, IorBifoldable | 
    
| IorBifoldable | interface ~~IorBifoldable~~ : Bifoldable<ForIor> | 
    
| IorBifunctor | interface ~~IorBifunctor~~ : Bifunctor<ForIor> | 
    
| IorBitraverse | interface ~~IorBitraverse~~ : Bitraverse<ForIor>, IorBifoldable | 
    
| IorCrosswalk | interface ~~IorCrosswalk~~<L> : Crosswalk<IorPartialOf<L>>, IorFunctor<L>, IorFoldable<L> | 
    
| IorEq | interface ~~IorEq~~<L, R> : Eq<Ior<L, R>> | 
    
| IorEqK | interface ~~IorEqK~~<A> : EqK<IorPartialOf<A>> | 
    
| IorEqK2 | interface ~~IorEqK2~~ : EqK2<ForIor> | 
    
| IorFoldable | interface ~~IorFoldable~~<L> : Foldable<IorPartialOf<L>> | 
    
| IorFunctor | interface ~~IorFunctor~~<L> : Functor<IorPartialOf<L>> | 
    
| IorHash | interface ~~IorHash~~<L, R> : Hash<Ior<L, R>> | 
    
| IorMonad | interface ~~IorMonad~~<L> : Monad<IorPartialOf<L>>, IorApplicative<L> | 
    
| IorOrder | interface ~~IorOrder~~<L, R> : Order<Ior<L, R>> | 
    
| IorSemigroup | interface ~~IorSemigroup~~<L, R> : Semigroup<Ior<L, R>> | 
    
| IorShow | interface ~~IorShow~~<L, R> : Show<Ior<L, R>> | 
    
| IorTraverse | interface ~~IorTraverse~~<L> : Traverse<IorPartialOf<L>>, IorFoldable<L> | 
    
| ListKAlign | interface ~~ListKAlign~~ : Align<ForListK>, ListKSemialign | 
    
| ListKAlternative | interface ~~ListKAlternative~~ : Alternative<ForListK>, ListKApplicative | 
    
| ListKApplicative | interface ~~ListKApplicative~~ : Applicative<ForListK> | 
    
| ListKApply | interface ~~ListKApply~~ : Apply<ForListK> | 
    
| ListKCrosswalk | interface ~~ListKCrosswalk~~ : Crosswalk<ForListK>, ListKFunctor, ListKFoldable | 
    
| ListKEq | interface ~~ListKEq~~<A> : Eq<ListKOf<A>> | 
    
| ListKEqK | interface ~~ListKEqK~~ : EqK<ForListK> | 
    
| ListKFoldable | interface ~~ListKFoldable~~ : Foldable<ForListK> | 
    
| ListKFunctor | interface ~~ListKFunctor~~ : Functor<ForListK> | 
    
| ListKFunctorFilter | interface ~~ListKFunctorFilter~~ : FunctorFilter<ForListK> | 
    
| ListKHash | interface ~~ListKHash~~<A> : Hash<ListKOf<A>> | 
    
| ListKMonad | interface ~~ListKMonad~~ : Monad<ForListK> | 
    
| ListKMonadCombine | interface ~~ListKMonadCombine~~ : MonadCombine<ForListK>, ListKAlternative | 
    
| ListKMonadFilter | interface ~~ListKMonadFilter~~ : MonadFilter<ForListK> | 
    
| ListKMonadLogic | interface ~~ListKMonadLogic~~ : MonadLogic<ForListK>, ListKMonadPlus | 
    
| ListKMonadPlus | interface ~~ListKMonadPlus~~ : MonadPlus<ForListK>, ListKMonad, ListKAlternative | 
    
| ListKMonoid | interface ~~ListKMonoid~~<A> : Monoid<ListK<A>>, ListKSemigroup<A> | 
    
| ListKMonoidal | interface ~~ListKMonoidal~~ : Monoidal<ForListK>, ListKSemigroupal | 
    
| ListKMonoidK | interface ~~ListKMonoidK~~ : MonoidK<ForListK> | 
    
| ListKOrder | interface ~~ListKOrder~~<A> : Order<ListKOf<A>> | 
    
| ListKSemialign | interface ~~ListKSemialign~~ : Semialign<ForListK>, ListKFunctor | 
    
| ListKSemigroup | interface ~~ListKSemigroup~~<A> : Semigroup<ListK<A>> | 
    
| ListKSemigroupal | interface ~~ListKSemigroupal~~ : Semigroupal<ForListK> | 
    
| ListKSemigroupK | interface ~~ListKSemigroupK~~ : SemigroupK<ForListK> | 
    
| ListKShow | interface ~~ListKShow~~<A> : Show<ListKOf<A>> | 
    
| ListKTraverse | interface ~~ListKTraverse~~ : Traverse<ForListK> | 
    
| ListKUnalign | interface ~~ListKUnalign~~ : Unalign<ForListK>, ListKSemialign | 
    
| ListKUnzip | interface ~~ListKUnzip~~ : Unzip<ForListK>, ListKZip | 
    
| ListKZip | interface ~~ListKZip~~ : Zip<ForListK>, ListKSemialign | 
    
| LongEq | interface ~~LongEq~~ : Eq<Long> | 
    
| LongHash | interface ~~LongHash~~ : Hash<Long>, LongEq | 
    
| LongMonoid | interface ~~LongMonoid~~ : Monoid<Long>, LongSemigroup | 
    
| LongOrder | interface ~~LongOrder~~ : Order<Long> | 
    
| LongSemigroup | interface ~~LongSemigroup~~ : Semigroup<Long> | 
    
| LongSemiring | interface ~~LongSemiring~~ : Semiring<Long> | 
    
| LongShow | interface ~~LongShow~~ : Show<Long> | 
    
| MapKAlign | interface ~~MapKAlign~~<K> : Align<MapKPartialOf<K>>, MapKSemialign<K> | 
    
| MapKApply | interface ~~MapKApply~~<K> : Apply<MapKPartialOf<K>> | 
    
| MapKEq | interface ~~MapKEq~~<K, A> : Eq<MapK<K, A>> | 
    
| MapKEqK | interface ~~MapKEqK~~<K> : EqK<MapKPartialOf<K>> | 
    
| MapKFoldable | interface ~~MapKFoldable~~<K> : Foldable<MapKPartialOf<K>> | 
    
| MapKFunctor | interface ~~MapKFunctor~~<K> : Functor<MapKPartialOf<K>> | 
    
| MapKFunctorFilter | interface ~~MapKFunctorFilter~~<K> : FunctorFilter<MapKPartialOf<K>> | 
    
| MapKHash | interface ~~MapKHash~~<K, A> : Hash<MapK<K, A>> | 
    
| MapKMonoid | interface ~~MapKMonoid~~<K, A> : Monoid<MapK<K, A>>, MapKSemigroup<K, A> | 
    
| MapKSemialign | interface ~~MapKSemialign~~<K> : Semialign<MapKPartialOf<K>>, MapKFunctor<K> | 
    
| MapKSemigroup | interface ~~MapKSemigroup~~<K, A> : Semigroup<MapK<K, A>> | 
    
| MapKShow | interface ~~MapKShow~~<K, A> : Show<MapK<K, A>> | 
    
| MapKTraverse | interface ~~MapKTraverse~~<K> : Traverse<MapKPartialOf<K>>, MapKFoldable<K> | 
    
| MapKUnalign | interface ~~MapKUnalign~~<K> : Unalign<MapKPartialOf<K>>, MapKSemialign<K> | 
    
| MapKUnzip | interface ~~MapKUnzip~~<K> : Unzip<MapKPartialOf<K>>, MapKZip<K> | 
    
| MapKZip | interface ~~MapKZip~~<K> : Zip<MapKPartialOf<K>>, MapKSemialign<K> | 
    
| MonoidInvariant | interface ~~MonoidInvariant~~<A> : Invariant<ForMonoid> | 
    
| NonEmptyListApplicative | interface ~~NonEmptyListApplicative~~ : Applicative<ForNonEmptyList> | 
    
| NonEmptyListApply | interface ~~NonEmptyListApply~~ : Apply<ForNonEmptyList> | 
    
| NonEmptyListBimonad | interface ~~NonEmptyListBimonad~~ : Bimonad<ForNonEmptyList> | 
    
| NonEmptyListComonad | interface ~~NonEmptyListComonad~~ : Comonad<ForNonEmptyList> | 
    
| NonEmptyListEq | interface ~~NonEmptyListEq~~<A> : Eq<NonEmptyList<A>> | 
    
| NonEmptyListEqK | interface ~~NonEmptyListEqK~~ : EqK<ForNonEmptyList> | 
    
| NonEmptyListFoldable | interface ~~NonEmptyListFoldable~~ : Foldable<ForNonEmptyList> | 
    
| NonEmptyListFunctor | interface ~~NonEmptyListFunctor~~ : Functor<ForNonEmptyList> | 
    
| NonEmptyListHash | interface ~~NonEmptyListHash~~<A> : Hash<NonEmptyList<A>> | 
    
| NonEmptyListMonad | interface ~~NonEmptyListMonad~~ : Monad<ForNonEmptyList> | 
    
| NonEmptyListOrder | interface ~~NonEmptyListOrder~~<A> : Order<NonEmptyList<A>> | 
    
| NonEmptyListSemialign | interface ~~NonEmptyListSemialign~~ : Semialign<ForNonEmptyList>, NonEmptyListFunctor | 
    
| NonEmptyListSemigroup | interface ~~NonEmptyListSemigroup~~<A> : Semigroup<NonEmptyList<A>> | 
    
| NonEmptyListSemigroupK | interface ~~NonEmptyListSemigroupK~~ : SemigroupK<ForNonEmptyList> | 
    
| NonEmptyListShow | interface ~~NonEmptyListShow~~<A> : Show<NonEmptyList<A>> | 
    
| NonEmptyListTraverse | interface ~~NonEmptyListTraverse~~ : Traverse<ForNonEmptyList> | 
    
| NonEmptyListUnzip | interface ~~NonEmptyListUnzip~~ : Unzip<ForNonEmptyList>, NonEmptyListZip | 
    
| NonEmptyListZip | interface ~~NonEmptyListZip~~ : Zip<ForNonEmptyList>, NonEmptyListSemialign | 
    
| OptionAlign | interface ~~OptionAlign~~ : Align<ForOption>, OptionSemialign | 
    
| OptionAlternative | interface ~~OptionAlternative~~ : Alternative<ForOption>, OptionApplicative | 
    
| OptionApplicative | interface ~~OptionApplicative~~ : Applicative<ForOption>, OptionApply | 
    
| OptionApplicativeError | interface ~~OptionApplicativeError~~ : ApplicativeError<ForOption, Unit>, OptionApplicative | 
    
| OptionApply | interface ~~OptionApply~~ : Apply<ForOption> | 
    
| OptionCrosswalk | interface ~~OptionCrosswalk~~ : Crosswalk<ForOption>, OptionFunctor, OptionFoldable | 
    
| OptionEq | interface ~~OptionEq~~<A> : Eq<Option<A>> | 
    
| OptionEqK | interface ~~OptionEqK~~ : EqK<ForOption> | 
    
| OptionFoldable | interface ~~OptionFoldable~~ : Foldable<ForOption> | 
    
| OptionFunctor | interface ~~OptionFunctor~~ : Functor<ForOption> | 
    
| OptionFunctorFilter | interface ~~OptionFunctorFilter~~ : FunctorFilter<ForOption> | 
    
| OptionHash | interface ~~OptionHash~~<A> : Hash<Option<A>> | 
    
| OptionMonad | interface ~~OptionMonad~~ : Monad<ForOption>, OptionApplicative | 
    
| OptionMonadCombine | interface ~~OptionMonadCombine~~ : MonadCombine<ForOption>, OptionAlternative | 
    
| OptionMonadError | interface ~~OptionMonadError~~ : MonadError<ForOption, Unit>, OptionMonad | 
    
| OptionMonadFilter | interface ~~OptionMonadFilter~~ : MonadFilter<ForOption> | 
    
| OptionMonadPlus | interface ~~OptionMonadPlus~~ : MonadPlus<ForOption>, OptionMonad, OptionAlternative | 
    
| OptionMonoid | interface ~~OptionMonoid~~<A> : Monoid<Option<A>>, OptionSemigroup<A> | 
    
| OptionMonoidal | interface ~~OptionMonoidal~~ : Monoidal<ForOption>, OptionSemigroupal | 
    
| OptionMonoidK | interface ~~OptionMonoidK~~ : MonoidK<ForOption> | 
    
| OptionOrder | interface ~~OptionOrder~~<A> : Order<Option<A>> | 
    
| OptionRepeat | interface ~~OptionRepeat~~ : Repeat<ForOption>, OptionZip | 
    
| OptionSelective | interface ~~OptionSelective~~ : Selective<ForOption>, OptionApplicative | 
    
| OptionSemialign | interface ~~OptionSemialign~~ : Semialign<ForOption>, OptionFunctor | 
    
| OptionSemigroup | interface ~~OptionSemigroup~~<A> : Semigroup<Option<A>> | 
    
| OptionSemigroupal | interface ~~OptionSemigroupal~~ : Semigroupal<ForOption> | 
    
| OptionSemigroupK | interface ~~OptionSemigroupK~~ : SemigroupK<ForOption> | 
    
| OptionShow | interface ~~OptionShow~~<A> : Show<Option<A>> | 
    
| OptionTraverse | interface ~~OptionTraverse~~ : Traverse<ForOption> | 
    
| OptionTraverseFilter | interface ~~OptionTraverseFilter~~ : TraverseFilter<ForOption> | 
    
| OptionUnalign | interface ~~OptionUnalign~~ : Unalign<ForOption>, OptionSemialign | 
    
| OptionUnzip | interface ~~OptionUnzip~~ : Unzip<ForOption>, OptionZip | 
    
| OptionZip | interface ~~OptionZip~~ : Zip<ForOption>, OptionSemialign | 
    
| OrderingEq | interface ~~OrderingEq~~ : Eq<Ordering> | 
    
| OrderingHash | interface ~~OrderingHash~~ : Hash<Ordering>, OrderingEq | 
    
| OrderingMonoid | interface ~~OrderingMonoid~~ : Monoid<Ordering>, OrderingSemigroup | 
    
| OrderingOrder | interface ~~OrderingOrder~~ : Order<Ordering> | 
    
| OrderingSemigroup | interface ~~OrderingSemigroup~~ : Semigroup<Ordering> | 
    
| OrderingShow | interface ~~OrderingShow~~ : Show<Ordering> | 
    
| SequenceKAlign | interface ~~SequenceKAlign~~ : Align<ForSequenceK>, SequenceKSemialign | 
    
| SequenceKAlternative | interface ~~SequenceKAlternative~~ : Alternative<ForSequenceK>, SequenceKApplicative | 
    
| SequenceKApplicative | interface ~~SequenceKApplicative~~ : Applicative<ForSequenceK>, SequenceKApply | 
    
| SequenceKApply | interface ~~SequenceKApply~~ : Apply<ForSequenceK> | 
    
| SequenceKCrosswalk | interface ~~SequenceKCrosswalk~~ : Crosswalk<ForSequenceK>, SequenceKFunctor, SequenceKFoldable | 
    
| SequenceKEq | interface SequenceKEq<A> : Eq<SequenceK<A>> | 
    
| SequenceKEqK | interface ~~SequenceKEqK~~ : EqK<ForSequenceK> | 
    
| SequenceKFoldable | interface ~~SequenceKFoldable~~ : Foldable<ForSequenceK> | 
    
| SequenceKFunctor | interface ~~SequenceKFunctor~~ : Functor<ForSequenceK> | 
    
| SequenceKFunctorFilter | interface ~~SequenceKFunctorFilter~~ : FunctorFilter<ForSequenceK>, SequenceKFunctor | 
    
| SequenceKHash | interface SequenceKHash<A> : Hash<SequenceK<A>> | 
    
| SequenceKMonad | interface ~~SequenceKMonad~~ : Monad<ForSequenceK> | 
    
| SequenceKMonadCombine | interface ~~SequenceKMonadCombine~~ : MonadCombine<ForSequenceK>, SequenceKAlternative | 
    
| SequenceKMonadFilter | interface ~~SequenceKMonadFilter~~ : MonadFilter<ForSequenceK> | 
    
| SequenceKMonadLogic | interface ~~SequenceKMonadLogic~~ : MonadLogic<ForSequenceK>, SequenceKMonadPlus | 
    
| SequenceKMonadPlus | interface ~~SequenceKMonadPlus~~ : MonadPlus<ForSequenceK>, SequenceKMonad, SequenceKAlternative | 
    
| SequenceKMonoid | interface ~~SequenceKMonoid~~<A> : Monoid<SequenceK<A>>, SequenceKSemigroup<A> | 
    
| SequenceKMonoidal | interface ~~SequenceKMonoidal~~ : Monoidal<ForSequenceK>, SequenceKSemigroupal | 
    
| SequenceKMonoidK | interface ~~SequenceKMonoidK~~ : MonoidK<ForSequenceK> | 
    
| SequenceKOrder | interface ~~SequenceKOrder~~<A> : Order<SequenceK<A>> | 
    
| SequenceKRepeat | interface ~~SequenceKRepeat~~ : Repeat<ForSequenceK>, SequenceKZip | 
    
| SequenceKSemialign | interface ~~SequenceKSemialign~~ : Semialign<ForSequenceK>, SequenceKFunctor | 
    
| SequenceKSemigroup | interface ~~SequenceKSemigroup~~<A> : Semigroup<SequenceK<A>> | 
    
| SequenceKSemigroupal | interface ~~SequenceKSemigroupal~~ : Semigroupal<ForSequenceK> | 
    
| SequenceKSemigroupK | interface ~~SequenceKSemigroupK~~ : SemigroupK<ForSequenceK> | 
    
| SequenceKShow | interface SequenceKShow<A> : Show<SequenceK<A>> | 
    
| SequenceKTraverse | interface ~~SequenceKTraverse~~ : Traverse<ForSequenceK>, SequenceKFoldable | 
    
| SequenceKUnalign | interface ~~SequenceKUnalign~~ : Unalign<ForSequenceK>, SequenceKSemialign | 
    
| SequenceKUnzip | interface ~~SequenceKUnzip~~ : Unzip<ForSequenceK>, SequenceKZip | 
    
| SequenceKZip | interface ~~SequenceKZip~~ : Zip<ForSequenceK>, SequenceKSemialign | 
    
| SetKEq | interface ~~SetKEq~~<A> : Eq<SetK<A>> | 
    
| SetKEqK | interface ~~SetKEqK~~ : EqK<ForSetK> | 
    
| SetKFoldable | interface ~~SetKFoldable~~ : Foldable<ForSetK> | 
    
| SetKHash | interface ~~SetKHash~~<A> : Hash<SetK<A>> | 
    
| SetKMonoid | interface ~~SetKMonoid~~<A> : Monoid<SetK<A>>, SetKSemigroup<A> | 
    
| SetKMonoidal | interface ~~SetKMonoidal~~ : Monoidal<ForSetK>, SetKSemigroupal | 
    
| SetKMonoidK | interface ~~SetKMonoidK~~ : MonoidK<ForSetK> | 
    
| SetKSemigroup | interface ~~SetKSemigroup~~<A> : Semigroup<SetK<A>> | 
    
| SetKSemigroupal | interface ~~SetKSemigroupal~~ : Semigroupal<ForSetK> | 
    
| SetKSemigroupK | interface ~~SetKSemigroupK~~ : SemigroupK<ForSetK> | 
    
| SetKShow | interface ~~SetKShow~~<A> : Show<SetK<A>> | 
    
| ShortEq | interface ~~ShortEq~~ : Eq<Short> | 
    
| ShortHash | interface ~~ShortHash~~ : Hash<Short>, ShortEq | 
    
| ShortMonoid | interface ~~ShortMonoid~~ : Monoid<Short>, ShortSemigroup | 
    
| ShortOrder | interface ~~ShortOrder~~ : Order<Short> | 
    
| ShortSemigroup | interface ~~ShortSemigroup~~ : Semigroup<Short> | 
    
| ShortSemiring | interface ~~ShortSemiring~~ : Semiring<Short> | 
    
| ShortShow | interface ~~ShortShow~~ : Show<Short> | 
    
| SortedMapKAlign | interface ~~SortedMapKAlign~~<K : Comparable<K>> : Align<SortedMapKPartialOf<K>>, SortedMapKSemialign<K> | 
    
| SortedMapKEq | interface ~~SortedMapKEq~~<K : Comparable<K>, A> : Eq<SortedMapK<K, A>> | 
    
| SortedMapKEqK | interface ~~SortedMapKEqK~~<K : Comparable<K>> : EqK<SortedMapKPartialOf<K>> | 
    
| SortedMapKFoldable | interface ~~SortedMapKFoldable~~<A : Comparable<A>> : Foldable<SortedMapKPartialOf<A>> | 
    
| SortedMapKFunctor | interface ~~SortedMapKFunctor~~<A : Comparable<A>> : Functor<SortedMapKPartialOf<A>> | 
    
| SortedMapKHash | interface ~~SortedMapKHash~~<K : Comparable<K>, A> : Hash<SortedMapK<K, A>> | 
    
| SortedMapKMonoid | interface ~~SortedMapKMonoid~~<A : Comparable<A>, B> : Monoid<SortedMapK<A, B>>, SortedMapKSemigroup<A, B> | 
    
| SortedMapKSemialign | interface ~~SortedMapKSemialign~~<K : Comparable<K>> : Semialign<SortedMapKPartialOf<K>>, SortedMapKFunctor<K> | 
    
| SortedMapKSemigroup | interface ~~SortedMapKSemigroup~~<A : Comparable<A>, B> : Semigroup<SortedMapK<A, B>> | 
    
| SortedMapKShow | interface ~~SortedMapKShow~~<A : Comparable<A>, B> : Show<SortedMapKOf<A, B>> | 
    
| SortedMapKTraverse | interface ~~SortedMapKTraverse~~<A : Comparable<A>> : Traverse<SortedMapKPartialOf<A>>, SortedMapKFoldable<A> | 
    
| SortedMapKUnalign | interface ~~SortedMapKUnalign~~<K : Comparable<K>> : Unalign<SortedMapKPartialOf<K>>, SortedMapKSemialign<K> | 
    
| SortedMapKUnzip | interface ~~SortedMapKUnzip~~<K : Comparable<K>> : Unzip<SortedMapKPartialOf<K>>, SortedMapKZip<K> | 
    
| SortedMapKZip | interface ~~SortedMapKZip~~<K : Comparable<K>> : Zip<SortedMapKPartialOf<K>>, SortedMapKSemialign<K> | 
    
| StringContext | object ~~StringContext~~ : StringShow, StringOrder, StringMonoid | 
    
| StringEq | interface ~~StringEq~~ : Eq<String> | 
    
| StringHash | interface ~~StringHash~~ : Hash<String>, StringEq | 
    
| StringMonoid | interface ~~StringMonoid~~ : Monoid<String>, StringSemigroup | 
    
| StringOrder | interface ~~StringOrder~~ : Order<String> | 
    
| StringSemigroup | interface ~~StringSemigroup~~ : Semigroup<String> | 
    
| StringShow | interface ~~StringShow~~ : Show<String> | 
    
| Tuple10Eq | interface ~~Tuple10Eq~~<A, B, C, D, E, F, G, H, I, J> : Eq<Tuple10<A, B, C, D, E, F, G, H, I, J>> | 
    
| Tuple10Hash | interface ~~Tuple10Hash~~<A, B, C, D, E, F, G, H, I, J> : Hash<Tuple10<A, B, C, D, E, F, G, H, I, J>> | 
    
| Tuple10Order | interface ~~Tuple10Order~~<A, B, C, D, E, F, G, H, I, J> : Order<Tuple10<A, B, C, D, E, F, G, H, I, J>> | 
    
| Tuple10Show | interface ~~Tuple10Show~~<A, B, C, D, E, F, G, H, I, J> : Show<Tuple10<A, B, C, D, E, F, G, H, I, J>> | 
    
| Tuple2Applicative | interface ~~Tuple2Applicative~~<F> : Applicative<Tuple2PartialOf<F>>, Tuple2Functor<F> | 
    
| Tuple2Apply | interface ~~Tuple2Apply~~<F> : Apply<Tuple2PartialOf<F>>, Tuple2Functor<F> | 
    
| Tuple2Bifoldable | interface ~~Tuple2Bifoldable~~ : Bifoldable<ForTuple2> | 
    
| Tuple2Bifunctor | interface ~~Tuple2Bifunctor~~ : Bifunctor<ForTuple2> | 
    
| Tuple2Bitraverse | interface ~~Tuple2Bitraverse~~ : Bitraverse<ForTuple2>, Tuple2Bifoldable | 
    
| Tuple2Comonad | interface ~~Tuple2Comonad~~<F> : Comonad<Tuple2PartialOf<F>>, Tuple2Functor<F> | 
    
| Tuple2Eq | interface ~~Tuple2Eq~~<A, B> : Eq<Tuple2<A, B>> | 
    
| Tuple2Foldable | interface ~~Tuple2Foldable~~<F> : Foldable<Tuple2PartialOf<F>> | 
    
| Tuple2Functor | interface ~~Tuple2Functor~~<F> : Functor<Tuple2PartialOf<F>> | 
    
| Tuple2Hash | interface ~~Tuple2Hash~~<A, B> : Hash<Tuple2<A, B>> | 
    
| Tuple2Monad | interface ~~Tuple2Monad~~<F> : Monad<Tuple2PartialOf<F>>, Tuple2Applicative<F> | 
    
| Tuple2Monoid | interface ~~Tuple2Monoid~~<A, B> : Monoid<Tuple2<A, B>>, Tuple2Semigroup<A, B> | 
    
| Tuple2Order | interface ~~Tuple2Order~~<A, B> : Order<Tuple2<A, B>> | 
    
| Tuple2Semigroup | interface ~~Tuple2Semigroup~~<A, B> : Semigroup<Tuple2<A, B>> | 
    
| Tuple2Show | interface ~~Tuple2Show~~<A, B> : Show<Tuple2<A, B>> | 
    
| Tuple2Traverse | interface ~~Tuple2Traverse~~<F> : Traverse<Tuple2PartialOf<F>>, Tuple2Foldable<F> | 
    
| Tuple3Eq | interface ~~Tuple3Eq~~<A, B, C> : Eq<Tuple3<A, B, C>> | 
    
| Tuple3Hash | interface ~~Tuple3Hash~~<A, B, C> : Hash<Tuple3<A, B, C>> | 
    
| Tuple3Order | interface ~~Tuple3Order~~<A, B, C> : Order<Tuple3<A, B, C>> | 
    
| Tuple3Show | interface ~~Tuple3Show~~<A, B, C> : Show<Tuple3<A, B, C>> | 
    
| Tuple4Eq | interface ~~Tuple4Eq~~<A, B, C, D> : Eq<Tuple4<A, B, C, D>> | 
    
| Tuple4Hash | interface ~~Tuple4Hash~~<A, B, C, D> : Hash<Tuple4<A, B, C, D>> | 
    
| Tuple4Order | interface ~~Tuple4Order~~<A, B, C, D> : Order<Tuple4<A, B, C, D>> | 
    
| Tuple4Show | interface ~~Tuple4Show~~<A, B, C, D> : Show<Tuple4<A, B, C, D>> | 
    
| Tuple5Eq | interface ~~Tuple5Eq~~<A, B, C, D, E> : Eq<Tuple5<A, B, C, D, E>> | 
    
| Tuple5Hash | interface ~~Tuple5Hash~~<A, B, C, D, E> : Hash<Tuple5<A, B, C, D, E>> | 
    
| Tuple5Order | interface ~~Tuple5Order~~<A, B, C, D, E> : Order<Tuple5<A, B, C, D, E>> | 
    
| Tuple5Show | interface ~~Tuple5Show~~<A, B, C, D, E> : Show<Tuple5<A, B, C, D, E>> | 
    
| Tuple6Eq | interface ~~Tuple6Eq~~<A, B, C, D, E, F> : Eq<Tuple6<A, B, C, D, E, F>> | 
    
| Tuple6Hash | interface ~~Tuple6Hash~~<A, B, C, D, E, F> : Hash<Tuple6<A, B, C, D, E, F>> | 
    
| Tuple6Order | interface ~~Tuple6Order~~<A, B, C, D, E, F> : Order<Tuple6<A, B, C, D, E, F>> | 
    
| Tuple6Show | interface ~~Tuple6Show~~<A, B, C, D, E, F> : Show<Tuple6<A, B, C, D, E, F>> | 
    
| Tuple7Eq | interface ~~Tuple7Eq~~<A, B, C, D, E, F, G> : Eq<Tuple7<A, B, C, D, E, F, G>> | 
    
| Tuple7Hash | interface ~~Tuple7Hash~~<A, B, C, D, E, F, G> : Hash<Tuple7<A, B, C, D, E, F, G>> | 
    
| Tuple7Order | interface ~~Tuple7Order~~<A, B, C, D, E, F, G> : Order<Tuple7<A, B, C, D, E, F, G>> | 
    
| Tuple7Show | interface ~~Tuple7Show~~<A, B, C, D, E, F, G> : Show<Tuple7<A, B, C, D, E, F, G>> | 
    
| Tuple8Eq | interface ~~Tuple8Eq~~<A, B, C, D, E, F, G, H> : Eq<Tuple8<A, B, C, D, E, F, G, H>> | 
    
| Tuple8Hash | interface ~~Tuple8Hash~~<A, B, C, D, E, F, G, H> : Hash<Tuple8<A, B, C, D, E, F, G, H>> | 
    
| Tuple8Order | interface ~~Tuple8Order~~<A, B, C, D, E, F, G, H> : Order<Tuple8<A, B, C, D, E, F, G, H>> | 
    
| Tuple8Show | interface ~~Tuple8Show~~<A, B, C, D, E, F, G, H> : Show<Tuple8<A, B, C, D, E, F, G, H>> | 
    
| Tuple9Eq | interface ~~Tuple9Eq~~<A, B, C, D, E, F, G, H, I> : Eq<Tuple9<A, B, C, D, E, F, G, H, I>> | 
    
| Tuple9Hash | interface ~~Tuple9Hash~~<A, B, C, D, E, F, G, H, I> : Hash<Tuple9<A, B, C, D, E, F, G, H, I>> | 
    
| Tuple9Order | interface ~~Tuple9Order~~<A, B, C, D, E, F, G, H, I> : Order<Tuple9<A, B, C, D, E, F, G, H, I>> | 
    
| Tuple9Show | interface ~~Tuple9Show~~<A, B, C, D, E, F, G, H, I> : Show<Tuple9<A, B, C, D, E, F, G, H, I>> | 
    
| ValidatedApplicative | interface ~~ValidatedApplicative~~<E> : Applicative<ValidatedPartialOf<E>>, ValidatedFunctor<E> | 
    
| ValidatedApplicativeError | interface ~~ValidatedApplicativeError~~<E> : ApplicativeError<ValidatedPartialOf<E>, E>, ValidatedApplicative<E> | 
    
| ValidatedBifoldable | interface ~~ValidatedBifoldable~~ : Bifoldable<ForValidated> | 
    
| ValidatedBifunctor | interface ~~ValidatedBifunctor~~ : Bifunctor<ForValidated> | 
    
| ValidatedBitraverse | interface ~~ValidatedBitraverse~~ : Bitraverse<ForValidated>, ValidatedBifoldable | 
    
| ValidatedEq | interface ~~ValidatedEq~~<L, R> : Eq<Validated<L, R>> | 
    
| ValidatedEqK | interface ~~ValidatedEqK~~<L> : EqK<ValidatedPartialOf<L>> | 
    
| ValidatedEqK2 | interface ~~ValidatedEqK2~~ : EqK2<ForValidated> | 
    
| ValidatedFoldable | interface ~~ValidatedFoldable~~<E> : Foldable<ValidatedPartialOf<E>> | 
    
| ValidatedFunctor | interface ~~ValidatedFunctor~~<E> : Functor<ValidatedPartialOf<E>> | 
    
| ValidatedHash | interface ~~ValidatedHash~~<L, R> : Hash<Validated<L, R>> | 
    
| ValidatedOrder | interface ~~ValidatedOrder~~<L, R> : Order<Validated<L, R>> | 
    
| ValidatedSelective | interface ~~ValidatedSelective~~<E> : Selective<ValidatedPartialOf<E>>, ValidatedApplicative<E> | 
    
| ValidatedSemigroupK | interface ~~ValidatedSemigroupK~~<E> : SemigroupK<ValidatedPartialOf<E>> | 
    
| ValidatedShow | interface ~~ValidatedShow~~<L, R> : Show<Validated<L, R>> | 
    
| ValidatedTraverse | interface ~~ValidatedTraverse~~<E> : Traverse<ValidatedPartialOf<E>>, ValidatedFoldable<E> | 
    
Do you like Arrow?
✖