libretto
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
libretto/libretto.lambda/Lambdas

Lambdas

libretto.lambda.Lambdas$
See theLambdas companion trait
object Lambdas

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Lambdas.type

Members list

Concise view

Type members

Classlikes

object Abstracted

Attributes

Companion:
trait
Graph
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
sealed trait Abstracted[Exp[_], |*|[_, _], AbsFun[_, _], LE, A, B]

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Closure[Exp, |*|, AbsFun, LE, X, A, A1, B]
class Exact[Exp, |*|, AbsFun, LE, A, A1, B]
class Failure[Exp, |*|, AbsFun, LE, A, B]
class NotFound[Exp, |*|, AbsFun, LE, A, B]
object Error

Attributes

Companion:
trait
Graph
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
Error.type
sealed trait Error[VarSet]

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait LinearityViolation[VarSet]
class Overused[VarSet]
class Underused[VarSet]
class Undefined[VarSet]
object ErrorFactory

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
trait ErrorFactory[E, LE, VarSet]

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any

Value members

Concrete methods

def apply[-⚬[_, _], |*|[_, _], Var[_], VarSet, E, LE](using ssc: SymmetricSemigroupalCategory[-⚬, |*|], inj: BiInjective[|*|], variables: Variable[Var, VarSet], errors: ErrorFactory[E, LE, VarSet]): Lambdas[-⚬, |*|, Var, VarSet, E, LE]
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL