doneNeedDuality

libretto.CoreLib.doneNeedDuality

Attributes

Graph
Supertypes: trait Dual[Done, Need]

class Object

trait Matchable

class Any
Self type: doneNeedDuality.type

Law stating that lInvert followed by rInvert is identity.

Law stating that rInvert followed by lInvert is identity.

Reverses the output that flows against the -⚬ arrow (say it is the B output) to its dual (A) flowing in the direction of the arrow.

 ┏━━━━━┓
 ┃ l   ┞─┐
 ┃ I ┌─╎B│
 ┃ n ┆ ┟─┘
 ┃ v ┆ ┃
 ┃ e ┆ ┞─┐
 ┃ r └→╎A│
 ┃ t   ┟─┘
 ┗━━━━━┛

Reverses the input that flows along the -⚬ arrow (say it is the A input) to its dual (B) flowing against the direction of the arrow.

 ┏━━━━━━━┓
 ┞─┐   r ┃
 ╎A│─┐ I ┃
 ┟─┘ ┆ n ┃
 ┃   ┆ v ┃
 ┞─┐ ┆ e ┃
 ╎B│←┘ r ┃
 ┟─┘   t ┃
 ┗━━━━━━━┛

In this article

Generated with