libretto.puro.PuroLib.given_Dual_One_One
Attributes
-
Graph
-
-
Supertypes
-
class Object
trait Matchable
class Any
-
Self type
-
Members list
Attributes
-
Inherited from:
-
Dual
Attributes
-
Inherited from:
-
Dual
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 ┟─┘
┗━━━━━┛
Attributes
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 ┃
┗━━━━━━━┛
Attributes