effect-ts-folds
    Preparing search index...

    Type Alias Hylomorphism

    Hylomorphism: <F extends HKT.TypeLambda>(
        F: Traversable.Traversable<F>,
    ) => <A, B, E = unknown, R = unknown, I = never>(
        ψ: Coalgebra<F, A, E, R, I>,
        φ: Algebra<F, B, E, R, I>,
    ) => (a: A) => B

    Type declaration

      • <F extends HKT.TypeLambda>(
            F: Traversable.Traversable<F>,
        ): <A, B, E = unknown, R = unknown, I = never>(
            ψ: Coalgebra<F, A, E, R, I>,
            φ: Algebra<F, B, E, R, I>,
        ) => (a: A) => B

      • Type Parameters

        • F extends HKT.TypeLambda

        Parameters

        • F: Traversable.Traversable<F>

        Returns <A, B, E = unknown, R = unknown, I = never>(
            ψ: Coalgebra<F, A, E, R, I>,
            φ: Algebra<F, B, E, R, I>,
        ) => (a: A) => B

    Settings

    Member Visibility