Lambda
class Lambda[-⚬[_, _], |*|[_, _], Var[_], VarSet](using inj: BiInjective[|*|], variables: Variable[Var, VarSet])
class Object
trait Matchable
class Any
Type members
Classlikes
Arrow interspersed with intermediate Vars. Non-linear: includes projections and multiple occurrences of the same variable.
Arrow interspersed with intermediate Vars. Non-linear: includes projections and multiple occurrences of the same variable.
- Companion:
- object
Value members
Concrete methods
def abs[A, B](f: Expr[A] => Expr[B], boundVar: Var[A])(using ev: SymmetricSemigroupalCategory[-⚬, |*|]): Abstracted[A, B]
def compile[A, B](f: Expr[A] => Expr[B], boundVar: Var[A])(using ev: SymmetricSemigroupalCategory[-⚬, |*|]): Either[Error, A -⚬ B]