libretto
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
libretto/libretto/CoreDSL/$Ops

$Ops

libretto.CoreDSL.$Ops
trait $Ops

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes

Members list

Concise view

Type members

Classlikes

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

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
object |*|

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
|*|.type

Value members

Abstract methods

def map[A, B](a: $[A])(f: A -⚬ B)(pos: SourcePos): $[B]
def one(implicit pos: SourcePos): $[One]
def unzip[A, B](ab: $[A |*| B])(pos: SourcePos): ($[A], $[B])
def zip[A, B](a: $[A], b: $[B])(pos: SourcePos): $[A |*| B]

Concrete methods

def eliminateFirst[A](unit: $[One], a: $[A])(pos: SourcePos): $[A]
def eliminateSecond[A](a: $[A], unit: $[One])(pos: SourcePos): $[A]
def joinAll(a: $[Done], as: $[Done]*)(using pos: SourcePos): $[Done]
def joinTwo(a: $[Done], b: $[Done])(pos: SourcePos): $[Done]

Extensions

Extensions

extension [A](a: $[A])
def >[B](f: A -⚬ B)(using pos: SourcePos): $[B]
def also[B](f: One -⚬ B): $[A |*| B]
def alsoElim(unit: $[One])(using pos: SourcePos): $[A]
def alsoFst[X](f: One -⚬ X): $[X |*| A]
def |*|[B](b: $[B])(using pos: SourcePos): $[A |*| B]
extension (d: $[Done])
def alsoJoin(others: $[Done]*)(using pos: SourcePos): $[Done]
extension [A, B](f: A -⚬ B)
def apply(a: $[A])(using pos: SourcePos): $[B]

Implicits

Implicits

final implicit def FunctorOps[F[_], A](fa: $[F[A]]): FunctorOps[F, A]
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL