morphir-toolkit-mir/org.finos.morphir.mir/Type

Type

object Type
Companion:
class
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Type.type

Type members

Classlikes

final case class Array(ty: Type, nullable: Boolean) extends RefKind
case object Bool extends PrimitiveKind
case object Null extends RefKind
sealed abstract class PrimitiveKind(val width: Int) extends ValueKind

Primitive value types.

Primitive value types.

final case class Ref(name: Global, exact: Boolean, nullable: Boolean) extends RefKind
sealed abstract class RefKind extends Type
case object Unit extends RefKind
sealed abstract class ValueKind extends Type

Value types are either primitive or aggregate.

Value types are either primitive or aggregate.

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Inherited from:
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Inherited from:
Mirror