Morphir.Value.Interpreter

This module contains an interpreter for Morphir expressions. The interpreter takes a piece of logic as input, evaluates it and returns the resulting data. In Morphir both logic and data is captured as a Value so the interpreter takes a Value and returns a Value (or an error for invalid expressions):

evaluate : Dict FQN Reference -> Value () () -> Result Error (Value () ())

Evaluates a value expression and returns another value expression or an error. You can also pass in other values by fully-qualified name that will be used for lookup if the expression contains references.

evaluate
    SDK.nativeFunctions
    (Value.Apply ()
        (Value.Reference () (fqn "Morphir.SDK" "Basics" "not"))
        (Value.Literal () (BoolLiteral True))
    )
    -- (Value.Literal () (BoolLiteral False))

evaluateValue :

Dict FQN Reference

-> Variables

-> List (Value () ())

-> Value () ()

-> Result Error (Value () ())

Evaluates a value expression recursively in a single pass while keeping track of variables and arguments along the evaluation.

referencesForDistribution : Distribution -> Dict FQN Reference

Translate a distribution into references that can be fed into the interpreter to be used during evaluation.

Utilities

type alias FQN =

( Path, Path, Name )

Represents a fully-qualified name. Same as FQName but comparable.

type Reference

= NativeReference Function

| ValueReference (Value () ())

Reference to an other value. The other value can either be another Morphir Value or a native function.

finos/morphir-elm/8.0.1

Morphir.Value.Interpreter

Utilities

Modules