libretto-lambda
API
Generated with
libretto-lambda/libretto.lambda/Lambdas/LambdasFactory

LambdasFactory

libretto.lambda.Lambdas.LambdasFactory
class LambdasFactory[->[_, _], **[_, _], SHUFFLED <: Shuffled[->, **]](sh: SHUFFLED)

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Value members

Concrete methods

def apply[VarLabel, CtxLabel](universalSplit: Option[[X] => Unit => X -> (X ** X)], universalDiscard: Option[[X, Y] => Unit => (X ** Y) -> Y])(using inj: BiInjective[**]): Lambdas[->, **, VarLabel, CtxLabel] { val shuffled: SHUFFLED; }
Generated with