Condition

works.iterative.forms.Condition
See theCondition companion trait
object Condition

Attributes

Companion
trait
Graph
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
Condition.type

Members list

Type members

Classlikes

case class AllOf(conditions: Condition*) extends Condition

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Condition
class Object
trait Matchable
class Any
Show all
case object Always extends Condition

Attributes

Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait Condition
class Object
trait Matchable
class Any
Show all
Self type
Always.type
case class AnyOf(conditions: Condition*) extends Condition

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Condition
class Object
trait Matchable
class Any
Show all
case class IsEqual(idp: String, value: String) extends Condition

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Condition
class Object
trait Matchable
class Any
Show all
case class IsValid(idp: String) extends Condition

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Condition
class Object
trait Matchable
class Any
Show all
case object Never extends Condition

Attributes

Supertypes
trait Singleton
trait Product
trait Mirror
trait Serializable
trait Product
trait Equals
trait Condition
class Object
trait Matchable
class Any
Show all
Self type
Never.type
case class NonEmpty(idp: String) extends Condition

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Condition
class Object
trait Matchable
class Any
Show all
case class References(values: Set[AbsolutePath], validity: Set[AbsolutePath])

The state a condition reads, resolved against base — reactive wrappers subscribe to exactly these paths and eval over the snapshot.

The state a condition reads, resolved against base — reactive wrappers subscribe to exactly these paths and eval over the snapshot.

Attributes

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

Inherited and Abstract types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Attributes

Inherited from:
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Attributes

Inherited from:
Mirror

Value members

Concrete methods

def eval(condition: Condition, base: AbsolutePath, values: AbsolutePath => Option[String], isValid: AbsolutePath => Boolean): Boolean

The one normative evaluation shared by every walker. Ids resolve against base (leading dot = absolute); values reads field state; isValid supplies field validity for IsValid — callers evaluating without validation state (e.g. while computing it) pass alwaysValid. NonEmpty treats blank strings as empty; empty combinators are total (AnyOf() = false, AllOf() = true).

The one normative evaluation shared by every walker. Ids resolve against base (leading dot = absolute); values reads field state; isValid supplies field validity for IsValid — callers evaluating without validation state (e.g. while computing it) pass alwaysValid. NonEmpty treats blank strings as empty; empty combinators are total (AnyOf() = false, AllOf() = true).

Attributes

def references(condition: Condition, base: AbsolutePath): References

Concrete fields

val alwaysValid: AbsolutePath => Boolean