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

Unlimited

libretto.CoreLib.Unlimited$
object Unlimited

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 -⚬ One, case1: X -⚬ A, caseN: X -⚬ Unlimited[A] |*| Unlimited[A]): X -⚬ Unlimited[A]
def createWith[X, A, Y](case0: X -⚬ Y, case1: X -⚬ A |*| Y, caseN: X -⚬ Unlimited[A] |*| Unlimited[A] |*| Y): X -⚬ Unlimited[A] |*| Y
def createWith[X : Cosemigroup, A, Y : Semigroup](case0: X -⚬ Y, case1: X -⚬ A |*| Y): X -⚬ Unlimited[A] |*| Y
def fromComonoid[A](using A: Comonoid[A]): A -⚬ Unlimited[A]
def map[A, B](f: A -⚬ B): Unlimited[A] -⚬ Unlimited[B]
def single[A]: Unlimited[A] -⚬ A
def unfold[S, A](f: S -⚬ A |*| S): S -⚬ Unlimited[A] |*| S
def zip[A, B]: Unlimited[A] |*| Unlimited[B] -⚬ Unlimited[A |*| B]

Implicits

Implicits

implicit def comonoidUnlimited[A]: Comonoid[Unlimited[A]]
implicit def signalingUnlimited[A]: Negative[Unlimited[A]]

Signals when the choice is made between discard, single and split.

Signals when the choice is made between discard, single and split.

Attributes

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