Trait Output 

pub trait Output {
    type Io<'o>: IoOutput<Error: Into<Self::Error>>
       where Self: 'o;
    type Ctx: Context;
    type Error;

    // Required methods
    async fn write(&mut self, value: &str) -> Result<(), Self::Error>;
    fn split(&mut self) -> (Self::Io<'_>, &Self::Ctx);
    fn context(&self) -> &Self::Ctx;

    // Provided method
    fn get_ctx<T>(&self) -> &T
       where Self::Ctx: ContextProvides<T> { ... }
}

Code generation output. This is a high-level trait intended to represent wherever you’re writing to, with associated context. It can be split into that context in order to separate the I/O stream itself.

Required Associated Types

type Io<'o>: IoOutput<Error: Into<Self::Error>> where Self: 'o

The I/O stream type

type Ctx: Context

The context holder

type Error

The error type for write operations.

Required Methods

async fn write(&mut self, value: &str) -> Result<(), Self::Error>

Writes the given value to the output.

fn split(&mut self) -> (Self::Io<'_>, &Self::Ctx)

Splits into the context and the I/O stream, so that they can be used separately

fn context(&self) -> &Self::Ctx

Gets all the context associated with this output

Provided Methods

fn get_ctx<T>(&self) -> &T

where Self::Ctx: ContextProvides<T>,

Gets a particular context value

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl<'o, O> Output for &'o mut O

where O: Output,

type Io<'b> = <O as Output>::Io<'b> where Self: 'b

type Ctx = <O as Output>::Ctx

type Error = <O as Output>::Error

async fn write(&mut self, value: &str) -> Result<(), Self::Error>

fn split(&mut self) -> (Self::Io<'_>, &Self::Ctx)

fn context(&self) -> &Self::Ctx

Implementors

impl<Ctx, Err> Output for InMemoryOutput<Ctx, Err>

where Ctx: Context, Err: From<Infallible>,

type Io<'b> = InMemoryIo<'b> where Self: 'b

type Ctx = Ctx

type Error = Err

impl<I> Output for SimpleOutput<I>

where I: IoOutput,

type Io<'b> = &'b mut I where Self: 'b

type Ctx = DynContext

type Error = <I as IoOutput>::Error