Interface Symmetric<Cat, T>

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

  • T

Hierarchy

Properties

assoc cat1 cat2 cat3 compose genericBiMap identity swap

Properties

Readonly assoc

assoc: (<A, B, C>() => Iso<Cat, Instance<Apply2<T, Instance<Apply2<T, C, B>>, A>>, Instance<Apply2<T, C, Instance<Apply2<T, B, A>>>>>)

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<T, D, B>>, Instance<Apply2<T, C, A>>>>))

Type declaration

Readonly identity

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

Type declaration

Readonly swap

swap: (<A, B>() => Get2<Cat, Get2<T, A, B>, Get2<T, B, A>>)

Type declaration

Settings

Member Visibility

Theme

On This Page

Generated using TypeDoc