Interface Representable<P>

F should extend HktRep because functions below require HktRep.

All instances of Representable must satisfy these laws:

  • compose(index)(tabulate) == id,
  • compose(tabulate)(index) == id.

Type Parameters

  • P

Hierarchy

Properties

diMap first functor index second tabulate

Properties

Readonly diMap

diMap: (<A, B>(f) => (<C, D>(g) => ((m) => Instance<Apply2<P, D, A>>)))

Type declaration

Readonly first

first: (<A, B, C>(m) => Instance<Apply2<P, [B, C], [A, C]>>)

Type declaration

Readonly functor

functor: Functor<Rep<P>>

Readonly index

index: (<T, U>(f) => ((rep) => Instance<Apply1<Rep<P>, U>>))

Type declaration

Readonly second

second: (<A, B, C>(m) => Instance<Apply2<P, [C, B], [C, A]>>)

Type declaration

Readonly tabulate

tabulate: (<T, U>(f) => Get2<P, T, U>)

Type declaration

Settings

Member Visibility

Theme

On This Page

Generated using TypeDoc