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 captureFst[X, A](captured: Tupled[Expr, X]): CapturingFun[A, X ** A]
def captureSnd[X, A](captured: Expr[X]): CapturingFun[A, A ** X]
def captureSnd[X, A](captured: Tupled[Expr, X]): CapturingFun[A, A ** X]
def fromShuffle[A, B](s: A shuffled.shuffle.~⚬ B): CapturingFun[A, B]
def id[A]: CapturingFun[A, A]
def lift[A, B](f: A -> B): CapturingFun[A, B]
def noCapture[A, B](f: shuffled.Shuffled[A, B]): CapturingFun[A, B]