morphir-toolkit-core
API
Generated with
morphir-toolkit-core/org.finos.morphir/org.finos.morphir.ir/TypeModule/Type/ExtensibleRecord

ExtensibleRecord

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

Attributes

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

Members list

Value members

Inherited methods

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

Attributes

Inherited from:
Type
def collectReferences: Set[FQName]

Attributes

Inherited from:
Type
def collectVariables: Set[Name]

Attributes

Inherited from:
Type
def eraseAttributes: UType

Erase the attributes from this type.

Erase the attributes from this type.

Attributes

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

Attributes

Inherited from:
Type
def fieldCount: Int

Attributes

Inherited from:
Type
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, Chunk[Field[Z]]) => Z, functionCase0: (A, Z, Z) => Z, recordCase0: (A, Chunk[Field[Z]]) => Z, referenceCase0: (A, FQName, Chunk[Z]) => Z, tupleCase0: (A, Chunk[Z]) => Z): Z

Attributes

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

Attributes

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

Attributes

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

Attributes

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

An alias for map.

An alias for map.

Attributes

Inherited from:
Type
final def mapReferenceName(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
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
final def size: Int

Attributes

Inherited from:
Type
final 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
def write[Context](context: Context)(writer: TypeWriter[Context, A]): Unit

Attributes

Inherited from:
Type
def writeZIO[Context : Tag](writer: TypeWriter[Context, A]): ZIO[Context, Throwable, Unit]

Attributes

Inherited from:
Type
Generated with