DefaultUni

scalus.uplc.DefaultUni
See theDefaultUni companion class
object DefaultUni

Attributes

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

Members list

Type members

Classlikes

case class Apply(f: DefaultUni, arg: DefaultUni) extends DefaultUni

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class DefaultUni
class Object
trait Matchable
class Any
Show all
case object BLS12_381_G1_Element extends DefaultUni

Attributes

Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
class DefaultUni
class Object
trait Matchable
class Any
Show all
Self type
case object BLS12_381_G2_Element extends DefaultUni

Attributes

Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
class DefaultUni
class Object
trait Matchable
class Any
Show all
Self type
case object BLS12_381_MlResult extends DefaultUni

Attributes

Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
class DefaultUni
class Object
trait Matchable
class Any
Show all
Self type
case object Bool extends LiftedUni[Boolean]

Attributes

Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
class LiftedUni[Boolean]
trait Lift[Boolean]
class DefaultUni
class Object
trait Matchable
class Any
Show all
Self type
Bool.type
case object ByteString extends LiftedUni[ByteString]

Attributes

Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait Lift[ByteString]
class DefaultUni
class Object
trait Matchable
class Any
Show all
Self type
ByteString.type
case object Data extends DefaultUni

Attributes

Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
class DefaultUni
class Object
trait Matchable
class Any
Show all
Self type
Data.type
case object Integer extends LiftedUni[BigInt]

Attributes

Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
class LiftedUni[BigInt]
trait Lift[BigInt]
class DefaultUni
class Object
trait Matchable
class Any
Show all
Self type
Integer.type
trait Lift[A]

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
object LiftData
class LiftedUni[A]
object Bool
object ByteString
object Integer
object String
object Unit
Show all
object LiftData extends Lift[Data]

Attributes

Supertypes
trait Lift[Data]
class Object
trait Matchable
class Any
Self type
LiftData.type
sealed abstract class LiftedUni[A] extends DefaultUni, Lift[A]

Attributes

Supertypes
trait Lift[A]
class DefaultUni
class Object
trait Matchable
class Any
Known subtypes
object Bool
object ByteString
object Integer
object String
object Unit
case object ProtoList extends DefaultUni

Attributes

Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
class DefaultUni
class Object
trait Matchable
class Any
Show all
Self type
ProtoList.type
case object ProtoPair extends DefaultUni

Attributes

Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
class DefaultUni
class Object
trait Matchable
class Any
Show all
Self type
ProtoPair.type
case object String extends LiftedUni[String]

Attributes

Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
class LiftedUni[String]
trait Lift[String]
class DefaultUni
class Object
trait Matchable
class Any
Show all
Self type
String.type
case object Unit extends LiftedUni[Unit]

Attributes

Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
class LiftedUni[Unit]
trait Lift[Unit]
class DefaultUni
class Object
trait Matchable
class Any
Show all
Self type
Unit.type
object given_Lift_Int extends Lift[Int]

Attributes

Supertypes
trait Lift[Int]
class Object
trait Matchable
class Any
Self type
object given_Lift_Long extends Lift[Long]

Attributes

Supertypes
trait Lift[Long]
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 asConstant[A : LiftValue](value: A): Constant
def defaultUniFromValue[A : Lift](value: A): DefaultUni