docs
API
Generated with
docs/scalus/scalus.builtin/scalus.builtin.internal/UniversalDataConversion

UniversalDataConversion

scalus.builtin.internal.UniversalDataConversion
object UniversalDataConversion

This module exists to make Linker happy about the existence of the internal data representation, where FromData/ToData become NoOps.

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

def fromData[A](data: Data): A

This method is not used really, but we use symbol in the compiler plugin as a marker to use a data representation on a SIR level, when we need to eliminate scala ForData/ToData from the SIR. * i.e. on the step

This method is not used really, but we use symbol in the compiler plugin as a marker to use a data representation on a SIR level, when we need to eliminate scala ForData/ToData from the SIR. * i.e. on the step

fromDataConvertor(data1)
fromDataConvertor(data2)(using c1: FromData[B1], .... cN: FromData[Bn])
*

converted to

SIR.Apply("scalus.builtin.internal.UniversalDataConversion.fromData", List(data1))
SIR.Apply("scalus.builtin.internal.UniversalDataConversion.fromData", List(data2))

`

Attributes

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

This method is not used really, but we use symbol in the compiler plugin as a marker to use a data representation on a SIR level, when we need to eliminate scala ForData/ToData from the SIR.

This method is not used really, but we use symbol in the compiler plugin as a marker to use a data representation on a SIR level, when we need to eliminate scala ForData/ToData from the SIR.

i.e. on the step

 toDataConvertor(a1)
 toDataConvertor(a2)(using c1: ToData[B1], .... cN: ToData[Bn])

converted to

 SIR.Apply("scalus.builtin.internal.UniversalDataConversion.toData", List(a1))
 SIR.Apply("scalus.builtin.internal.UniversalDataConversion.toData", List(a2))

Attributes

Generated with