LambdaFrom

libretto.puro.Puro.LambdaOps.LambdaFrom
class LambdaFrom[A]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Value members

Concrete methods

def apply[B](using SourcePos)(f: LambdaContext ?=> $[A] => $[B]): A -⚬ B
def rec[B](using SourcePos)(f: LambdaContext ?=> $[Sub[A, B]] => $[A] => $[B]): A -⚬ B