TypeModule

org.finos.morphir.internal.TypeModule

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
Self type

Members list

Type members

Classlikes

object Field

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
Field.type
sealed case class FieldK[F[_], +A](name: Name, data: F[A])

Attributes

Companion
object
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
Self type
FieldK[F, A]
object FieldK

Attributes

Companion
class
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
FieldK.type
object IField

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
IField.type
object Type

Attributes

Companion
trait
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
Type.type
sealed trait Type[+A] extends TypeExpr

Attributes

Companion
object
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
Self type
Type[A]
sealed trait TypeExpr

Attributes

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
Self type

Inherited classlikes

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

Types

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