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

Proper

libretto.examples.interactionNets.unaryArithmetic.package$.Wire$.Proper$
object Proper

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Proper.type

Members list

Value members

Concrete methods

def dup: Wire |*| Wire -⚬ Proper
def eraser: One -⚬ Proper
def plus: Wire |*| Wire -⚬ Proper
def succ: Wire -⚬ Proper
def switch[R](caseZero: One -⚬ R, caseSucc: Wire -⚬ R, casePlus: Wire |*| Wire -⚬ R, caseTimes: Wire |*| Wire -⚬ R, caseDup: Wire |*| Wire -⚬ R, caseEraser: One -⚬ R): Proper -⚬ R
def switchWith[A, R](caseZero: A -⚬ R, caseSucc: A |*| Wire -⚬ R, casePlus: A |*| Wire |*| Wire -⚬ R, caseTimes: A |*| Wire |*| Wire -⚬ R, caseDup: A |*| Wire |*| Wire -⚬ R, caseEraser: A -⚬ R): A |*| Proper -⚬ R
def switchWithR[B, T](caseZero: B -⚬ T, caseSucc: Wire |*| B -⚬ T, casePlus: Wire |*| Wire |*| B -⚬ T, caseTimes: Wire |*| Wire |*| B -⚬ T, caseDup: Wire |*| Wire |*| B -⚬ T, caseEraser: B -⚬ T): Proper |*| B -⚬ T
def times: Wire |*| Wire -⚬ Proper
def zero: One -⚬ Proper
Generated with