libretto.ClosedDSL.ClosureOps
Attributes
-
Graph
-
-
Supertypes
-
class Object
trait Matchable
class Any
Members list
Creates a closure (A =⚬ B), i.e. a function that captures variables from the outer scope, as an expression ($[A =⚬ B]) that can be used in outer λ.
Creates a closure (A =⚬ B), i.e. a function that captures variables from the outer scope, as an expression ($[A =⚬ B]) that can be used in outer λ.
Attributes