arrow-ui / arrow.ui.extensions

Package arrow.ui.extensions

Types

ContravariantSumInstance interface ContravariantSumInstance<F, G> : Contravariant<SumPartialOf<F, G>>
DayApplicative interface DayApplicative<F, G> : Applicative<DayPartialOf<F, G>>
DayApply interface DayApply<F, G> : Apply<DayPartialOf<F, G>>
DayComonad interface DayComonad<F, G> : Comonad<DayPartialOf<F, G>>
DayFunctor interface DayFunctor<F, G> : Functor<DayPartialOf<F, G>>
DecidableSumInstance interface DecidableSumInstance<F, G> : Decidable<SumPartialOf<F, G>>, DivisibleSumInstance<F, G>
DivideSumInstance interface DivideSumInstance<F, G> : Divide<SumPartialOf<F, G>>, ContravariantSumInstance<F, G>
DivisibleSumInstance interface DivisibleSumInstance<F, G> : Divisible<SumPartialOf<F, G>>, DivideSumInstance<F, G>
MooreComonad interface MooreComonad<V> : Comonad<MoorePartialOf<V>>
MooreFunctor interface MooreFunctor<V> : Functor<MoorePartialOf<V>>
StoreComonad interface StoreComonad<S> : Comonad<StorePartialOf<S>>
StoreFunctor interface StoreFunctor<S> : Functor<StorePartialOf<S>>
SumComonad interface SumComonad<F, G> : Comonad<SumPartialOf<F, G>>
SumEq interface SumEq<F, G, A> : Eq<Sum<F, G, A>>
SumFunctor interface SumFunctor<F, G> : Functor<SumPartialOf<F, G>>
SumHash interface SumHash<F, G, A> : Hash<Sum<F, G, A>>, SumEq<F, G, A>