libretto-core
API
Generated with
libretto-core/libretto/ClosedDSL/FunExprOps

FunExprOps

libretto.ClosedDSL.FunExprOps
trait FunExprOps extends $Ops

Attributes

Graph
Supertypes
trait $Ops
class Object
trait Matchable
class Any

Members list

Type members

Classlikes

implicit class ClosureOps[A, B](f: $[A =⚬ B])

Attributes

Supertypes
class Object
trait Matchable
class Any

Value members

Abstract methods

def app[A, B](f: $[A =⚬ B], a: $[A])(pos: SourcePos)(using LambdaContext): $[B]

Inherited methods

def eliminateFirst[A](unit: $[One], a: $[A])(pos: SourcePos)(using LambdaContext): $[A]

Attributes

Inherited from:
$Ops
def eliminateSecond[A](a: $[A], unit: $[One])(pos: SourcePos)(using LambdaContext): $[A]

Attributes

Inherited from:
$Ops
def joinTwo(a: $[Done], b: $[Done])(pos: SourcePos)(using LambdaContext): $[Done]

Attributes

Inherited from:
$Ops
def map[A, B](a: $[A])(f: A -⚬ B)(pos: SourcePos)(using LambdaContext): $[B]

Attributes

Inherited from:
$Ops
def nonLinear[A](a: $[A])(split: Option[A -⚬ A |*| A], ditch: Option[A -⚬ One])(pos: SourcePos)(using LambdaContext): $[A]

Attributes

Inherited from:
$Ops
def one(using SourcePos, LambdaContext): $[One]

Attributes

Inherited from:
$Ops
def switchEither[A, B, C](ab: $[A |+| B], f: LambdaContext ?=> Either[$[A], $[B]] => $[C])(pos: SourcePos)(using LambdaContext): $[C]

Attributes

Inherited from:
$Ops
def unzip[A, B](ab: $[A |*| B])(pos: SourcePos)(using LambdaContext): ($[A], $[B])

Attributes

Inherited from:
$Ops
def zip[A, B](a: $[A], b: $[B])(pos: SourcePos)(using LambdaContext): $[A |*| B]

Attributes

Inherited from:
$Ops

Implicits

Implicits

final implicit def ClosureOps[A, B](f: $[A =⚬ B]): ClosureOps[A, B]
Generated with