morphir-extensibility
API
Generated with
morphir-extensibility/org.finos.morphir/org.finos.morphir.internal/AllTypeLevelModules

AllTypeLevelModules

org.finos.morphir.internal.AllTypeLevelModules
trait AllTypeLevelModules extends AccessControlledModule, DocumentedModule, TypeModule, TypeSpecModule, TypeDefModule, TypeInfoModule, TypeTransformerModule

Attributes

Graph
Supertypes
trait TypeSpecModule
trait TypeModule
class Object
trait Matchable
class Any
Show all

Members list

Type members

Inherited classlikes

sealed case class AccessControlled[+A](access: Access, value: A)

Attributes

Inherited from:
AccessControlledModule
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object AccessControlled

Attributes

Inherited from:
AccessControlledModule
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
sealed case class Documented[+A](doc: String, value: A)

Attributes

Inherited from:
DocumentedModule
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object Field

Attributes

Inherited from:
TypeModule
Supertypes
class Object
trait Matchable
class Any
sealed case class FieldK[F[_], +A](name: Name, data: F[A])

Attributes

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

Attributes

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

Attributes

Inherited from:
TypeInfoModule
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
sealed trait GenericTypeInfo[+A]

Attributes

Inherited from:
TypeInfoModule
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Full[A]
class TypeAndSpec[A]
class TypeOnly[A]
object IField

Attributes

Inherited from:
TypeModule
Supertypes
class Object
trait Matchable
class Any
sealed abstract class IsNotAType[-A] extends Serializable

Attributes

Inherited from:
TypeModuleVersionSpecific
Supertypes
trait Serializable
class Object
trait Matchable
class Any
Known subtypes
object IsNotAType.type
object IsNotAType extends IsNotAType[Any]

Attributes

Inherited from:
TypeModuleVersionSpecific
Supertypes
trait Sum
trait Mirror
class IsNotAType[Any]
trait Serializable
class Object
trait Matchable
class Any
Show all
object Type

Attributes

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

Attributes

Inherited from:
TypeModule
Supertypes
trait TypeExpr
class Object
trait Matchable
class Any
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
sealed case class TypeConstructor[+A](name: Name, args: TypeConstructorArgs[A])

Attributes

Inherited from:
TypeSpecModule
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
sealed case class TypeConstructorArg[+A](name: Name, tpe: Type[A])

Attributes

Inherited from:
TypeSpecModule
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object TypeConstructorArg

Attributes

Inherited from:
TypeSpecModule
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
sealed case class TypeConstructorArgs[+A](args: List[TypeConstructorArg[A]])

Attributes

Inherited from:
TypeSpecModule
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object TypeConstructorArgs

Attributes

Inherited from:
TypeSpecModule
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
sealed case class TypeConstructors[+A](byName: Map[Name, TypeConstructorArgs[A]])

Attributes

Inherited from:
TypeSpecModule
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object TypeConstructors

Attributes

Inherited from:
TypeSpecModule
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
object TypeDefinition

Attributes

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

Attributes

Inherited from:
TypeDefModule
Supertypes
class Object
trait Matchable
class Any
Known subtypes
sealed trait TypeExpr

Attributes

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

Attributes

Inherited from:
TypeTransformerModule
Supertypes
class Object
trait Matchable
class Any
trait TypeFolder[-Context, -Attrib, Z]

Attributes

Inherited from:
TypeTransformerModule
Supertypes
class Object
trait Matchable
class Any
object TypeInfo

Attributes

Inherited from:
TypeInfoModule
Supertypes
class Object
trait Matchable
class Any
object TypeSpecification

Attributes

Inherited from:
TypeSpecModule
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
sealed trait TypeSpecification[+A]

Attributes

Inherited from:
TypeSpecModule
Supertypes
class Object
trait Matchable
class Any

Inherited types

type Field[+A] = FieldK[Type, A]

Attributes

Inherited from:
TypeModule
type IField[+A] = FieldK[Id, A]

Attributes

Inherited from:
TypeModule
type TypeInfo = GenericTypeInfo[Attributes]

Attributes

Inherited from:
TypeInfoModule

Value members

Inherited methods

def tCtorArg[A](pair: (Name, Type[A])): TypeConstructorArg[A]

Attributes

Inherited from:
TypeSpecModule
def tCtorArg[A](name: Name, tpe: Type[A]): TypeConstructorArg[A]

Attributes

Inherited from:
TypeSpecModule
def tCtorArgs[A](args: TypeConstructorArg[A]*): TypeConstructorArgs[A]

Attributes

Inherited from:
TypeSpecModule
def typeCtors[A](ctors: (Name, TypeConstructorArgs[A])*): TypeConstructors[A]

Attributes

Inherited from:
TypeSpecModule
Generated with