Struct CausalMonad

Source

pub struct CausalMonad<S = (), C = ()>(/* private fields */);

Expand description

CausalMonad is the concrete implementation of the MonadEffect5 trait for the CausalSystem. It provides the fundamental pure and bind operations that enable monadic programming within the DeepCausality framework.

This monad is designed to manage the flow of CausalEffectPropagationProcesss, ensuring that errors are handled gracefully and a comprehensive log of operations is maintained.

CausalMonad

Struct CausalMonad Copy item path

Trait Implementations§

impl<S: Clone, C: Clone> Clone for CausalMonad<S, C>

fn clone(&self) -> CausalMonad<S, C>

fn clone_from(&mut self, source: &Self)

impl<S: Debug, C: Debug> Debug for CausalMonad<S, C>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

impl<S: Default, C: Default> Default for CausalMonad<S, C>

fn default() -> CausalMonad<S, C>

Auto Trait Implementations§

impl<S, C> Freeze for CausalMonad<S, C>

impl<S, C> RefUnwindSafe for CausalMonad<S, C>where S: RefUnwindSafe, C: RefUnwindSafe,

impl<S, C> Send for CausalMonad<S, C>where S: Send, C: Send,

impl<S, C> Sync for CausalMonad<S, C>where S: Sync, C: Sync,

impl<S, C> Unpin for CausalMonad<S, C>where S: Unpin, C: Unpin,

impl<S, C> UnwindSafe for CausalMonad<S, C>where S: UnwindSafe, C: UnwindSafe,

Blanket Implementations§

impl<T> Any for Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for Twhere T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for Twhere T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T> CloneToUninit for Twhere T: Clone,

unsafe fn clone_to_uninit(&self, dest: *mut u8)

impl<T> From<T> for T

fn from(t: T) -> T

impl<T, U> Into<U> for Twhere U: From<T>,

fn into(self) -> U

impl<T> ToOwned for Twhere T: Clone,

type Owned = T

fn to_owned(&self) -> T

fn clone_into(&self, target: &mut T)

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Struct CausalMonad

impl<S, C> RefUnwindSafe for CausalMonad<S, C>
where S: RefUnwindSafe, C: RefUnwindSafe,

impl<S, C> Send for CausalMonad<S, C>
where S: Send, C: Send,

impl<S, C> Sync for CausalMonad<S, C>
where S: Sync, C: Sync,

impl<S, C> Unpin for CausalMonad<S, C>
where S: Unpin, C: Unpin,

impl<S, C> UnwindSafe for CausalMonad<S, C>
where S: UnwindSafe, C: UnwindSafe,

impl<T> Any for T
where T: 'static + ?Sized,

impl<T> Borrow<T> for T
where T: ?Sized,

impl<T> BorrowMut<T> for T
where T: ?Sized,

impl<T> CloneToUninit for T
where T: Clone,

impl<T, U> Into<U> for T
where U: From<T>,

impl<T> ToOwned for T
where T: Clone,

impl<T, U> TryFrom<U> for T
where U: Into<T>,

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,