Type Alias ZygomorphismE

Type declaration

• • <F extends HKT.TypeLambda>(
        F: TA.Traversable<F>,
    ): <A, B, E1 = unknown, R1 = never, E2 = unknown, R2 = unknown, I2 = never>(
        f: DistLeft<F, A, B, E2, R2, I2>,
        φ: EffectAlgebra<F, B, E1, R1, E2, R2, I2>,
    ) => EffectFold<F, A, E1, R1, E2, R2, I2>

  • Type Parameters

    • F extends HKT.TypeLambda

    Parameters

    • F: TA.Traversable<F>

    Returns <A, B, E1 = unknown, R1 = never, E2 = unknown, R2 = unknown, I2 = never>(
        f: DistLeft<F, A, B, E2, R2, I2>,
        φ: EffectAlgebra<F, B, E1, R1, E2, R2, I2>,
    ) => EffectFold<F, A, E1, R1, E2, R2, I2>