morphir
morphir
API
org.finos.morphir
codec
BinaryCodec
BinaryCodec
Codec
DecodeError
DecodeError
And
Or
ReadError
Decoder
Encoder
codecs
Writer
Writer
core.capabilities
free
Free
Free
Eval
Executable
Fail
Interpreter
Sequence
Succeed
UnsafeInterpreter
Show
Show
ShowOps
Zippable
Zippable
ZippableLowPriority1
ZippableLowPriority2
ZippableLowPriority3
datamodel
Attributes
Attributes
Binding
BasicDataType
BasicDataType
Boolean
Byte
Decimal
Int16
Int32
Integer
LocalDate
String
Concept
Concept
Alias
Any
Basic
Basic
Boolean
Byte
Char
Collector
DayOfWeek
Decimal
Enum
Enum
Case
Case
Float
Int16
Int32
Int64
Integer
List
LocalDate
LocalTime
Map
Month
Nothing
Optional
Order
Record
Record
Result
Set
String
Struct
Struct
Tuple
Union
Unit
ConceptId
ConceptId
ConceptStatefulTransformer
Stateful
ConceptTag
CustomDeriver
CustomDeriver
Data
Data
Aliased
Basic
Boolean
Boolean
Byte
Byte
Case
Case
Char
Char
DayOfWeek
DayOfWeek
Decimal
Decimal
Float
Int16
Int16
Int32
Int32
Int64
Integer
Integer
List
List
LocalDate
LocalDate
LocalTime
LocalTime
Map
Map
Month
Month
Optional
None
None
Some
Some
Optional
Order
Order
Record
Record
Result
Err
Err
Ok
Ok
Result
Set
Set
String
String
Struct
Struct
Tuple
Tuple
Union
Unit
DataDecoder
DataDecoder
DecodingError
DecodingError
InvalidConversion
DataEncoder
DataEncoder
Deriver
Deriver
DeriverInstances
DeriverMacros
DeriverTypes
EnumLabel
EnumLabel
Empty
Named
EnumTranslation
EnumTranslation
MutiFieldConstructor
SingleFieldWithRecord
GenericProductDeriver
GenericProductDeriver
GenericSumDeriver
GenericSumDeriver
GlobalDatamodelContext
HasId
Label
PrintSpec
FQNameExt
HeadingPrint
AllHeadings
JustFileSeparators
None
HeadingPrint
QualifiedModuleNameExt
QualifiedNameCollector
QualifiedNameCollector
Schema
Schema
Primitive
SingleEnumWrapper
SumBuilder
EnumProduct
EnumSingleton
EnumVariant
SumType
Enum
SumType
SumVariant
Variant
TypeDatamodelContext
UnionType
UnionType
Enum
Sum
UnitEnumWrapper
Util
EnumLabelHelper
LabelHelper
QualifiedNameHelper
conceptual
ArrayVisitor
Ctx
Printer
RecordVisitor
Visitor
extensibility
ExtensionsModule
ExtensionFunction
ExtensionFunction
ExtensionMember
ExtensionModule
ExtensionNode
RuntimeExtension
MorphirModule
NativeModule
SdkModule
SdkModuleDescriptor
UserModule
functional
Bijection
Bijection
Id
IsNotCovariant
IsNotCovariant
Newtype
Newtype
TypeTagging
internal
syntax
TypeCreationSyntax
AllMiscModules
AllTypeLevelModules
TypeDefModule
TypeDefinition
CustomTypeDefinition
TypeAliasDefinition
TypeDefinition
TypeInfoModule
GenericTypeInfo
Full
TypeAndSpec
TypeOnly
GenericTypeInfo
TypeInfo
Full
TypeAndSpec
TypeOnly
TypeOfModule
TypeOf
TypeOf
TypeOfModuleVersionSpecific
TypeOfCompanionVersionSpecific
TypeSpecModule
TypeConstructor
TypeConstructorArg
TypeConstructorArg
TypeConstructorArgs
TypeConstructorArgs
TypeConstructors
TypeConstructors
TypeSpecification
CustomTypeSpecification
DerivedTypeSpecification
OpaqueTypeSpecification
Properties
CustomType
DerivedType
OpaqueType
TypeAlias
Properties
TypeAliasSpecification
TypeSpecification
ir
conversion
ToMorphirType
ToMorphirType
SummonPartiallyApplied
ToMorphirTypeOps
ToMorphirTypedValueInstances
ToMorphirTypedValueInstancesLowPriority
ToMorphirValue
ToMorphirValue
SummonPartiallyApplied
ToMorphirValueFunctions
ToMorphirValueOps
distribution
Distribution
Distribution
Bundle
Lib
Library
DistributionModule
DistributionModule
dsl
attributed
utype
internal
NonEmptyStringValidator
Pattern
PatternModule
PatternModule
MapPatternAttributesPartiallyApplied
Transform
Transform
TransformType
TransformValue
Value
Value
Apply
Apply
Raw
Typed
Constructor
Constructor
Raw
Typed
Destructure
Destructure
Raw
Typed
Field
Field
Raw
Typed
FieldFunction
FieldFunction
Raw
Typed
Folder
CollectReferences
CollectVariables
DelegatedFolder
ToString
Folder
IfThenElse
IfThenElse
Raw
Typed
Lambda
Lambda
Raw
Typed
LetDefinition
LetDefinition
Raw
Typed
Unbound
LetRecursion
LetRecursion
Raw
Typed
List
List
Raw
Typed
Literal
Literal
Raw
Typed
PatternMatch
PatternMatch
Raw
Typed
Record
Record
Builder
Builder
Raw
Reference
Reference
Raw
Typed
StringExtensions
Tuple
Tuple
Raw
Typed
Unit
Unit
Raw
Typed
UpdateRecord
UpdateRecord
Raw
Typed
Variable
Variable
Raw
Typed
types
NonEmptyString
io
TypeWriter
module
Definition
Definition
ModuleModule
ModuleModule
ModuleSpecFor
ModuleSpecFor
Specification
Specification
Raw
packages
Definition
Definition
Typed
PackageModule
PackageModule
Specification
Specification
Raw
printing
DetailLevel
DetailLevel
BirdsEye
Detailed
Medium
FQNameView
FQNameView
Full
LocalOnly
ModuleLocal
FieldNames
PrintIR
PrintIR
AstNode
sdk
Aggregate
Basics
Char
Common
VSpec
Decimal
Dict
Int
Key
List
LocalDate
LocalTime
Maybe
MorphirIRSdkModule
VSpec
Number
Regex
Result
ResultList
Rule
Set
StatefulApp
String
Tuple
source
Located
Location
Location
Region
Region
Attributed
Distribution
InferredTypeOf
InferredTypeOf
IsNotAValue
IsNotAValue
Literal
Literal
BoolLiteral
CharLiteral
DecimalLiteral
FloatLiteral
LiteralInterpolator
StringLiteral
WholeNumberLiteral
Literal
Module
MorphirIRFile
MorphirIRVersion
MorphirIRVersion
V1_0
V2_0
V3_0
Named
Named
NeedAttributesLowerPriority
NeedsAttributes
NeedsAttributes
PackageModule
ParserError
Source
StringContextOps
StringOps
Type
TypeModule
Constructors
Constructors
Definition
CustomType
DefinitionExtensions
TypeAlias
Definition
MorphirTypeModule
Specification
CustomTypeSpecification
CustomTypeSpecification
MapSpecificationAttributes
OpaqueTypeSpecification
OpaqueTypeSpecification
TypeAliasSpecification
Specification
Value
FieldsPartiallyApplied
FunctionDefInputsClause
FunctionSignature
RawValueExtensions
RecordPartiallyApplied
TypedValue
ValueDefClause
lang.elm
semver
Constraint
Constraint
Interval
Interval
Closed
Open
Unbounded
Range
Range
Relation
Relation
Disjoint
Equal
Overlapping
Subset
Superset
Strictness
Strictness
Exact
Safe
Unsafe
Version
Version
AppDependencies
ElmPackage
ElmPackage
ElmPackageName
ElmPackageName
ElmProject
ElmProject
Application
Package
Exposed
Exposed
Plain
Plain
Structured
Structured
Range
model
MorphirProject
MorphirProject
runtime
internal
CallStackFrame
DynamicNativeFunction
DynamicNativeFunction1
DynamicNativeFunction1
DynamicNativeFunction2
DynamicNativeFunction2
DynamicNativeFunction3
DynamicNativeFunction3
DynamicNativeFunction4
DynamicNativeFunction4
DynamicNativeFunction5
DynamicNativeFunction5
DynamicNativeFunction6
DynamicNativeFunction6
InvokeableEvaluator
NativeContext
NativeFunctionAdapter
NativeFunctionAdapter
Fun1
Fun2
Fun3
Fun4
Fun5
Fun6
NativeFunctionSignature
NativeFunctionSignature
Fun1
Fun2
Fun3
Fun4
Fun5
Fun6
NativeFunctionSignatureAdv
NativeFunctionSignatureAdv
Fun1
Fun2
Fun3
Fun4
Fun5
Fun6
NumericFunction1
NumericFunction1
NumericFunction2
NumericFunction2
NumericFunction3
NumericFunction3
NumericHelpers
StoredValue
StoredValue
Eager
Lazy
sdk
BasicsSDK
CharSDK
DecimalSDK
DictSDK
ListSDK
LocalDateSDK
LocalTimeSDK
MaybeSDK
ResultSDK
SetSDK
StringSDK
services
kernel
Kernel
Kernel
KernelLive
MorphirKernel
sdk
MorphirSdk
MorphirSdk
CodeLocation
CodeLocation
AnonymousFunction
AnonymousFunction
EntryPoint
NativeFunction
TopLevelFunction
Coercer
Coercer
EnableTyper
EnableTyper
Disabled
Enabled
Warn
ErrorUtils
ErrorInterpolator
MorphirRuntimeError
MorphirRuntimeError
ConstructorNotFound
DefinitionNotFound
EvaluationError
ExternalError
FailedCoercion
IllegalValue
InvalidState
LookupError
MissingDefinition
MissingModule
MissingPackage
MissingType
LookupError
MissingField
MorphirIRDecodingError
NotImplemented
OtherError
RTValueToMDMError
MissingField
ResultTypeMismatch
RTValueToMDMError
TopLevelError
TypeError
ApplyToNonFunction
ArgNumberMismatch
CannotDealias
ImproperType
ImproperTypeDef
ImproperTypeSpec
InferenceConflict
LiteralTypeMismatch
ManyTypeErrors
OtherTypeError
SizeMismatch
TypeHasExtraField
TypeLacksField
TypesMismatch
UnknownTypeMismatch
UnsupportedType
ValueHasExtraField
ValueLacksField
TypeError
UnexpectedType
UnexpectedTypeWithIR
UnmatchedPattern
UnsupportedType
UnsupportedTypeDefinition
UnsupportedTypeSpecification
VariableAccessError
VariableNotFound
WrongArgumentTypes
WrongNumberOfArguments
NativeSDK
Morphir
SDK
Basics
Char
Decimal
Dict
List
LocalDate
LocalTime
Maybe
Result
Set
String
RTExecutionContext
RTExecutionContext
Options
Options
RTValue
RTValue
Applied
Comparable
Comparable
ConstructorFunction
ConstructorResult
DayOfWeek
DefinitionFunction
FieldFunction
Function
LambdaFunction
List
LocalDate
LocalTime
Map
Month
NativeFunction
NativeFunctionResult
NativeInnerFunction
NumericWithHelper
NumericsWithHelper
Order
Primitive
BigDecimal
Boolean
Char
DecimalBounded
Float
Int
Int
Numeric
Type
BigDecimal
Float
Int
Type
Numeric
String
Primitive
Record
Set
Tuple
Tuple
Unit
ValueResult
ResultOp
SDKConstructor
SDKValue
SDKValue
SDKNativeFunction
SDKNativeFunction
SDKNativeInnerFunction
SDKNativeValue
SDKValueDefinition
environment
MorphirEnv
exports
syntax
AllSyntax
NamingSyntax
NamingSyntax
all
universe
ir
AccessControlled
AccessControlled
Access
Private
Public
Access
WithPrivateAccess
WithPublicAccess
Documented
Documented
FQNameInfo
FQNameInfo
Field
Field
Attributed
FieldOfType
Untyped
FieldK
FieldT
HasFQNameInfo
IsNotAType
IsNotAType
Literal
Literal
Literal
BoolLiteral
CharLiteral
DecimalLiteral
FloatLiteral
StringLiteral
WholeNumberLiteral
NoOpTypeVisitor
NodeTag
Pattern
Pattern
AsPattern
ConstructorPattern
EmptyListPattern
HeadTailPattern
LiteralPattern
TuplePattern
UnitPattern
WildcardPattern
RawType
RawTypeInfo
Type
Type
Attributes
ExtensibleRecord
ExtensibleRecord
ForEachZIO
Function
MapTypeAttributes
Record
Record
Reference
Reference
Tuple
Tuple
UTypeExtensions
Unit
Variable
Variable
TypeConstructor
TypeConstructorArg
TypeConstructorArg
TypeConstructorArgs
TypeConstructorArgs
TypeConstructors
TypeConstructors
TypeDefinition
TypeDefinition
CustomTypeDefinition
TypeAliasDefinition
TypeExpr
TypeFolder
TypeFolder
ToString
TypeInfo
TypeInfo
TypeDef
TypeExpr
TypeSpec
TypeMapReferenceName
TypeRewritingFolder
TypeSpec
TypeSpec
CustomType
DerivedType
OpaqueType
TypeAlias
TypeSpecification
TypeSpecification
CustomTypeSpecification
DerivedTypeSpecification
OpaqueTypeSpecification
Properties
CustomType
DerivedType
OpaqueType
TypeAlias
Properties
TypeAliasSpecification
TypeTag
TypeTag
ExtensibleRecord
Function
Record
Reference
Tuple
Unit
Variable
TypeVisitor
TypeVisitor
TypeVisitorUsage
Value
Value
Apply
Constructor
Destructure
Field
FieldFunction
IfThenElse
Lambda
LetDefinition
LetRecursion
List
Literal
PatternMatch
Record
Reference
Tuple
Unit
UpdateRecord
Variable
ValueDefinition
ValueDefinition
Parameter
Parameter
ValueSpecification
ValueSpecification
Parameter
Parameter
ValueTag
ValueTag
Apply
Constructor
Destructure
Field
FieldFunction
IfThenElse
Lambda
LetDefinition
LetRecursion
List
Literal
PatternMatch
Record
Reference
Tuple
Unit
UpdateRecord
ConceptId
ConceptId
Member
HasConceptId
MorphirExpr
MorphirNumber
MorphirNumber
MorphirType
MorphirType
ExternalTypeSpec
IntrinsicTypeDef
IntrinsicTypeSpec
TypeDef
TypeSpec
MorphirTypeTag
MorphirTypeTag
NumericExpr
ParserError
modules
sdk
Basics
Add
Subtract
util
attribs
Attribute
Attribute
Binding
AttributeValue
AttributeValue
AttributeValueChangingInterceptor
AttributeValueChangingInterceptor
Attributes
Attributes
Compare
Ancestry
Diff
Leaf
Leaf
Leaf2
MissingLeft
MissingRight
Object
Sequence
Set
WithFieldExt
Diff
MatchAncestry
FieldNames
FieldNames
Hide
Show
PrintDiff
PrintIR
ConceptPrintOpts
DataPrintOpts
PrintConcept
PrintData
TreeOpts
PrintMDM
DetailLevel
BirdsEye
BirdsEye2
BirdsEye3
Detailed
Medium
DetailLevel
PrintRTValue
DetailLevel
BirdsEye
Detailed
Medium
DetailLevel
PrintRTValue
PrintRTInner
RTPrintOpts
TreeOpts
Printer
Printer
Renderer
Text
Run
Group
Section
Text
given_Printer_Boolean
given_Printer_Int
given_Printer_String
ScopedVar
ScopedVar
Assignment
Unitialized
ShowBuilder
ShowBuilder
FileShowBuilder
InMemoryShowBuilder
UnreachableException
UnsupportedException
=!=
=!=
Dsl
Dumper
Dumper
Formatter
Formatter
Repr
Boolean
Byte
Char
Constructor
Constructor
Double
Float
Int
KeyValue
Long
Object
Short
String
VConstructor
Repr
DumperSyntax
DumperInterpolator
DumperOps
DumperVersionSpecific
FQNameModule
FQName
FQName
ReferenceName
FQNameParsingError
Hints
Hints
Impl
IR
IR
LookupTypeConstructor
LookupTypeSpecification
TypeConstructorInfo
Int16
Int16Ops
Int8
Int8Ops
MBool
MBool
MData
MFloat
MFloat
MInt
MInt
MInt16
MInt32
MInt64
MInt8
MPrimitive
MString
MString
MUnit
MValue
MValue
PrimitiveFlags
PrimitiveFlags
Value
ModuleDescriptor
ModuleDescriptor
ModuleNameModule
ModuleName
ModuleName
MorphirFloat
MorphirFloatSyntax
MorphirInt
MorphirIntSyntax
MorphirInt32
MorphirInt64
MorphirTag
MorphirTag
Companion
Has
NameModule
Name
Name
VariableName
NameRenderer
CamelCase
KebabCase
SnakeCase
TitleCase
NameRenderer
Names
NamespaceModule
Namespace
Namespace
NamespaceRenderer
NamespaceRenderer
NamingOptionsModule
FQNamingOptions
FQNamingOptions
NodeIDModule
HasId
NodeID
Error
Error
InvalidNodeId
InvalidNodeId
InvalidPath
ModuleID
ModuleID
TypeID
ValueID
NodeID
NodePath
NodePath
NodePathStep
ChildByIndex
ChildByName
NodePathStep
Not
Not
PackageNameModule
PackageName
PackageName
PathModule
Path
Path
PathRenderer
PathRenderer
QNameModule
QName
QName
QualifiedModuleNameModule
QualifiedModuleName
QualifiedModuleName
AsTuple
QualifiedModuleNameParsingError
ZValidationOps
mir
naming
NamingHelper
PackageNameSyntax
QualifiedModuleNameSyntax
utils
morphir.ir
AccessControlled
AccessControlled
helpers
WithAccessPartiallyApplied
Decoration
Name
morphir
/
org.finos.morphir
/
org.finos.morphir.ir
/
org.finos.morphir.ir.io
org.finos.morphir.ir.io
package
org.finos.morphir.ir.io
Members list
Clear all
Type members
Classlikes
trait
TypeWriter
[
-
Context
,
-
Attribs
]
Attributes
Supertypes
class
Object
trait
Matchable
class
Any
In this article
Members list
Type members
Classlikes