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](arg1: List[Name], arg2: Constructors[A]) extends Specification[A]
Attributes
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait Specification[A]class Objecttrait Matchableclass AnyShow all
final case class DerivedTypeSpecification[A](arg1: List[Name], arg2: DerivedTypeSpecificationDetails[A]) extends Specification[A]
Attributes
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait Specification[A]class Objecttrait Matchableclass AnyShow all
final case class OpaqueTypeSpecification[A](arg1: List[Name]) extends Specification[A]
Attributes
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait Specification[A]class Objecttrait Matchableclass AnyShow all
final case class TypeAliasSpecification[A](arg1: List[Name], arg2: Type[A]) extends Specification[A]
Attributes
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait Specification[A]class Objecttrait Matchableclass AnyShow all
Inherited and Abstract 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