pub struct CompilerSemantics(/* private fields */);Expand description
A version of this crate’s compiler semantics line.
The payload is a version number of a line this crate declares, so the values that exist are “an earlier version of this line” or “the version this build lowers under”. Nothing else is expressible: in particular a content digest has no path into this type.
Implementations§
Source§impl CompilerSemantics
impl CompilerSemantics
Sourcepub const CURRENT: CompilerSemantics
pub const CURRENT: CompilerSemantics
The semantics this build lowers under.
Sourcepub fn version(
identity: &PlanIdentity,
version: u16,
) -> Result<CompilerSemantics, PlanInputError>
pub fn version( identity: &PlanIdentity, version: u16, ) -> Result<CompilerSemantics, PlanInputError>
Name a version of the compiler semantics line identity binds.
A version newer than this build is refused: only lowering behavior that exists can be named. An earlier version is nameable, because a run may still be bound to it, even though this build is not its interpreter.
Sourcepub fn generic_version(
version: u16,
) -> Result<CompilerSemantics, PlanInputError>
pub fn generic_version( version: u16, ) -> Result<CompilerSemantics, PlanInputError>
version under Acativa’s own identity lines — the generic dialect.
pub const fn version_of(self) -> u16
Sourcepub fn wire(self, identity: &PlanIdentity) -> String
pub fn wire(self, identity: &PlanIdentity) -> String
The recorded form under identity’s lines:
acativa.workflow.compiler.v1 for ACATIVA_PLAN_IDENTITY.
Sourcepub fn generic_wire(self) -> String
pub fn generic_wire(self) -> String
The recorded form under Acativa’s own identity lines.
pub fn from_wire( identity: &PlanIdentity, value: &str, ) -> Result<CompilerSemantics, PlanInputError>
Sourcepub fn generic_from_wire(
value: &str,
) -> Result<CompilerSemantics, PlanInputError>
pub fn generic_from_wire( value: &str, ) -> Result<CompilerSemantics, PlanInputError>
from_wire under Acativa’s own identity lines.
Trait Implementations§
Source§impl Clone for CompilerSemantics
impl Clone for CompilerSemantics
Source§fn clone(&self) -> CompilerSemantics
fn clone(&self) -> CompilerSemantics
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source. Read moreimpl Copy for CompilerSemantics
Source§impl Debug for CompilerSemantics
impl Debug for CompilerSemantics
Source§impl<'de> Deserialize<'de> for CompilerSemantics
impl<'de> Deserialize<'de> for CompilerSemantics
Source§fn deserialize<__D>(
__deserializer: __D,
) -> Result<CompilerSemantics, <__D as Deserializer<'de>>::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(
__deserializer: __D,
) -> Result<CompilerSemantics, <__D as Deserializer<'de>>::Error>where
__D: Deserializer<'de>,
impl Eq for CompilerSemantics
Source§impl Hash for CompilerSemantics
impl Hash for CompilerSemantics
Source§impl Ord for CompilerSemantics
impl Ord for CompilerSemantics
Source§fn cmp(&self, other: &CompilerSemantics) -> Ordering
fn cmp(&self, other: &CompilerSemantics) -> Ordering
1.21.0 (const: unstable) · Source§fn max(self, other: Self) -> Selfwhere
Self: Sized,
fn max(self, other: Self) -> Selfwhere
Self: Sized,
1.21.0 (const: unstable) · Source§fn min(self, other: Self) -> Selfwhere
Self: Sized,
fn min(self, other: Self) -> Selfwhere
Self: Sized,
Source§impl PartialEq for CompilerSemantics
impl PartialEq for CompilerSemantics
Source§impl PartialOrd for CompilerSemantics
impl PartialOrd for CompilerSemantics
Source§impl Serialize for CompilerSemantics
impl Serialize for CompilerSemantics
Source§fn serialize<__S>(
&self,
__serializer: __S,
) -> Result<<__S as Serializer>::Ok, <__S as Serializer>::Error>where
__S: Serializer,
fn serialize<__S>(
&self,
__serializer: __S,
) -> Result<<__S as Serializer>::Ok, <__S as Serializer>::Error>where
__S: Serializer,
impl StructuralPartialEq for CompilerSemantics
Source§impl TryFrom<u16> for CompilerSemantics
impl TryFrom<u16> for CompilerSemantics
Source§fn try_from(
version: u16,
) -> Result<CompilerSemantics, <CompilerSemantics as TryFrom<u16>>::Error>
fn try_from( version: u16, ) -> Result<CompilerSemantics, <CompilerSemantics as TryFrom<u16>>::Error>
Names a version of Acativa’s own compiler line. A host binding other
lines calls CompilerSemantics::version with its PlanIdentity.
Source§type Error = PlanInputError
type Error = PlanInputError
Auto Trait Implementations§
impl Forget for CompilerSemantics
impl Freeze for CompilerSemantics
impl Move for CompilerSemantics
impl RefUnwindSafe for CompilerSemantics
impl Send for CompilerSemantics
impl Sync for CompilerSemantics
impl Unpin for CompilerSemantics
impl UnsafeUnpin for CompilerSemantics
impl UnwindSafe for CompilerSemantics
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
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<Q, K> Comparable<K> for Q
impl<Q, K> Comparable<K> for Q
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§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
key and return true if they are equal.