scalus
API
Generated with
scalus/scalus.uplc/DefaultUni

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

Members list

Concise view

Type members

Classlikes

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

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
case object Bool extends LiftedUni[Boolean]

Attributes

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

Attributes

Graph
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Self type
case object Data extends DefaultUni

Attributes

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

Attributes

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

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object LiftData.type
class LiftedUni[A]
object Bool.type
object ByteString.type
object Integer.type
object String.type
object Unit.type
object given_Lift_Int.type
object given_Lift_Long.type
object LiftData extends Lift[Data]

Attributes

Graph
Supertypes
trait Lift[Data]
class Object
trait Matchable
class Any
Self type
sealed abstract class LiftedUni[A] extends DefaultUni with Lift[A]

Attributes

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

Attributes

Graph
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Self type
case object ProtoPair extends DefaultUni

Attributes

Graph
Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Self type
case object String extends LiftedUni[String]

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Givens

Givens

Generated with