given_Dual_One_One
libretto.puro.PuroLib.given_Dual_One_One
object given_Dual_One_One extends Dual[dsl.One, dsl.One]
Attributes
- Graph
-
- Supertypes
- Self type
-
given_Dual_One_One.type
Members list
In this article
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.
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.
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 ┃
┗━━━━━━━┛