morphir
API
Generated with
morphir/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]

Inherited types

final type Field[+A] = Field[A]

Attributes

Inherited from:
TypeModule
final type FieldK[F[_], +A] = FieldK[F, A]

Attributes

Inherited from:
TypeModule
final type FieldT[+A] = FieldT[A]

Attributes

Inherited from:
TypeModule
final type Type[+A] = Type[A]

Attributes

Inherited from:
TypeModule
final type UConstructors = Constructors[Unit]

Attributes

Inherited from:
TypeModule
final type UDefinition = Definition[Unit]

Attributes

Inherited from:
TypeModule
final type USpecification = Specification[Unit]

Attributes

Inherited from:
TypeModule
final 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): FieldT[Unit]

Attributes

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

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: List[FieldT[Unit]]): UType

Attributes

Inherited from:
TypeModule
final def extensibleRecord(name: Name, fields: List[FieldT[Unit]]): 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: FieldT[A], fields: FieldT[A]*)(implicit ev: NeedsAttributes[A]): Type[A]

Attributes

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

Attributes

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

Attributes

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

Attributes

Inherited from:
TypeModule
final def extensibleRecordWithFields(name: Name, fields: FieldT[Unit]*): 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 fields[A](fields: Field[A]*): List[Field[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: FieldT[Unit], fields: FieldT[Unit]*): UType

Attributes

Inherited from:
TypeModule
final def record(fields: List[FieldT[Unit]]): UType

Attributes

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

Attributes

Inherited from:
TypeModule
final def reference(packageName: String, moduleName: String, typeName: String, typeParams: List[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: List[UType]): UType

Attributes

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

Attributes

Inherited from:
TypeModule
final def reference(typeName: FQName, typeParams: List[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: List[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: List[Type[A]])(implicit ev: NeedsAttributes[A]): Type[A]

Attributes

Inherited from:
TypeModule
final def tuple(elements: List[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: List[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

final val Field: Field.type

Attributes

Inherited from:
TypeModule
final val FieldK: Field.type

Attributes

Inherited from:
TypeModule
final val FieldT: FieldT.type

Attributes

Inherited from:
TypeModule
final val Type: Type.type

Attributes

Inherited from:
TypeModule
final val UConstructors: Constructors.type

Attributes

Inherited from:
TypeModule
final val UDefinition: Definition.type

Attributes

Inherited from:
TypeModule
final 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