docs
API
Generated with
docs/scalus/scalus.sir/scalus.sir.lowering/scalus.sir.lowering.typegens

scalus.sir.lowering.typegens

package scalus.sir.lowering.typegens

Members list

Type members

Classlikes

object BLS12_381_G1_SirTypeGenerator extends PrimitiveSirTypeGenerator

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
object BLS12_381_G2_SirTypeGenerator extends PrimitiveSirTypeGenerator

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
object BLS12_381_MLResultSirTypeGenerator extends SirTypeUplcGenerator

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
object FunSirTypeGenerator extends SirTypeUplcGenerator

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
object MapSirTypeGenerator extends SirTypeUplcGenerator

Representation is data in pack. Used like Product with have one element wibt name 'toList'

Representation is data in pack. Used like Product with have one element wibt name 'toList'

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
trait PrimitiveSirTypeGenerator extends SirTypeUplcGenerator

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
Show all
case class ProductCaseOneElementSirTypeGenerator(argGenerator: SirTypeUplcGenerator) extends SirTypeUplcGenerator

Attributes

Companion
object
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object ProductCaseOneElementSirTypeGenerator

Attributes

Companion
class
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
object ProductCaseSirTypeGenerator extends SirTypeUplcGenerator

Product with one element without parent, represented as an element.

Product with one element without parent, represented as an element.

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
object ProductCaseUplcOnlySirTypeGenerator extends SirTypeUplcGenerator

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
object SIRTypeUplcBooleanGenerator extends PrimitiveSirTypeGenerator

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
object SIRTypeUplcByteStringGenerator extends PrimitiveSirTypeGenerator

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
object SIRTypeUplcDataGenerator extends PrimitiveSirTypeGenerator

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
object SIRTypeUplcIntegerGenerator extends PrimitiveSirTypeGenerator

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
object SIRTypeUplcStringGenerator extends PrimitiveSirTypeGenerator

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
trait SirTypeUplcGenerator

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
Show all
object SirTypeUplcGenerator

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
object SumCaseSirTypeGenerator extends SirTypeUplcGenerator

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
object SumCaseUplcOnlySirTypeGenerator extends SirTypeUplcGenerator

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
object SumDataListSirTypeGenerator extends SumListCommonSirTypeGenerator

Internal representation - Plutus List, element type should be data-compatibe List[E] when E is data-compatible type is mapped to this type.

Internal representation - Plutus List, element type should be data-compatibe List[E] when E is data-compatible type is mapped to this type.

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
trait SumListCommonSirTypeGenerator extends SirTypeUplcGenerator

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
object SumPairDataListSirTypeGenerator extends SumListCommonSirTypeGenerator

List(Pair(List,List))

List(Pair(List,List))

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
object TypeNothingSirTypeGenerator extends SirTypeUplcGenerator

throw error on any attempt.

throw error on any attempt.

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
object TypeVarSirTypeGenerator extends SirTypeUplcGenerator

We assume that type variable can be converted to data, and it is impossible to do something meaningful with it in the UPLC, except pass the value as an argument in unchanged form.

We assume that type variable can be converted to data, and it is impossible to do something meaningful with it in the UPLC, except pass the value as an argument in unchanged form.

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
object UnitSirTypeGenerator extends SirTypeUplcGenerator

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
Generated with