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 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 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 seqLiftValue[A : Lift]: seqLiftValue[A]
given tupleLiftValue[A : Lift, B : Lift]: LiftValue[(A, B)]
Generated with