docs
API
Generated with
docs/scalus/scalus.uplc/TermDSL

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

Concrete methods

def applyToList(app: Term): (Term, List[Term])
def lam(names: String*)(term: Term): Term
def vr(name: String): Term
def λ(names: String*)(term: Term): Term

Givens

Givens

given constantAsData[A : ToData]: constantAsData[A]
given constantAsTerm[A : LiftValue]: constantAsTerm[A]

Extensions

Extensions

extension (sc: StringContext)
def vr(args: Any*): Term
extension (term: Term)
infix def $(rhs: Term): Term
def unary_!: Term
def unary_~: Term
Generated with