Data

scalus.builtin.Data
See theData companion class
object Data extends DataApi

Attributes

Companion
class
Graph
Supertypes
trait Sum
trait Mirror
trait DataApi
class Object
trait Matchable
class Any
Show all
Self type
Data.type

Members list

Type members

Classlikes

case class B(value: ByteString) extends Data

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Data
class Object
trait Matchable
class Any
Show all
case class Constr(constr: Long, args: List[Data]) extends Data

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Data
class Object
trait Matchable
class Any
Show all
case class I(value: BigInt) extends Data

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Data
class Object
trait Matchable
class Any
Show all
case class List(values: List[Data]) extends Data

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Data
class Object
trait Matchable
class Any
Show all
case class Map(values: List[(Data, Data)]) extends Data

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Data
class Object
trait Matchable
class Any
Show all

Types

type FromData[A] = Data => A
type ToData[A] = A => Data

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

inline def fromData[A](inline data: Data)(using inline ev: () => A): A

Inherited methods

def fromJson(json: String): Data

Attributes

Inherited from:
DataApi
def toJson(data: Data, indent: Int): String

Attributes

Inherited from:
DataApi

Concrete fields

val unit: Constr

Extensions

Extensions

extension [A](a: A)
inline def toData: Data

Inherited extensions

extension [A <: Data](a: A)
inline def toJson: String

Attributes

Inherited from:
DataApi
extension [A <: Data](a: A)(implicit evidence$1: Writer[A])
inline def toJsonIndented: String

Attributes

Inherited from:
DataApi