libretto-examples
API
Generated with
libretto-examples/libretto.examples/libretto.examples.interactionNets.unaryArithmetic/Wire/Proper

Proper

libretto.examples.interactionNets.unaryArithmetic.package$package.Wire.Proper
object Proper extends Via[-⚬, |*|, Wire, Proper]

Attributes

Graph
Supertypes
trait Via[-⚬, |*|, Wire, Proper]
trait Extractor[-⚬, |*|, Wire, Proper]
class Object
trait Matchable
class Any
Self type
Proper.type

Members list

Value members

Inherited methods

def contramap[Fun[_, _], S](f: Fun[S, Wire])(using SubFun[-⚬, Fun], SemigroupalCategory[-⚬, |*|]): Extractor[-⚬, |*|, S, Proper]

Attributes

Inherited from:
Extractor
def isTotal: Option[Wire -⚬ Proper]

Attributes

Inherited from:
Extractor
def reinject: Proper -⚬ Wire

Attributes

Inherited from:
Extractor
infix def sameAs[Q](that: Extractor[-⚬, |*|, Wire, Q]): Option[Option[Proper =:= Q]]

Attributes

Inherited from:
Extractor
def show: String

Attributes

Inherited from:
Extractor

Concrete fields

val Dup: Extractor[-⚬, |*|, Proper, Wire dsl.|*| Wire]
val Eraser: Extractor[-⚬, |*|, Proper, One]
val Plus: Extractor[-⚬, |*|, Proper, Wire dsl.|*| Wire]
val Succ: Extractor[-⚬, |*|, Proper, Wire]
val Times: Extractor[-⚬, |*|, Proper, Wire dsl.|*| Wire]
val Zero: Extractor[-⚬, |*|, Proper, One]

Inherited fields

val delegate: Extractor[-⚬, |*|, Wire, Proper]

Attributes

Inherited from:
Via
override val partition: partitioning.Partition[Proper]

Attributes

Inherited from:
Via
override val partitioning: delegate.partitioning.type

Attributes

Inherited from:
Via
Generated with