EvaluationEngine

org.finos.morphir.runtime.EvaluationEngine$
See theEvaluationEngine companion class

Attributes

Companion
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Type members

Classlikes

final case class Context[+TA, +VA](parent: Option[Context[TA, VA]], variables: Variables)

Attributes

Companion
object
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
Self type
Context[TA, VA]
object Context

Attributes

Companion
class
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
Context.type
object Var extends Newtype[Name]

Attributes

Supertypes
class Newtype[Name]
class NewtypeCustom[Name]
class Object
trait Matchable
class Any
Self type
Var.type
final case class VarBinding(variable: Var, value: Any)

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object VarValue

Attributes

Companion
trait
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
VarValue.type
sealed trait VarValue

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Resolved
Self type
final case class Variables(bindings: Map[Var, VarValue])

Attributes

Companion
object
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
Self type
object Variables

Attributes

Companion
class
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
Variables.type

Types

type EvalResult = Any
type Var = Type

Value members

Concrete methods

def evaluate[TA : Tag, VA : Tag](value: Value[TA, VA]): ZStep[EvaluationEngine[TA, VA], TA, VA, EvalResult]

Evaluate a value in the context of the given evaluation engine.

Evaluate a value in the context of the given evaluation engine.

Attributes

def evaluateZIO[TA : Tag, VA : Tag](value: Value[TA, VA]): ZIO[EvaluationEngine[TA, VA] & Context[TA, VA], EvaluationError, EvalResult]
def evaluateZIO[TA : Tag, VA : Tag](value: Value[TA, VA], context: Context[TA, VA]): ZIO[EvaluationEngine[TA, VA], EvaluationError, EvalResult]
def typed: EvaluationEngine[Unit, UType]