Trait CausalFlowOut 

pub trait CausalFlowOut {
    type Value;
    type State;
    type Context;

    // Required method
    fn into_causal_flow(
        self,
    ) -> CausalFlow<Self::Value, Self::State, Self::Context>;
}

Destructures a causal arrow’s output (CausalFlow<Value, State, Context>) into its parts.

Kleisli composition needs the value, state, and context of an arrow’s output to wire the next stage. The Arrow trait exposes only the whole Out type, so this helper projects it. It is implemented for CausalFlow and nothing else.

Required Associated Types

type Value

The carried value type.

type State

The state channel type.

type Context

The context channel type.

Required Methods

fn into_causal_flow(self) -> CausalFlow<Self::Value, Self::State, Self::Context>

Recover the concrete CausalFlow.

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

impl<V, S, C> CausalFlowOut for CausalFlow<V, S, C>

type Value = V

type State = S

type Context = C