Invariant

interface Invariant<ID, V : Value<ID, V, S>, S : State<ID, V, S>>

Represents an invariant that must hold true for a value in a particular state.

The type of value being validated

The type of state that this invariant applies to

Functions

abstract fun validate(value: V): Result<V>

Validates that the given value meets this invariant.