arrow-mtl / arrow.mtl.extensions / OptionTDivideInstance

OptionTDivideInstance

@extension interface OptionTDivideInstance<F> : Divide<OptionTPartialOf<F>>, OptionTContravariantInstance<F>

Functions

CF open fun CF(): Contravariant<F>
DF abstract fun DF(): Divide<F>
divide open fun <A, B, Z> divide(fa: Kind<OptionTPartialOf<F>, A>, fb: Kind<OptionTPartialOf<F>, B>, f: (Z) -> Tuple2<A, B>): Kind<OptionTPartialOf<F>, Z>

Inheritors

OptionTDivisibleInstance interface OptionTDivisibleInstance<F> : Divisible<OptionTPartialOf<F>>, OptionTDivideInstance<F>