docs
API
Generated with
docs/scalus/scalus.uplc

scalus.uplc

package scalus.uplc

Members list

Packages

package scalus.uplc.eval

Type members

Classlikes

case class BuiltinRuntime(typeScheme: TypeScheme, f: (Logger, Seq[CekValue]) => CekValue, args: Seq[CekValue], costFunction: CostingFun)

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
open class BuiltinsMeaning(builtinCostModel: BuiltinCostModel, platformSpecific: PlatformSpecific, semanticVariant: BuiltinSemanticsVariant)

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
class CekMachine
object CommonFlatInstances

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
sealed trait Constant

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Bool
class ByteString
class Data
class Integer
class List
class Pair
class String
object Unit
Show all
object Constant

Attributes

Companion
trait
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
Constant.type
object DeBruijn

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
DeBruijn.type
case class DeBruijnedProgram

A De Bruijn-indexed program.

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

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
enum DefaultFun

Attributes

Supertypes
trait Enum
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object DefaultFunOrdering extends Ordering[DefaultFun]

Attributes

Supertypes
trait Ordering[DefaultFun]
trait PartialOrdering[DefaultFun]
trait Equiv[DefaultFun]
trait Serializable
trait Comparator[DefaultFun]
class Object
trait Matchable
class Any
Show all
Self type
sealed abstract class DefaultUni

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Apply
object Data
class LiftedUni[A]
object Bool
object ByteString
object Integer
object String
object Unit
object ProtoList
object ProtoPair
Show all
object DefaultUni

Attributes

Companion
class
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
DefaultUni.type
trait Delayed[+A]

Attributes

Supertypes
class Object
trait Matchable
class Any
object Example

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
Example.type
case class Expr[+A](term: Term)

Attributes

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

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
object FlatInstantces

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
object Inliner

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
Inliner.type
object Meaning

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
Meaning.type
case class NamedDeBruijn(name: String, index: Int)

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class Program(version: (Int, Int, Int), term: Term)

A Cardano Plutus program.

A Cardano Plutus program.

A program is a versioned Term. The version is a tuple of three integers: major, minor, and patch.

Value parameters

term

the term of the program

version

the version of the program

Attributes

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

Attributes

Companion
class
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
Program.type
object ProgramFlatCodec

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
enum Term

Attributes

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

Attributes

Companion
enum
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
Term.type
object TermDSL

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
TermDSL.type
enum TypeScheme

Attributes

Supertypes
trait Enum
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object UplcCli

Cardano uplc CLI interface

Cardano uplc CLI interface

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
UplcCli.type
enum UplcEvalResult

Represents the result of evaluating a UPLC program using uplc CLI

Represents the result of evaluating a UPLC program using uplc CLI

Attributes

Supertypes
trait Enum
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
class UplcParser

UPLC parsers.

UPLC parsers.

It's a collection of parsers for the UPLC language. Term and Program parsers are statefull and are program version dependent, that's why this is a class and not an object.

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
object UplcParser

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
UplcParser.type

Givens

Givens

Generated with