effect-ts-folds
    Preparing search index...

    Type Alias HylomorphismE

    HylomorphismE: <F extends HKT.TypeLambda>(
        F: Traversable.Traversable<F>,
    ) => <
        A,
        B,
        E1 = unknown,
        R1 = unknown,
        E2 = unknown,
        R2 = unknown,
        I2 = never,
    >(
        ψ: EffectCoalgebra<F, A, E1, R1, E2, R2, I2>,
        φ: EffectAlgebra<F, B, E1, R1, E2, R2, I2>,
    ) => (a: A) => Effect.Effect<B, E1, R1>

    Type declaration

      • <F extends HKT.TypeLambda>(
            F: Traversable.Traversable<F>,
        ): <
            A,
            B,
            E1 = unknown,
            R1 = unknown,
            E2 = unknown,
            R2 = unknown,
            I2 = never,
        >(
            ψ: EffectCoalgebra<F, A, E1, R1, E2, R2, I2>,
            φ: EffectAlgebra<F, B, E1, R1, E2, R2, I2>,
        ) => (a: A) => Effect.Effect<B, E1, R1>

      • Type Parameters

        • F extends HKT.TypeLambda

        Parameters

        • F: Traversable.Traversable<F>

        Returns <A, B, E1 = unknown, R1 = unknown, E2 = unknown, R2 = unknown, I2 = never>(
            ψ: EffectCoalgebra<F, A, E1, R1, E2, R2, I2>,
            φ: EffectAlgebra<F, B, E1, R1, E2, R2, I2>,
        ) => (a: A) => Effect.Effect<B, E1, R1>

    Settings

    Member Visibility