scalus
API
Generated with
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

Members list

Concise view

Type members

Classlikes

case class Bool(value: Boolean) extends Constant

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Inherited 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 seqLiftValue[A : Lift]: seqLiftValue[A]

Implicits

Implicits

implicit def LiftValueData[A <: Data]: LiftValue[A]
implicit def tupleLiftValue[A : Lift, B : Lift]: LiftValue[(A, B)]
Generated with