pub enum FactValidity {
Content,
Convention,
}Expand description
Validity class of a fact (AP01 §4, D04): what its reuse is bound to.
content: bound to source files at a revision. Served only while each source still delivers the bytes the fact was bound to; in another checkout of the same project only when the same files there are byte-identical (ctx_knowledge::linked).convention: an explicitly marked rule or decision of the project (naming rule, process decision). Not bound to a revision: served in every checkout linked to the same project (D01), until it is replaced.
A fact without a class (written before classes existed, or never classified) keeps the behaviour it had: it belongs to its own checkout.
Variants§
Implementations§
Source§impl FactValidity
impl FactValidity
pub fn as_str(self) -> &'static str
Sourcepub fn parse(raw: &str) -> Option<Self>
pub fn parse(raw: &str) -> Option<Self>
The class a caller names (validity of ctx_knowledge remember).
Sourcepub fn for_remembered_category(category: &str) -> Option<Self>
pub fn for_remembered_category(category: &str) -> Option<Self>
The class an explicit remember of category gets when its writer
names neither a class nor sources: conventions and decisions are the
project’s rules; every other category stays unclassified.
Trait Implementations§
Source§impl Clone for FactValidity
impl Clone for FactValidity
impl Copy for FactValidity
Source§impl Debug for FactValidity
impl Debug for FactValidity
Source§impl<'de> Deserialize<'de> for FactValidity
impl<'de> Deserialize<'de> for FactValidity
Source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
impl Eq for FactValidity
Source§impl PartialEq for FactValidity
impl PartialEq for FactValidity
Source§impl Serialize for FactValidity
impl Serialize for FactValidity
impl StructuralPartialEq for FactValidity
Auto Trait Implementations§
impl Forget for FactValidity
impl Freeze for FactValidity
impl Move for FactValidity
impl RefUnwindSafe for FactValidity
impl Send for FactValidity
impl Sync for FactValidity
impl Unpin for FactValidity
impl UnsafeUnpin for FactValidity
impl UnwindSafe for FactValidity
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> DeserializeOwned for Twhere
T: for<'de> Deserialize<'de>,
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key and return true if they are equal.Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
impl<A, B, T> HttpServerConnExec<A, B> for Twhere
B: Body,
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
Source§fn in_current_span(self) -> Instrumented<Self> ⓘ
fn in_current_span(self) -> Instrumented<Self> ⓘ
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more