Interface Category<S>

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

S

Hierarchy

SemiGroupoid<S>
- Category
  - Arrow
  - Associative

Index

Properties

compose identity

Properties

`Readonly` compose

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

Type declaration

- <B, C>(funcA): (<A>(funcB) => Instance<Apply2<S, C, A>>)
- Composes two relationships into a new one.
  Type Parameters
  - B
  - C
  Parameters
  - funcA: Instance<Apply2<S, C, B>>
    A relationship from B to C.
  Returns (<A>(funcB) => Instance<Apply2<S, C, A>>)
  The new relation ship from A to C.
  - - <A>(funcB): Instance<Apply2<S, C, A>>
    - Type Parameters
      A
      Parameters
      funcB: Instance<Apply2<S, B, A>>
      Returns Instance<Apply2<S, C, A>>

`Readonly` identity

identity: (<A>() => Get2<S, A, A>)

Type declaration

- <A>(): Get2<S, A, A>
- Type Parameters
  - A
  Returns Get2<S, A, A>

Generated using TypeDoc