scalus
API
Generated with
scalus/scalus/scalus.uplc/Program

Program

scalus.uplc.Program
See theProgram companion object
case class Program(version: (Int, Int, Int), term: Term)

Attributes

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

Members list

Value members

Concrete methods

infix def $(arg: Term): Program
infix def alphaEq(that: Program): Boolean

Checks if two programs are equal.

Checks if two programs are equal.

Two programs are equal if their versions are equal and their terms are alpha-equivalent. This means that the names of the variables are not important, only their De Bruijn indices. We use unique negative indices to represent free variables.

Attributes

def pretty: Doc
Extension method from scalus
def prettyXTerm: Doc
Extension method from scalus
def writePlutusFile(path: String, plutusVersion: PlutusLedgerLanguage): Unit
Extension method from scalus

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product

Concrete fields

lazy val cborEncoded: Array[Byte]
lazy val doubleCborEncoded: Array[Byte]
lazy val doubleCborHex: String
lazy val flatEncoded: Array[Byte]
Generated with