amy-language
API
Generated with
amy-language/amyc/amyc.backend/amyc.backend.wasm/Types

Types

amyc.backend.wasm.Types$
object Types

https://webassembly.github.io/spec/core/syntax/types.html

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Types.type

Members list

Type members

Classlikes

case object externref extends reftype, heaptype

Attributes

Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait heaptype
trait reftype
class valtype
class Object
trait Matchable
class Any
Show all
Self type
externref.type
case object funcref extends reftype, heaptype

Attributes

Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait heaptype
trait reftype
class valtype
class Object
trait Matchable
class Any
Show all
Self type
funcref.type
case class functype(params: List[param], results: List[result])

https://webassembly.github.io/spec/core/text/types.html#function-types

https://webassembly.github.io/spec/core/text/types.html#function-types

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
sealed trait heaptype

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
object externref.type
object funcref.type
case class local(id: Option[id], tpe: valtype)

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
abstract class numtype extends valtype

https://webassembly.github.io/spec/core/text/types.html#number-types

https://webassembly.github.io/spec/core/text/types.html#number-types

Attributes

Supertypes
class valtype
class Object
trait Matchable
class Any
Known subtypes
object f32.type
object f64.type
object i32.type
object i64.type
case class param(id: Option[id], tpe: valtype)

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
sealed trait reftype extends valtype

https://webassembly.github.io/spec/core/text/types.html#reference-types

https://webassembly.github.io/spec/core/text/types.html#reference-types

Attributes

Supertypes
class valtype
class Object
trait Matchable
class Any
Known subtypes
object externref.type
object funcref.type
case class result(tpe: valtype)

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class typeuse(x: typeidx)

TODO HR : 1- Add : https://webassembly.github.io/spec/core/text/types.html#limits 2- Add : https://webassembly.github.io/spec/core/text/types.html#memory-types 3- Add : https://webassembly.github.io/spec/core/text/types.html#table-types 4- Add : https://webassembly.github.io/spec/core/text/types.html#global-types 5- Move the definitions below to their corresponding file

TODO HR : 1- Add : https://webassembly.github.io/spec/core/text/types.html#limits 2- Add : https://webassembly.github.io/spec/core/text/types.html#memory-types 3- Add : https://webassembly.github.io/spec/core/text/types.html#table-types 4- Add : https://webassembly.github.io/spec/core/text/types.html#global-types 5- Move the definitions below to their corresponding file

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
sealed abstract class valtype

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
class numtype
object f32.type
object f64.type
object i32.type
object i64.type
trait reftype
object externref.type
object funcref.type
class vectype
object v128.type
Show all
abstract class vectype extends valtype

https://webassembly.github.io/spec/core/text/types.html#vector-types

https://webassembly.github.io/spec/core/text/types.html#vector-types

Attributes

Supertypes
class valtype
class Object
trait Matchable
class Any
Known subtypes
object v128.type

Value members

Concrete methods

inline def f32: f32.type
inline def f64: f64.type
inline def i32: i32.type
inline def i64: i64.type
inline def v128: v128.type
Generated with