Enum PlaygroundViewsMessage

pub enum PlaygroundViewsMessage {
    TimedOut,
    Registered(Uuid),
    ExerciseTaskGradingResult(ExerciseTaskGradingResult),
}

The message type for all messages sent from the server to the client from the playgrounds-views websocket connection.

Variants

TimedOut

Server did not receive a pong for a certain period so the connection timed out.

Registered(Uuid)

Server accepted a new websocket connection and is informing the new client of their connection id.

ExerciseTaskGradingResult(ExerciseTaskGradingResult)

Server received an updated grading from an exercise service and is passing it on to the client.

Trait Implementations

impl Debug for PlaygroundViewsMessage

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

Formats the value using the given formatter.

impl Message for PlaygroundViewsMessage

type Result = ()

The type of value that this message will resolved with if it is successful.

impl Serialize for PlaygroundViewsMessage

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.