libretto
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
libretto/libretto.scaletto.impl/VarOrigin

VarOrigin

libretto.scaletto.impl.VarOrigin$
See theVarOrigin companion trait
object VarOrigin

Attributes

Companion:
trait
Graph
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type

Members list

Concise view

Type members

Classlikes

case class ClosureVal(pos: SourcePos) extends VarOrigin

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait VarOrigin
class Object
trait Matchable
class Any
case class FunApp(pos: SourcePos) extends VarOrigin

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait VarOrigin
class Object
trait Matchable
class Any
case class Lambda(pos: SourcePos) extends VarOrigin

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait VarOrigin
class Object
trait Matchable
class Any
case class OneIntro(pos: SourcePos) extends VarOrigin

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait VarOrigin
class Object
trait Matchable
class Any
case class Pairing(pos: SourcePos) extends VarOrigin

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait VarOrigin
class Object
trait Matchable
class Any
case class Prj1(pos: SourcePos) extends VarOrigin

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait VarOrigin
class Object
trait Matchable
class Any
case class Prj2(pos: SourcePos) extends VarOrigin

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait VarOrigin
class Object
trait Matchable
class Any
case class Synthetic(description: String) extends VarOrigin

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait VarOrigin
class Object
trait Matchable
class Any

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Attributes

Inherited from:
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Attributes

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