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

Endless

libretto.CoreLib.Endless$
object Endless

Attributes

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

Members list

Concise view

Value members

Concrete methods

def close[A]: Endless[A] -⚬ One
def create[X, A](onClose: X -⚬ One, onPull: X -⚬ A |*| Endless[A]): X -⚬ Endless[A]
def createWith[X, A, Y](onClose: X -⚬ Y, onPull: X -⚬ A |*| Endless[A] |*| Y): X -⚬ Endless[A] |*| Y
def pull[A]: Endless[A] -⚬ A |*| Endless[A]
def split[A]: Endless[A] -⚬ Endless[A] |*| Endless[A]
def take[A](n: Int): Endless[A] -⚬ LList[A]

Pulls the given amount of elements and returns them in a list.

Pulls the given amount of elements and returns them in a list.

Note: This method assembles a program whose size is proportional to n.

Attributes

def unfold[S, A](f: S -⚬ A |*| S): S -⚬ Endless[A] |*| S

Implicits

Implicits

implicit def comonoidEndless[A]: Comonoid[Endless[A]]
implicit def signalingEndless[A]: Negative[Endless[A]]

Signals when the consumer makes a choice, i.e. close or pull.

Signals when the consumer makes a choice, i.e. close or pull.

Attributes

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