Goal

morphir.knowledge.logic.core.Goal
See theGoal companion trait
object Goal

Attributes

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

Members list

Value members

Concrete methods

def and(g1: Goal, g2: Goal): Goal
def constraint(constrainedFields: List[Field[_]], constraint: FieldConstraint): Goal
def equal[A, B](a: A, b: B): Goal
def or(g1: Goal, g2: Goal): Goal

Concrete fields

val fail: Goal
val succeed: Goal