Function substFree

  • Substitute the kind F of Free<F, _> with G by a natural transformation from F to G.

    Type Parameters

    • F

    • G

    Parameters

    • nat: Nt<F, FreeHkt & {
          arg2: G;
      }>

      A natural transformation from F to G.

    Returns (<T>(f) => Free<G, T>)

    The mapped new Free.

      • <T>(f): Free<G, T>

      • Type Parameters

        • T

        Parameters

        Returns Free<G, T>

Settings

Member Visibility

Theme

Generated using TypeDoc