scalus
API
Generated with
scalus/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
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 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.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
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.type
object ByteString.type
object Integer.type
object String.type
object Unit.type
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 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