higher-graphen-core 0.7.1

//! Shared primitive types and contracts for HigherGraphen.

mod confidence;
mod correspondence;
mod error;
mod extension;
mod id;
mod provenance;
mod review;
mod source;
mod text;
pub mod typed_provenance;

pub use confidence::Confidence;
pub use correspondence::{
    BoundaryPattern, CausalPattern, ContextRestriction, CorrespondenceCell, CorrespondenceKind,
    CorrespondenceParticipant, CorrespondencePolarity, CorrespondenceValidationCode,
    CorrespondenceValidationFinding, CorrespondenceValidationReport, DifferenceKind,
    DifferenceSeverity, DifferenceWitness, DifferingStructure, Feature, GluingAttempt,
    GluingResult, InvariantCheckResult, NormalizedClaim, OverlapWitness, OverlapWitnessKind,
    ParticipantMapping, ParticipantRef, Predicate, PreservationReport, ProjectionLoss,
    ProjectionTrace, ReviewStatusCollapse, Scope, SharedStructure, SubcomplexPattern,
    SubgraphPattern,
};
pub use error::{CoreError, Result};
pub use extension::{
    Capability, CapabilityOperation, CapabilityStatus, CriterionDirection, CriterionValue,
    Derivation, DerivationFailureMode, Description, EquivalenceClaim, EquivalenceCriterion,
    EquivalenceKind, EquivalenceScope, InferenceRule, LifecycleStatus, ObjectRef, OrderType,
    PayloadRef, Policy, PolicyApplicability, PolicyKind, PolicyRule, PolicyStatus, QuotientEffect,
    Reachability, RequiredReview, ReviewRequirement, Scenario, ScenarioChanges, ScenarioKind,
    ScenarioStatus, SchemaCompatibility, SchemaMapping, SchemaMappingKind, SchemaMorphism,
    SchemaVerification, Tradeoff, ValidityInterval, Valuation, ValuationCriterion, ValuationValue,
    VerificationStatus, Verifier, VerifierKind, Witness, WitnessStatus, WitnessType,
};
pub use id::Id;
pub use provenance::Provenance;
pub use review::{ReviewStatus, Severity};
pub use source::{SourceKind, SourceRef};

#[cfg(test)]
mod tests;