org.finos.morphir.ir.Type$.Specification$
See theSpecification companion trait
object Specification
Attributes
- Companion
- trait
- Graph
-
- Supertypes
-
trait Sumtrait Mirrorclass Objecttrait Matchableclass Any
- Self type
-
Specification.type
Members list
Type members
Classlikes
final case class CustomTypeSpecification[+A](typeParams: List[Name], ctors: Constructors[A]) extends Specification[A]
Attributes
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait Specification[A]class Objecttrait Matchableclass AnyShow all
final case class DerivedTypeSpecification[+A](typeParams: List[Name], derivationProps: DerivedType[A]) extends Specification[A]
Attributes
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait Specification[A]class Objecttrait Matchableclass AnyShow all
final case class OpaqueTypeSpecification(typeParams: List[Name]) extends Specification[Nothing]
Attributes
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait Specification[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 Specification[A]
Attributes
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait Specification[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