pub struct IRIntentionTree {
pub node_type: &'static str,
pub source_line: u32,
pub source_column: u32,
pub operations: Vec<IRIntentionOperation>,
}Expand description
The Free Monad F_Σ(X) — a pure description of I/O intentions. Flat in Fase 1; nested continuations arrive with handlers + reconcile loops.
Fields§
§node_type: &'static str§source_line: u32§source_column: u32§operations: Vec<IRIntentionOperation>Trait Implementations§
Source§impl Clone for IRIntentionTree
impl Clone for IRIntentionTree
Source§fn clone(&self) -> IRIntentionTree
fn clone(&self) -> IRIntentionTree
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreSource§impl Debug for IRIntentionTree
impl Debug for IRIntentionTree
Source§impl Serialize for IRIntentionTree
impl Serialize for IRIntentionTree
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,
Serialize this value into the given Serde serializer. Read more
Auto Trait Implementations§
impl Freeze for IRIntentionTree
impl RefUnwindSafe for IRIntentionTree
impl Send for IRIntentionTree
impl Sync for IRIntentionTree
impl Unpin for IRIntentionTree
impl UnsafeUnpin for IRIntentionTree
impl UnwindSafe for IRIntentionTree
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
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
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 moreCreates a shared type from an unshared type.