Variable bitraverseConst

Type Declaration

• • <F>(
        app: TypeClass.Applicative.Applicative<F>,
    ): <A, C>(
        f: (a: A) => Get1<F, C>,
    ) => <B, D>(
        g: (b: B) => Get1<F, D>,
    ) => (data: Tuple.Tuple<A, B>) => Get1<F, Tuple.Tuple<C, D>>

  • Type Parameters

    • F

    Parameters

    • app: TypeClass.Applicative.Applicative<F>

      The instance of Applicative.

    Returns <A, C>(
        f: (a: A) => Get1<F, C>,
    ) => <B, D>(
        g: (b: B) => Get1<F, D>,
    ) => (data: Tuple.Tuple<A, B>) => Get1<F, Tuple.Tuple<C, D>>

    The mapped and lifted tuple.