morphir-ir
API
Generated with
morphir-ir/morphir/morphir.ir/Type/Type/ExtensibleRecord

ExtensibleRecord

morphir.ir.Type.Type.ExtensibleRecord
final case class ExtensibleRecord[A](arg1: A, arg2: Name, arg3: List[Field[A]]) extends Type[A]

Attributes

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

Members list

Value members

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with