libretto-core
API
Generated with
libretto-core/libretto/CoreLib/PUnlimited

PUnlimited

libretto.CoreLib.PUnlimited
object PUnlimited

Attributes

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

Members list

Value members

Concrete methods

def create[X, A](case0: X -⚬ Done, case1: X -⚬ A, caseN: X -⚬ PUnlimited[A] |*| PUnlimited[A]): X -⚬ PUnlimited[A]
def createWith[X, A, Y](case0: X -⚬ Done |*| Y, case1: X -⚬ A |*| Y, caseN: X -⚬ PUnlimited[A] |*| PUnlimited[A] |*| Y): X -⚬ PUnlimited[A] |*| Y
def getFst[A]: PUnlimited[A] -⚬ A |*| PUnlimited[A]
def getSnd[A]: PUnlimited[A] -⚬ PUnlimited[A] |*| A
def map[A, B](f: A -⚬ B): PUnlimited[A] -⚬ PUnlimited[B]
def single[A]: PUnlimited[A] -⚬ A

Givens

Givens

Generated with