morphir
API
Generated with
morphir/org.finos.morphir/org.finos.morphir.universe/org.finos.morphir.universe.ir/Type/ExtensibleRecord

ExtensibleRecord

org.finos.morphir.universe.ir.Type.ExtensibleRecord
See theExtensibleRecord companion object
sealed case class ExtensibleRecord[+A](attributes: A, name: Name, fields: List[FieldT[A]]) extends Type[A]

Attributes

Companion
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Type[A]
trait TypeExpr
class Object
trait Matchable
class Any
Show all

Members list

Type members

Inherited types

type AttributesType <: A

Attributes

Inherited from:
Type

Value members

Concrete methods

override def tag: Int

Attributes

Definition Classes

Inherited methods

def ??(doc: String): Documented[Type[A]]

Attributes

Inherited from:
Type
final def collectReferences: Set[FQName]

Attributes

Inherited from:
Type
final def collectVariables: Set[Name]

Attributes

Inherited from:
Type
final def eraseAttributes: UType

Attributes

Inherited from:
Type
final def exists(f: PartialFunction[Type[A], Any]): Boolean

Attributes

Inherited from:
Type
final def find[Z](f: PartialFunction[Type[A], Z]): Option[Z]

Attributes

Inherited from:
Type
def findAll[Z](f: PartialFunction[Type[A], Z]): List[Z]

Attributes

Inherited from:
Type
def fold[Z](unitCase0: A => Z, variableCase0: (A, Name) => Z, extensibleRecordCase0: (A, Name, List[Field[Z]]) => Z, functionCase0: (A, Z, Z) => Z, recordCase0: (A, List[Field[Z]]) => Z, referenceCase0: (A, FQName, List[Z]) => Z, tupleCase0: (A, List[Z]) => Z): Z

Attributes

Inherited from:
Type
def fold[A1 >: A](z: A1)(f: (A1, A1) => A1): A1

Attributes

Inherited from:
Type
final def foldContext[C, A1 >: A, Z](context: C)(folder: TypeFolder[C, A1, Z]): Z

Attributes

Inherited from:
Type
final def foldDown[Z](z: Z)(f: (Z, Type[A]) => Z): Z

Attributes

Inherited from:
Type
final def foldDownSome[Z](z: Z)(f: PartialFunction[(Z, Type[A]), Z]): Z

Attributes

Inherited from:
Type
final def foldLeft[Z](z: Z)(f: (Z, A) => Z): Z

Attributes

Inherited from:
Type
final def foldLeftSome[Z](z: Z)(f: PartialFunction[(Z, A), Z]): Z

Attributes

Inherited from:
Type
final def foldRight[Z](z: Z)(f: (A, Z) => Z): Z

Attributes

Inherited from:
Type
final def foldUp[Z](z: Z)(f: (Type[A], Z) => Z): Z

Attributes

Inherited from:
Type
final def foldUpSome[Z](z: Z)(f: PartialFunction[(Type[A], Z), Z]): Z

Attributes

Inherited from:
Type
final def isIntrinsic: Boolean

Attributes

Inherited from:
Type
final def isReference: Boolean

Attributes

Inherited from:
Type
final def map[B](f: A => B): Type[B]

Attributes

Inherited from:
Type
def mapAttributes[B](f: A => B): Type[B]

Attributes

Inherited from:
Type
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
final def satisfies(check: PartialFunction[Type[A], Boolean]): Boolean

Attributes

Inherited from:
Type
override def toString: String

Returns a string representation of the object.

Returns a string representation of the object.

The default representation is platform dependent.

Attributes

Returns

a string representation of the object.

Definition Classes
Type -> Any
Inherited from:
Type
final def transformReferenceName(f: FQName => FQName): Type[A]

Uses the specified function to map the FQName of any type references to another FQName.

Uses the specified function to map the FQName of any type references to another FQName.

Attributes

Inherited from:
Type

Inherited fields

lazy val fieldCount: Int

Attributes

Inherited from:
Type
lazy val size: Long

Attributes

Inherited from:
Type
Generated with