org.finos.morphir.universe.ir.TypeSpecification
See theTypeSpecification companion trait
object TypeSpecification
Attributes
- Companion
- trait
- Graph
-
- Supertypes
-
trait Sumtrait Mirrorclass Objecttrait Matchableclass Any
- Self type
-
TypeSpecification.type
Members list
Type members
Classlikes
final case class CustomTypeSpecification[+A](typeParams: List[Name], ctors: TypeConstructors[A]) extends TypeSpecification[A]
Attributes
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait TypeSpecification[A]class Objecttrait Matchableclass AnyShow all
final case class DerivedTypeSpecification[+A](typeParams: List[Name], derivationProps: DerivedType[A]) extends TypeSpecification[A]
Attributes
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait TypeSpecification[A]class Objecttrait Matchableclass AnyShow all
final case class OpaqueTypeSpecification(typeParams: List[Name]) extends TypeSpecification[Nothing]
Attributes
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait TypeSpecification[Nothing]class Objecttrait Matchableclass AnyShow all
object Properties
Attributes
- Companion
- trait
- Supertypes
-
trait Sumtrait Mirrorclass Objecttrait Matchableclass Any
- Self type
-
Properties.type
Attributes
- Companion
- object
- Supertypes
-
class Objecttrait Matchableclass Any
- Known subtypes
- Self type
-
Properties[A]
final case class TypeAliasSpecification[+A](typeParams: List[Name], expr: Type[A]) extends TypeSpecification[A]
Attributes
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait TypeSpecification[A]class Objecttrait Matchableclass AnyShow all
Inherited types
The names of the product elements
The names of the product elements
Attributes
- Inherited from:
- Mirror
The name of the type
The name of the type
Attributes
- Inherited from:
- Mirror
In this article