Trait Validate

pub trait Validate {
    type ValidationError;

    // Required method
    fn validate(&self) -> Result<(), NonEmpty<Self::ValidationError>>;
}

An object that can validate itself.

Such an object is either valid, a state which carries no additional information, or is invalid, a state described by a nonempty list of validation errors.

Required Associated Types

type ValidationError

The type of a validation error.

This type should usually implement std::error::Error, though that is not required.

Required Methods

fn validate(&self) -> Result<(), NonEmpty<Self::ValidationError>>

Validates the object.

Implementors

impl Validate for DiscreteDblModel

type ValidationError = InvalidDblModel

impl Validate for DiscreteDblTheory

type ValidationError = InvalidDblTheory

impl Validate for DiscreteTabModel

type ValidationError = InvalidDblModel

impl Validate for ModalDblModel

type ValidationError = InvalidDblModel

impl Validate for ModalDblTheory

type ValidationError = InvalidDblTheory

impl Validate for SkelGraph

type ValidationError = InvalidGraph<usize>

impl Validate for DiscreteDblModelMorphism<'_>

type ValidationError = InvalidDblModelMorphism<QualifiedName, QualifiedName>

impl<Map, Dom, Cod> Validate for GraphMorphism<'_, Map, Dom, Cod>

where Map: GraphMapping, Map::DomE: Clone, Dom: FinGraph<V = Map::DomV, E = Map::DomE>, Cod: Graph<V = Map::CodV, E = Map::CodE>,

type ValidationError = InvalidGraphMorphism<<Map as GraphMapping>::DomV, <Map as GraphMapping>::DomE>

impl<Map, Dom, Cod> Validate for Function<'_, Map, Dom, Cod>

where Map: Mapping, Dom: FinSet<Elem = Map::Dom>, Cod: Set<Elem = Map::Cod>,

type ValidationError = InvalidFunction<<Map as Mapping>::Dom>

impl<V, E> Validate for FpCategory<V, E>

where V: Eq + Clone + Hash, E: Eq + Clone + Hash,

type ValidationError = InvalidFpCategory<E>

impl<V, E> Validate for HashGraph<V, E>

where V: Eq + Hash + Clone, E: Eq + Hash + Clone,

type ValidationError = InvalidGraph<E>