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

libretto.examples.interactionNets.unaryArithmetic

package libretto.examples.interactionNets.unaryArithmetic

Members list

Type members

Classlikes

enum Result

Attributes

Companion
object
Supertypes
trait Enum
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object Result

Attributes

Companion
enum
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
Result.type
opaque object Wire

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
Wire.type

Types

opaque type Wire

Value members

Concrete methods

def connect: (Wire dsl.|*| Wire) dsl.-⚬ One
def dup: (Wire dsl.|*| Wire) dsl.-⚬ Wire
def eraser: One dsl.-⚬ Wire
def liftInt(n: Int): One dsl.-⚬ Wire
def newWire: One dsl.-⚬ (Wire dsl.|*| Wire)
def plus: (Wire dsl.|*| Wire) dsl.-⚬ Wire

a + b = out

a + b = out

       _
      | \
  b --|  \
      | + >-- a
out --|  /
      |_/

Attributes

def readResult: Wire dsl.-⚬ dsl.Val[Result]
def succ: Wire dsl.-⚬ Wire
def times: (Wire dsl.|*| Wire) dsl.-⚬ Wire
def zero: One dsl.-⚬ Wire
Generated with