libretto
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
libretto/libretto/CoreLib/PUnlimited

PUnlimited

libretto.CoreLib.PUnlimited$
object PUnlimited

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Concise view

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 map[A, B](f: A -⚬ B): PUnlimited[A] -⚬ PUnlimited[B]
def single[A]: PUnlimited[A] -⚬ A

Implicits

Implicits

Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL