Annotated

scalus.compiler.sir.SIRType.Annotated
case class Annotated(tp: SIRType, annotations: AnnotationsDecl) extends SIRType

Type wrapper carrying annotations (e.g., @UplcRepr on function parameters). Transparent in most contexts — unwrap like TypeProxy. The annotation is meaningful when computing representations.

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait SIRType
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

override def show: String

Attributes

Definition Classes
override def showDebug: String

Attributes

Definition Classes

Inherited methods

infix def ->:(that: SIRType): Fun

Attributes

Inherited from:
SIRType
inline def =>>:(that: SIRType): TypeLambda

Attributes

Inherited from:
SIRType
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
infix def ~=~(that: SIRType): Boolean

Attributes

Inherited from:
SIRType