libretto.lambda.Lambdas
See theLambdas companion trait
object Lambdas
Attributes
Members list
Type members
Classlikes
object Delambdified
Attributes
- Companion
- trait
- Supertypes
-
trait Sumtrait Mirrorclass Objecttrait Matchableclass Any
- Self type
-
Delambdified.type
object Error
Deprecated types
Attributes
- Deprecated
- true
Value members
Concrete methods
def apply[-⚬[_, _], |*|[_, _], VarLabel](syntheticPairVar: (VarLabel, VarLabel) => VarLabel, universalSplit: Option[[X] => (x$1: Unit) => -⚬[X, |*|[X, X]]], universalDiscard: Option[[X, Y] => (x$1: Unit) => -⚬[|*|[X, Y], Y]])(using ssc: SymmetricSemigroupalCategory[-⚬, |*|], inj: BiInjective[|*|]): Lambdas[-⚬, |*|, VarLabel]
Deprecated fields
Attributes
- Deprecated
- true
In this article