libretto
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
libretto/libretto/ClosedDSL/FunExprOps

FunExprOps

libretto.ClosedDSL.FunExprOps
trait FunExprOps extends $Ops

Attributes

Graph
Supertypes
trait $Ops
class Object
trait Matchable
class Any

Members list

Concise view

Type members

Classlikes

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

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Inherited classlikes

implicit class FunctorOps[F[_], A](fa: $[F[A]])

Attributes

Inherited from:
$Ops
Graph
Supertypes
class Object
trait Matchable
class Any
object |*|

Attributes

Inherited from:
$Ops
Graph
Supertypes
class Object
trait Matchable
class Any

Value members

Abstract methods

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

Inherited methods

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

Attributes

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

Attributes

Inherited from:
$Ops
def joinAll(a: $[Done], as: $[Done]*)(using pos: SourcePos): $[Done]

Attributes

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

Attributes

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

Attributes

Inherited from:
$Ops
def one(implicit pos: SourcePos): $[One]

Attributes

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

Attributes

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

Attributes

Inherited from:
$Ops

Extensions

Inherited extensions

extension [A](a: $[A])
def >[B](f: A -⚬ B)(using pos: SourcePos): $[B]

Attributes

Inherited from:
$Ops
def also[B](f: One -⚬ B): $[A |*| B]

Attributes

Inherited from:
$Ops
def alsoElim(unit: $[One])(using pos: SourcePos): $[A]

Attributes

Inherited from:
$Ops
def alsoFst[X](f: One -⚬ X): $[X |*| A]

Attributes

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

Attributes

Inherited from:
$Ops
extension (d: $[Done])
def alsoJoin(others: $[Done]*)(using pos: SourcePos): $[Done]

Attributes

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

Attributes

Inherited from:
$Ops

Implicits

Implicits

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

Inherited implicits

final implicit def FunctorOps[F[_], A](fa: $[F[A]]): FunctorOps[F, A]

Attributes

Inherited from:
$Ops
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL