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

Concise view

Value members

Abstract methods

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

Concrete methods

def zip[C, D](that: Unvar[C, D]): Unvar[A |*| C, B |*| D]
Generated with