libretto/libretto.impl/Lambda/Abstracted

Abstracted

object Abstracted
Companion
class
trait Sum
trait Mirror
class Object
trait Matchable
class Any

Type members

Classlikes

case
class Closure[X, A, B](captured: Expr[X], f: Shuffled[X |*| A, B]) extends Abstracted[A, B]
case
class Exact[A, B](f: Shuffled[A, B]) extends Abstracted[A, B]
case
class Failure[A, B](e: LinearityViolation) extends Abstracted[A, B]
Companion
object
object Failure
Companion
class

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Inherited from
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Inherited from
Mirror