Interface Yoneda<F, A>

The yoneda functor, a partial application of map to its second argument.

Type Parameters

  • F

  • A

Hierarchy

  • Yoneda

Properties

Properties

yoneda: (<X>(fn) => Get1<F, X>)

Type declaration

    • <X>(fn): Get1<F, X>
    • Type Parameters

      • X

      Parameters

      • fn: ((a) => X)
          • (a): X
          • Parameters

            • a: A

            Returns X

      Returns Get1<F, X>

Generated using TypeDoc