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

LambdasFactory

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

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Value members

Concrete methods

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