TermDSL

scalus.uplc.TermDSL
object TermDSL

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
TermDSL.type

Members list

Type members

Classlikes

object given_Conversion_Constant_Term extends Conversion[Constant, Term]

Attributes

Supertypes
class Conversion[Constant, Term]
trait Constant => Term
class Object
trait Matchable
class Any
Self type
object given_Conversion_DefaultFun_Term extends Conversion[DefaultFun, Term]

Attributes

Supertypes
class Conversion[DefaultFun, Term]
trait DefaultFun => Term
class Object
trait Matchable
class Any
Self type

Value members

Deprecated methods

def applyToList(app: Term): (Term, List[Term])

Attributes

Deprecated
true
def lam(names: String*)(term: Term): Term

Attributes

Deprecated
true
def vr(name: String): Term

Attributes

Deprecated
true
def λ(names: String*)(term: Term): Term

Attributes

Deprecated
true
def λλ(name: String)(f: Term => Term): Term

Attributes

Deprecated
true

Extensions

Deprecated extensions

extension [A](a: A)
def asTerm: Term

Attributes

Deprecated
true
extension (sc: StringContext)
def vr(args: Any*): Term

Attributes

Deprecated
true