Fields

morphir.knowledge.logic.core.Fields
See theFields companion object
final case class Fields(bindings: Map[Field[_], Value])

Attributes

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

Members list

Value members

Concrete methods

def associateWithFields(selected: List[Field[_]])(bindWith: Field[_] => Value): Map[Field[_], Value]
def dynamicValueOf(value: Value): Value
def fields: Set[Field[_]]
def hasValue[A : ClassTag](field: Field[A]): Boolean
def keys: Set[Field[_]]
def valueOf[A : ClassTag](field: Field[A]): Option[A]

Look up the value of a field in the bindings. NOTE: In minikanren/microkanren, this is called walk or find.

Look up the value of a field in the bindings. NOTE: In minikanren/microkanren, this is called walk or find.

Attributes

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product