Interface Monoidal<Cat, T1, I1, T2, I2, F>

All instance of Monoidal must satisfy:

Right unitality: For all x; combine(genericRightMap(introduce)(x)) == backward(rightUnit)(forward(rightUnit)(x)),
Left unitality: For all x; combine(genericLeftMap(introduce)(x)) == map(backward(leftUnit)(forward(leftUnit)(x))).

Type Parameters

Cat
T1
I1
T2
I2
F

Hierarchy

GenericSemiGroupal<Cat, T1, T2, F>
Unital<Cat, I1, I2, F>
- Monoidal

Index

Properties

assoc1 assoc2 combine introduce tensor1 tensor2

Properties

`Readonly` assoc1

assoc1: Associative<Cat, T1>

`Readonly` assoc2

assoc2: Associative<Cat, T2>

`Readonly` combine

combine: (<X, Y>() => Instance<Apply2<Cat, Instance<Apply1<F, Instance<Apply2<T1, Y, X>>>>, Instance<Apply2<T2, Instance<Apply1<F, Y>>, Instance<Apply1<F, X>>>>>>)

Type declaration

- <X, Y>(): Instance<Apply2<Cat, Instance<Apply1<F, Instance<Apply2<T1, Y, X>>>>, Instance<Apply2<T2, Instance<Apply1<F, Y>>, Instance<Apply1<F, X>>>>>>
- Type Parameters
  - X
  - Y
  Returns Instance<Apply2<Cat, Instance<Apply1<F, Instance<Apply2<T1, Y, X>>>>, Instance<Apply2<T2, Instance<Apply1<F, Y>>, Instance<Apply1<F, X>>>>>>

`Readonly` introduce

introduce: Instance<Apply2<Cat, Instance<Apply1<F, I1>>, I2>>

`Readonly` tensor1

tensor1: Tensor<Cat, T1, I1>

`Readonly` tensor2

tensor2: Tensor<Cat, T2, I2>

Generated using TypeDoc