Type Alias AnamorphismE

Type declaration

• • <F extends TypeLambda>(
        F: TA.Traversable<F>,
    ): <A, E1 = unknown, R1 = never, E2 = unknown, R2 = unknown, I2 = never>(
        ψ: EffectCoalgebra<F, A, E1, R1, E2, R2, I2>,
    ) => EffectUnfold<F, A, E1, R1, E2, R2, I2>

  • Type Parameters

    • F extends TypeLambda

    Parameters

    • F: TA.Traversable<F>

    Returns <A, E1 = unknown, R1 = never, E2 = unknown, R2 = unknown, I2 = never>(
        ψ: EffectCoalgebra<F, A, E1, R1, E2, R2, I2>,
    ) => EffectUnfold<F, A, E1, R1, E2, R2, I2>