morphir-toolkit-core
API
Generated with
morphir-toolkit-core/org.finos.morphir/org.finos.morphir.ir/Type

Type

org.finos.morphir.ir.Type$
object Type extends TypeModule

Attributes

Graph
Supertypes
trait TypeModule
class Object
trait Matchable
class Any
Self type
Type.type

Members list

Type members

Inherited classlikes

sealed case class Constructors[+Attribs](toMap: Map[Name, Chunk[(Name, Type[Attribs])]])

Attributes

Inherited from:
TypeModule
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object Constructors

Attributes

Inherited from:
TypeModule
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
object Definition

Attributes

Inherited from:
TypeModule
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
sealed trait Definition[+Attribs]

Attributes

Inherited from:
TypeModule
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class CustomType[Attribs]
class TypeAlias[Attribs]
trait MorphirTypeModule

Attributes

Inherited from:
TypeModule
Supertypes
class Object
trait Matchable
class Any
object Specification

Attributes

Inherited from:
TypeModule
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
sealed trait Specification[+Attribs]

Attributes

Inherited from:
TypeModule
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class CustomTypeSpecification[Attribs]
class TypeAliasSpecification[Attribs]
object Type

Attributes

Inherited from:
TypeModule
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
sealed trait Type[+A] extends Product, Serializable

Attributes

Inherited from:
TypeModule
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
Known subtypes
class ExtensibleRecord[A]
class Function[A]
class Record[A]
class Reference[A]
class Tuple[A]
class Unit[A]
class Variable[A]
Show all

Inherited types

type FieldT[+A] = Field[Type[A]]

Attributes

Inherited from:
TypeModule
type UConstructors = Constructors[Unit]

Attributes

Inherited from:
TypeModule
type UDefinition = Definition[Unit]

Attributes

Inherited from:
TypeModule
type USpecification = Specification[Unit]

Attributes

Inherited from:
TypeModule
type UType = Type[Unit]

Attributes

Inherited from:
TypeModule

Value members

Inherited methods

final def curriedFunction(paramTypes: List[UType], returnType: UType): UType

Attributes

Inherited from:
TypeModule
final def defineField(name: String, fieldType: UType): Field[UType]

Attributes

Inherited from:
TypeModule
final def defineField(name: Name, fieldType: UType): Field[UType]

Attributes

Inherited from:
TypeModule
final def emptyTuple[A](attributes: A)(implicit ev: NeedsAttributes[A]): Type[A]

Attributes

Inherited from:
TypeModule
final def extensibleRecord(name: String, fields: (String, UType)*): UType

Attributes

Inherited from:
TypeModule
final def extensibleRecord(name: Name, fields: (String, UType)*): UType

Attributes

Inherited from:
TypeModule
final def extensibleRecord(name: String, fields: Chunk[Field[UType]]): UType

Attributes

Inherited from:
TypeModule
final def extensibleRecord(name: Name, fields: Chunk[Field[UType]]): UType

Attributes

Inherited from:
TypeModule
final def extensibleRecord[A](attributes: A, name: String, fields: (String, Type[A])*)(implicit ev: NeedsAttributes[A]): Type[A]

Attributes

Inherited from:
TypeModule
final def extensibleRecord[A](attributes: A, name: Name, fields: (String, Type[A])*)(implicit ev: NeedsAttributes[A]): Type[A]

Attributes

Inherited from:
TypeModule
final def extensibleRecord[A](attributes: A, name: String, field: Field[Type[A]], fields: Field[Type[A]]*)(implicit ev: NeedsAttributes[A]): Type[A]

Attributes

Inherited from:
TypeModule
final def extensibleRecord[A](attributes: A, name: String, fields: Chunk[Field[Type[A]]])(implicit ev: NeedsAttributes[A]): Type[A]

Attributes

Inherited from:
TypeModule
def extensibleRecord[A](attributes: A, name: Name, fields: Chunk[Field[Type[A]]])(implicit ev: NeedsAttributes[A]): Type[A]

Attributes

Inherited from:
TypeModule
final def extensibleRecordWithFields(name: String, fields: Field[UType]*): UType

Attributes

Inherited from:
TypeModule
final def extensibleRecordWithFields(name: Name, fields: Field[UType]*): UType

Attributes

Inherited from:
TypeModule
final def field[A](tuple: (String, Type[A])): FieldT[A]

Attributes

Inherited from:
TypeModule
final def field[A](name: Name, tpe: Type[A]): FieldT[A]

Attributes

Inherited from:
TypeModule
final def field[A](name: String, tpe: Type[A]): FieldT[A]

Attributes

Inherited from:
TypeModule
final def function(argumentType: UType, returnType: UType): UType

Attributes

Inherited from:
TypeModule
final def function[A](attributes: A, argumentType: Type[A], returnType: Type[A])(implicit ev: NeedsAttributes[A]): Type[A]

Attributes

Inherited from:
TypeModule
final def mapTypeAttributes[A, B](tpe: Type[A])(f: A => B): Type[B]

Attributes

Inherited from:
TypeModule
final def record(fields: (String, UType)*): UType

Attributes

Inherited from:
TypeModule
final def record(field: Field[UType], fields: Field[UType]*): UType

Attributes

Inherited from:
TypeModule
final def record(fields: Chunk[Field[UType]]): UType

Attributes

Inherited from:
TypeModule
final def record[A](attributes: A, fields: Chunk[Field[Type[A]]])(implicit ev: NeedsAttributes[A]): Type[A]

Attributes

Inherited from:
TypeModule
final def reference(packageName: String, moduleName: String, typeName: String, typeParams: Chunk[UType]): UType

Attributes

Inherited from:
TypeModule
final def reference(packageName: String, moduleName: String, typeName: String, typeParams: UType*): UType

Attributes

Inherited from:
TypeModule
final def reference(typeName: String, typeParams: UType*): UType

Attributes

Inherited from:
TypeModule
final def reference(typeName: String, typeParams: Chunk[UType]): UType

Attributes

Inherited from:
TypeModule
final def reference(typeName: FQName, typeParams: UType*): UType

Attributes

Inherited from:
TypeModule
final def reference(typeName: FQName, typeParams: Chunk[UType]): UType

Attributes

Inherited from:
TypeModule
final def reference[A](attributes: A, typeName: String, firstTypeParam: Type[A], otherTypeParams: Type[A]*)(implicit ev: NeedsAttributes[A]): Reference[A]

Attributes

Inherited from:
TypeModule
final def reference[A](attributes: A, typeName: String)(implicit ev: NeedsAttributes[A]): Reference[A]

Attributes

Inherited from:
TypeModule
final def reference[A](attributes: A, typeName: String, typeParams: Chunk[Type[A]])(implicit ev: NeedsAttributes[A]): Reference[A]

Attributes

Inherited from:
TypeModule
final def reference[A](attributes: A, typeName: FQName, firstTypeParam: Type[A], otherTypeParams: Type[A]*)(implicit ev: NeedsAttributes[A]): Type[A]

Attributes

Inherited from:
TypeModule
final def reference[A](attributes: A, typeName: FQName)(implicit ev: NeedsAttributes[A]): Type[A]

Attributes

Inherited from:
TypeModule
final def reference[A](attributes: A, typeName: FQName, typeParams: Chunk[Type[A]])(implicit ev: NeedsAttributes[A]): Type[A]

Attributes

Inherited from:
TypeModule
final def tuple(elements: Chunk[UType]): UType

Attributes

Inherited from:
TypeModule
final def tupleVar(elements: UType*): UType

Attributes

Inherited from:
TypeModule
final def tupleWithAttr[A](attributes: A, elements: Type[A]*)(implicit ev: NeedsAttributes[A]): Type[A]

Attributes

Inherited from:
TypeModule
final def tupleWithAttr[A](attributes: A, elements: Chunk[Type[A]])(implicit ev: NeedsAttributes[A]): Type[A]

Attributes

Inherited from:
TypeModule
final def typeAttributes[A](tpe: Type[A]): A

Attributes

Inherited from:
TypeModule
final def unit[A](attributes: A)(implicit ev: NeedsAttributes[A]): Type[A]

Attributes

Inherited from:
TypeModule
final def variable(name: String): UType

Attributes

Inherited from:
TypeModule
final def variable(name: Name): UType

Attributes

Inherited from:
TypeModule
final def variable[A](attributes: A, name: String)(implicit ev: NeedsAttributes[A]): Type[A]

Attributes

Inherited from:
TypeModule
final def variable[A](attributes: A, name: Name)(implicit ev: NeedsAttributes[A]): Type[A]

Attributes

Inherited from:
TypeModule

Inherited fields

val FieldT: Field.type

Attributes

Inherited from:
TypeModule
val UConstructors: Constructors.type

Attributes

Inherited from:
TypeModule
val UDefinition: Definition.type

Attributes

Inherited from:
TypeModule
val UType: Type.type

Attributes

Inherited from:
TypeModule
lazy val emptyTuple: UType

Attributes

Inherited from:
TypeModule
final lazy val unit: UType

Attributes

Inherited from:
TypeModule
final lazy val unitType: UType

Attributes

Inherited from:
TypeModule
Generated with