scalus
API
Generated with
scalus/scalus.uplc

scalus.uplc

package scalus.uplc

Members list

Concise view

Type members

Classlikes

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

Attributes

Graph
Supertypes
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
object Cek

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Cek.type
object CommonFlatInstantces

Attributes

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

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Bool
class Data
class Integer
class List
class Pair
class String
object Unit.type
object Constant

Attributes

Companion:
trait
Graph
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
sealed abstract class Data

Attributes

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

Attributes

Companion:
class
Graph
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
Data.type
object DeBruijn

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
case class DeBruijnedProgram

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
enum DefaultFun

Attributes

Graph
Supertypes
trait Enum
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
sealed abstract class DefaultUni

Attributes

Companion:
object
Graph
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
object DefaultUni

Attributes

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

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
class EvaluationFailure(msg: String) extends Exception

Attributes

Graph
Supertypes
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
object Example

Attributes

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

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
object ExprBuilder

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
object FlatInstantces

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
object FromData

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
object FromDataInstances

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
class KnownTypeUnliftingError(expected: TypeScheme, actual: DefaultUni) extends Exception

Attributes

Graph
Supertypes
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
trait Meaning

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
object Meaning

Attributes

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

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
object PlutusDataCborDecoder extends Decoder[Data]

Attributes

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

Attributes

Graph
Supertypes
trait Encoder[Data]
class Object
trait Matchable
class Any
Self type
object PlutusUplcEval

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
case class Program(version: (Int, Int, Int), term: Term)

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
object ProgramFlatCodec

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
case class Runtime(typeScheme: TypeScheme, f: AnyRef)

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
enum Term

Attributes

Graph
Supertypes
trait Enum
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Known subtypes
case Var
case LamAbs
case Apply
case Force
case Delay
case Const
case Builtin
case Error
object TermDSL

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
TermDSL.type
object ToDataInstances

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
object TotoData

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
enum TypeScheme

Attributes

Graph
Supertypes
trait Enum
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
class UnexpectedBuiltinTermArgumentMachineError(term: Term) extends Exception

Attributes

Graph
Supertypes
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
enum UplcEvalResult

Attributes

Graph
Supertypes
trait Enum
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
object UplcParser

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Extensions

Extensions

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