Interface Associative<Cat, P>

A 2-arity kind which consists of objects and arrows between them.

All instances of category c must satisfy the following laws:

  • Right identity: For all f; c.compose(f)(c.identity()) equals to f,
  • Left identity: For all f; c.compose(c.identity())(f) equals to f,
  • Associativity: For all f, g and h; c.compose(f)(c.compose(g)(h)) equals to c.compose(c.compose(f)(g))(h).

Type Parameters

  • Cat

  • P

Hierarchy

Properties

assoc cat1 cat2 cat3 compose genericBiMap identity

Properties

Readonly assoc

assoc: (<A, B, C>() => Iso<Cat, Get2<P, A, Get2<P, B, C>>, Get2<P, Get2<P, A, B>, C>>)

Type declaration

Readonly cat1

cat1: Category<Cat>

Readonly cat2

cat2: Category<Cat>

Readonly cat3

cat3: Category<Cat>

Readonly compose

compose: (<B, C>(funcA) => (<A>(funcB) => Instance<Apply2<Cat, C, A>>))

Type declaration

Readonly genericBiMap

genericBiMap: (<A, B>(first) => (<C, D>(second) => Instance<Apply2<Cat, Instance<Apply2<P, D, B>>, Instance<Apply2<P, C, A>>>>))

Type declaration

Readonly identity

identity: (<A>() => Instance<Apply2<Cat, A, A>>)

Type declaration

Settings

Member Visibility

Theme

On This Page

Generated using TypeDoc