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 CommonFlatInstantces

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.type
Show all
object Constant

Attributes

Companion
trait
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
Constant.type
sealed abstract class Data

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class B
class Constr
class I
class List
class Map
object Data

Attributes

Companion
class
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
Data.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.type
class LiftedUni[A]
object Bool.type
object ByteString.type
object Integer.type
object String.type
object Unit.type
object ProtoList.type
object ProtoPair.type
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
object FromData

FromData[A] derivation

FromData[A] derivation

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
FromData.type
object FromDataInstances

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 PlutusDataCborDecoder extends Decoder[Data]

Attributes

Supertypes
trait Decoder[Data]
class Object
trait Matchable
class Any
Self type
object PlutusDataCborEncoder extends Encoder[Data]

Attributes

Supertypes
trait Encoder[Data]
class Object
trait Matchable
class Any
Self type
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
object ToData

ToData[A] derivation macros.

ToData[A] derivation macros.

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
ToData.type
object ToDataInstances

Attributes

Supertypes
class Object
trait Matchable
class Any
Self 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
Generated with