DeBruijnedProgram

scalus.uplc.DeBruijnedProgram
case class DeBruijnedProgram

A De Bruijn-indexed program.

A De Bruijn-indexed program is a versioned Term where the variables are indexed using De Bruijn indices. A program must be De Bruijn-indexed before it can be evaluated.

Value parameters

term

the term of the program

version

the version of the program

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

def pretty: Doc

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product