higher_graphen_core/
lib.rs

1//! Shared primitive types and contracts for HigherGraphen.
2
3mod confidence;
4mod correspondence;
5mod error;
6mod extension;
7mod id;
8mod provenance;
9mod review;
10mod source;
11mod text;
12pub mod typed_provenance;
13
14pub use confidence::Confidence;
15pub use correspondence::{
16    BoundaryPattern, CausalPattern, ContextRestriction, CorrespondenceCell, CorrespondenceKind,
17    CorrespondenceParticipant, CorrespondencePolarity, CorrespondenceValidationCode,
18    CorrespondenceValidationFinding, CorrespondenceValidationReport, DifferenceKind,
19    DifferenceSeverity, DifferenceWitness, DifferingStructure, Feature, GluingAttempt,
20    GluingResult, InvariantCheckResult, NormalizedClaim, OverlapWitness, OverlapWitnessKind,
21    ParticipantMapping, ParticipantRef, Predicate, PreservationReport, ProjectionLoss,
22    ProjectionTrace, ReviewStatusCollapse, Scope, SharedStructure, SubcomplexPattern,
23    SubgraphPattern,
24};
25pub use error::{CoreError, Result};
26pub use extension::{
27    Capability, CapabilityOperation, CapabilityStatus, CriterionDirection, CriterionValue,
28    Derivation, DerivationFailureMode, Description, EquivalenceClaim, EquivalenceCriterion,
29    EquivalenceKind, EquivalenceScope, InferenceRule, LifecycleStatus, ObjectRef, OrderType,
30    PayloadRef, Policy, PolicyApplicability, PolicyKind, PolicyRule, PolicyStatus, QuotientEffect,
31    Reachability, RequiredReview, ReviewRequirement, Scenario, ScenarioChanges, ScenarioKind,
32    ScenarioStatus, SchemaCompatibility, SchemaMapping, SchemaMappingKind, SchemaMorphism,
33    SchemaVerification, Tradeoff, ValidityInterval, Valuation, ValuationCriterion, ValuationValue,
34    VerificationStatus, Verifier, VerifierKind, Witness, WitnessStatus, WitnessType,
35};
36pub use id::Id;
37pub use provenance::Provenance;
38pub use review::{ReviewStatus, Severity};
39pub use source::{SourceKind, SourceRef};
40
41#[cfg(test)]
42mod tests;
higher_graphen_core/lib.rs

higher_graphen_core/
lib.rs
