scalus
API
Generated with
scalus/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[CostModel])

Attributes

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

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

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
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 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)

Attributes

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

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
enum Term

Attributes

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
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
object UplcParser

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
UplcParser.type
Generated with