scalus
API
Generated with
scalus/scalus/scalus.uplc/Term

Term

scalus.uplc.Term
See theTerm companion object
enum Term

Attributes

Companion
object
Graph
Supertypes
trait Enum
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
Known subtypes
case Var
case LamAbs
case Apply
case Force
case Delay
case Const
case Builtin
Show all

Members list

Type members

Enum entries

final case class Apply(f: Term, arg: Term) extends Term
final case class Builtin(bn: DefaultFun) extends Term
final case class Case(arg: Term, cases: List[Term])
final case class Const(const: Constant) extends Term
final case class Constr(tag: Long, args: List[Term])
final case class Delay(term: Term) extends Term
case case Error extends Term
final case class Force(term: Term) extends Term
final case class LamAbs(name: String, term: Term) extends Term
final case class Var(name: NamedDeBruijn) extends Term

Value members

Concrete methods

def pretty: Doc
Extension method from scalus
def prettyXTerm: Doc
Extension method from scalus
Generated with