CapturingFun

libretto.lambda.LambdasImpl.CapturingFun$
object CapturingFun

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

def captureFst[X, A](captured: Expr[X]): CapturingFun[A, X |*| A]
def captureSnd[X, A](captured: Expr[X]): CapturingFun[A, A |*| X]
def id[A]: CapturingFun[A, A]
def lift[A, B](f: A -⚬ B): CapturingFun[A, B]
def noCapture[A, B](f: Shuffled[A, B]): CapturingFun[A, B]