org.finos.morphir.universe.ir
Members list
Type members
Classlikes
Attributes
- Companion
- object
- Supertypes
-
trait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass AnyShow all
- Self type
Attributes
- Companion
- class
- Supertypes
-
trait Producttrait Mirrorclass Objecttrait Matchableclass Any
- Self type
-
AccessControlled.type
Attributes
- Companion
- object
- Supertypes
-
trait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass AnyShow all
Attributes
- Companion
- class
- Supertypes
-
trait Producttrait Mirrorclass Objecttrait Matchableclass Any
- Self type
-
Documented.type
Attributes
- Companion
- object
- Supertypes
-
trait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass AnyShow all
Attributes
- Companion
- object
- Supertypes
-
trait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass AnyShow all
Attributes
- Companion
- class
- Supertypes
-
trait Producttrait Mirrorclass Objecttrait Matchableclass Any
- Self type
-
FQNameInfo.type
Attributes
- Companion
- object
- Supertypes
-
trait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass AnyShow all
Attributes
- Companion
- class
- Supertypes
-
trait Producttrait Mirrorclass Objecttrait Matchableclass Any
- Self type
-
FQNamingOptions.type
Attributes
- Supertypes
-
class Objecttrait Matchableclass Any
- Known subtypes
-
object Integer.type
Attributes
- Companion
- object
- Supertypes
-
trait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass AnyShow all
- Known subtypes
-
class BoolLiteralclass CharLiteralclass DecimalLiteralclass FloatLiteralclass StringLiteralclass WholeNumberLiteralShow all
Attributes
- Supertypes
- Self type
-
ModuleName.type
Attributes
- Companion
- object
- Supertypes
-
trait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass AnyShow all
Attributes
- Companion
- class
- Supertypes
-
trait Producttrait Mirrorclass Objecttrait Matchableclass Any
- Self type
-
ModuleNamingContext.type
Attributes
- Supertypes
- Self type
-
ModulePath.type
Represents a path in the IR. ==Overview== A NodeID can have two slightly different structures depending on if we are refering to modules or definitions (types/values).
Represents a path in the IR. ==Overview== A NodeID can have two slightly different structures depending on if we are refering to modules or definitions (types/values).
- When refefering to modules:
"module:<Package>:<Module>"
- When refering to definitions:
"type\value:<Package>:<Module><localName>#<nodePath>"
, where nodePath is optional
Examples of valid NodeIDs:
- "module:Morphir.Reference.Model:BooksAndRecords"
- "type:Morphir.Reference.Model:BooksAndRecords:deal"
- "value:Morphir.Reference.Model:BooksAndRecords:deal#1"
==Referring to modules== We can refer to modules by their Qualified Name, with the module: prefix
For example: "module:Morphir.Reference.Model:BooksAndRecords"
refers to the Books and Records
module inside the Morphir.Reference.Model
package.
Attributes
- Companion
- object
- Supertypes
-
trait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass AnyShow all
- Known subtypes
- Self type
Attributes
- Supertypes
-
class Objecttrait Matchableclass AnyShow all
- Self type
-
NodePath.type
Attributes
- Companion
- trait
- Supertypes
-
trait Sumtrait Mirrorclass Objecttrait Matchableclass Any
- Self type
-
NodePathStep.type
Attributes
- Companion
- object
- Supertypes
-
class Objecttrait Matchableclass Any
- Known subtypes
-
class ChildByIndexclass ChildByName
Attributes
- Supertypes
-
class Objecttrait Matchableclass Any
- Known subtypes
-
trait TypeTagobject ExtensibleRecord.typeobject Function.typeobject Record.typeobject Reference.typeobject Tuple.typeobject Unit.typeobject Variable.typetrait ValueTagobject Apply.typeobject Constructor.typeobject Destructure.typeobject Field.typeobject FieldFunction.typeobject IfThenElse.typeobject Lambda.typeobject LetDefinition.typeobject LetRecursion.typeobject List.typeobject Literal.typeobject PatternMatch.typeobject Record.typeobject Reference.typeobject Tuple.typeobject Unit.typeobject UpdateRecord.typeShow all
Attributes
- Supertypes
- Self type
-
PackageName.type
Attributes
- Companion
- object
- Supertypes
-
trait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass AnyShow all
Attributes
- Companion
- class
- Supertypes
-
trait Producttrait Mirrorclass Objecttrait Matchableclass Any
- Self type
-
PackageNamingContext.type
Attributes
- Companion
- object
- Supertypes
-
class Objecttrait Matchableclass Any
- Known subtypes
-
class AsPattern[A]class ConstructorPattern[A]class EmptyListPattern[A]class HeadTailPattern[A]class LiteralPattern[A]class TuplePattern[A]class UnitPattern[A]class WildcardPattern[A]Show all
Attributes
- Companion
- object
- Supertypes
-
trait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass AnyShow all
A qualified module name is a globally unique identifier for a module. It is represented by the combination of a package name and the module name
A qualified module name is a globally unique identifier for a module. It is represented by the combination of a package name and the module name
Attributes
- Companion
- object
- Supertypes
-
trait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass AnyShow all
Attributes
- Companion
- class
- Supertypes
-
trait Producttrait Mirrorclass Objecttrait Matchableclass Any
- Self type
-
QualifiedModuleName.type
Attributes
- Supertypes
- Self type
-
RawTypeInfo.type
Attributes
- Supertypes
-
trait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass AnyShow all
Attributes
- Companion
- object
- Supertypes
-
trait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass AnyShow all
Attributes
- Companion
- class
- Supertypes
-
trait Producttrait Mirrorclass Objecttrait Matchableclass Any
- Self type
-
TypeConstructorArg.type
Attributes
- Companion
- object
- Supertypes
-
trait Serializabletrait Producttrait Equalsclass AnyValtrait Matchableclass AnyShow all
- Self type
Attributes
- Companion
- class
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
TypeConstructorArgs.type
Attributes
- Companion
- object
- Supertypes
-
trait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass AnyShow all
Attributes
- Companion
- class
- Supertypes
-
trait Producttrait Mirrorclass Objecttrait Matchableclass Any
- Self type
-
TypeConstructors.type
Attributes
- Companion
- object
- Supertypes
-
class Objecttrait Matchableclass Any
- Known subtypes
-
class CustomTypeDefinition[A]class TypeAliasDefinition[A]
- Self type
Attributes
- Companion
- trait
- Supertypes
-
trait Sumtrait Mirrorclass Objecttrait Matchableclass Any
- Self type
-
TypeDefinition.type
Attributes
- Companion
- object
- Supertypes
-
trait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass AnyShow all
Attributes
- Companion
- object
- Supertypes
-
class Objecttrait Matchableclass Any
- Known subtypes
-
class CustomTypeSpecification[A]class DerivedTypeSpecification[A]class OpaqueTypeSpecificationclass TypeAliasSpecification[A]
- Self type
Attributes
- Companion
- trait
- Supertypes
-
trait Sumtrait Mirrorclass Objecttrait Matchableclass Any
- Self type
-
TypeSpecification.type
Attributes
- Companion
- object
- Supertypes
-
class Objecttrait Matchableclass Any
- Known subtypes
-
class Constructor[VA]class FieldFunction[VA]class Literal[VA]class Reference[VA]class Unit[VA]class Variable[VA]Show all
Attributes
- Companion
- object
- Supertypes
-
trait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass AnyShow all
Attributes
- Companion
- class
- Supertypes
-
trait Producttrait Mirrorclass Objecttrait Matchableclass Any
- Self type
-
ValueDefinition.type
Attributes
- Companion
- object
- Supertypes
-
trait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass AnyShow all
- Self type
Attributes
- Companion
- class
- Supertypes
-
trait Producttrait Mirrorclass Objecttrait Matchableclass Any
- Self type
-
ValueSpecification.type
Attributes
- Companion
- object
- Supertypes
- Known subtypes
-
object Apply.typeobject Constructor.typeobject Destructure.typeobject Field.typeobject FieldFunction.typeobject IfThenElse.typeobject Lambda.typeobject LetDefinition.typeobject LetRecursion.typeobject List.typeobject Literal.typeobject PatternMatch.typeobject Record.typeobject Reference.typeobject Tuple.typeobject Unit.typeobject UpdateRecord.typeShow all
Types
A module name is a unique identifier for a module within a package. It is represented by a pth, which is a list of names.
A module name is a unique identifier for a module within a package. It is represented by a pth, which is a list of names.
Attributes
A package name is a globally unique identifier for a package. It is represented by a Path
which is a list of names.
A package name is a globally unique identifier for a package. It is represented by a Path
which is a list of names.