Variable unfoldConst

Type declaration

• • <T>(
        coalgebra: Coalgebra<Seed.Free, T>,
    ): <S extends Seed.Fixpoint>(expr: S) => Seed.Seed<T>

  • Type Parameters

    • T

    Parameters

    • coalgebra: Coalgebra<Seed.Free, T>

    Returns <S extends Seed.Fixpoint>(expr: S) => Seed.Seed<T>