• Type Parameters

    • F

    Parameters

    • projection: (<X>(structure) => X)
        • <X>(structure): X
        • Type Parameters

          • X

          Parameters

          • structure: Get1<F, X>

          Returns X

    Returns (<L, R>(equality) => Eq<Get1<F, L>, Get1<F, R>>)

      • <L, R>(equality): Eq<Get1<F, L>, Get1<F, R>>
      • Type Parameters

        • L

        • R

        Parameters

        • equality: Eq<L, R>

        Returns Eq<Get1<F, L>, Get1<F, R>>

Generated using TypeDoc