docs
API
Generated with
docs/scalus/scalus.uplc/Constant

Constant

scalus.uplc.Constant
See theConstant companion trait
object Constant

Attributes

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

Members list

Type members

Classlikes

case class Array(elemType: DefaultUni, value: IndexedSeq[Constant]) extends Constant

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Constant
class Object
trait Matchable
class Any
Show all
case class BLS12_381_G1_Element(value: BLS12_381_G1_Element) extends Constant

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Constant
class Object
trait Matchable
class Any
Show all
case class BLS12_381_G2_Element(value: BLS12_381_G2_Element) extends Constant

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Constant
class Object
trait Matchable
class Any
Show all
case class BLS12_381_MlResult(value: BLS12_381_MlResult) extends Constant

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Constant
class Object
trait Matchable
class Any
Show all
case class Bool(value: Boolean) extends Constant

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Constant
class Object
trait Matchable
class Any
Show all
case class BuiltinValue(value: BuiltinValue) extends Constant

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Constant
class Object
trait Matchable
class Any
Show all
case class ByteString(value: ByteString) extends Constant

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Constant
class Object
trait Matchable
class Any
Show all
case class Data(value: Data) extends Constant

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Constant
class Object
trait Matchable
class Any
Show all
case class Integer(value: BigInt) extends Constant

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Constant
class Object
trait Matchable
class Any
Show all
trait LiftValue[-A]

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
Show all
case class List(elemType: DefaultUni, value: List[Constant]) extends Constant

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Constant
class Object
trait Matchable
class Any
Show all
case class Pair(a: Constant, b: Constant) extends Constant

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Constant
class Object
trait Matchable
class Any
Show all
case class String(value: String) extends Constant

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Constant
class Object
trait Matchable
class Any
Show all
case object Unit extends Constant

Attributes

Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait Constant
class Object
trait Matchable
class Any
Show all
Self type
Unit.type
object given_LiftValue_BigInt extends LiftValue[BigInt]

Attributes

Supertypes
trait LiftValue[BigInt]
class Object
trait Matchable
class Any
Self type
object given_LiftValue_Boolean extends LiftValue[Boolean]

Attributes

Supertypes
trait LiftValue[Boolean]
class Object
trait Matchable
class Any
Self type
object given_LiftValue_ByteString extends LiftValue[ByteString]

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
object given_LiftValue_Int extends LiftValue[Int]

Attributes

Supertypes
trait LiftValue[Int]
class Object
trait Matchable
class Any
Self type
object given_LiftValue_Long extends LiftValue[Long]

Attributes

Supertypes
trait LiftValue[Long]
class Object
trait Matchable
class Any
Self type
object given_LiftValue_String extends LiftValue[String]

Attributes

Supertypes
trait LiftValue[String]
class Object
trait Matchable
class Any
Self type
object given_LiftValue_Unit extends LiftValue[Unit]

Attributes

Supertypes
trait LiftValue[Unit]
class Object
trait Matchable
class Any
Self type

Inherited and Abstract types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Attributes

Inherited from:
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Attributes

Inherited from:
Mirror

Value members

Concrete methods

def fromValue(tpe: DefaultUni, a: Any): Constant
def toValue(c: Constant): Any

Givens

Givens

given LiftValueData[A <: Data]: LiftValue[A]
given flatConstant(using Flat[Data]): Flat[Constant]
given indexedSeqLiftValue[A : Lift]: indexedSeqLiftValue[A]
given seqLiftValue[A : Lift]: seqLiftValue[A]
given tupleLiftValue[A : Lift, B : Lift]: LiftValue[(A, B)]

Extensions

Extensions

extension [A](c: A)
def asConstant: Constant

Extension method to convert a Scala value to a UPLC Constant.

Extension method to convert a Scala value to a UPLC Constant.

Provides a convenient syntax for lifting Scala values into the Plutus constant representation. The conversion is type-safe and requires an implicit LiftValue instance for the value type.

Supported types include:

  • Numeric types: BigInt, Int, Long
  • builtin.ByteString
  • java.lang.String
  • Boolean
  • Unit
  • scalus.builtin.Data and its subtypes
  • Collections: Seq (requires element type to have LiftValue)
  • Tuples: pairs of values with LiftValue instances

Type parameters

A

the type of the value to convert, must have an implicit LiftValue instance

Attributes

Returns

a Constant representing the lifted value

See also

LiftValue for defining custom value conversions

Example 
 import scalus.uplc.Constant.*
 val intConst = 42.asConstant
 // Integer(42)
 val strConst = "hello".asConstant
 // String("hello")
 val listConst = Seq(1, 2, 3).asConstant
 // List(Integer, List(Integer(1), Integer(2), Integer(3)))
Generated with