scalus
API
Generated with
scalus/scalus/scalus.uplc

scalus.uplc

package scalus.uplc

Members list

Type members

Classlikes

class BuiltinError(term: Term, cause: Throwable) extends Exception

Attributes

Supertypes
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
object Cek

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
Cek.type
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
class EvaluationFailure(msg: String) extends Exception

Attributes

Supertypes
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
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
class KnownTypeUnliftingError(expected: TypeScheme, actual: DefaultUni) extends Exception

Attributes

Supertypes
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
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
object PlutusUplcEval

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
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
case class Runtime(typeScheme: TypeScheme, f: AnyRef)

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
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
class UnexpectedBuiltinTermArgumentMachineError(term: Term) extends Exception

Attributes

Supertypes
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
enum UplcEvalResult

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

Extensions

Extensions

extension (x: DefaultUni)
def ->:(t: DefaultUni): TypeScheme

Exports

Defined exports

final val Data: Data
Exported from builtin
final type Data = Data
Exported from builtin
final val FromData: FromData
Exported from builtin
final val FromDataInstances: FromDataInstances
Exported from builtin
final val ToData: ToData
Exported from builtin
final val ToDataInstances: ToDataInstances
Exported from builtin
Generated with