SingleVar

libretto.lambda.LambdasImpl.Unvar.SingleVar
case class SingleVar[V]() extends Unvar[Var[V], V]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Unvar[Var[V], V]
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

override def uniqueOutType[C](that: Unvar[Var[V], C]): V =:= C

Attributes

Definition Classes

Inherited methods

def from[Z](using ev: Z =:= Var[V]): Unvar[Z, V]

Attributes

Inherited from:
Unvar

Attributes

Inherited from:
Unvar
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
infix def zip[C, D](that: Unvar[C, D]): Unvar[Var[V] ** C, V ** D]

Attributes

Inherited from:
Unvar