libretto-lambda
API
Generated with
libretto-lambda/libretto.lambda/LambdasImpl/Unvar

Unvar

libretto.lambda.LambdasImpl.Unvar
See theUnvar companion object
sealed trait Unvar[A, B]

Attributes

Companion
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Par[A1, A2, X1, X2]
class SingleVar[V]

Members list

Value members

Abstract methods

infix def uniqueOutType[C](that: Unvar[A, C]): B =:= C

Concrete methods

def from[Z](using ev: Z =:= A): Unvar[Z, B]
infix def zip[C, D](that: Unvar[C, D]): Unvar[A ** C, B ** D]
Generated with