std/fallible

1 export, from std/fallible.vyrn.

Fallible: the protocol ? resolves through for a type that is not Option or Result.

x? returns the whole sum it was given, byte for byte, into a function of the same type. So the protocol answers only which side a value is on and how to read the success payload; any number of failing variants propagate intact.

impl Fallible for Http {
    type Output = Body
    fn isSuccess(self) -> Bool { .. }
    fn success(self) -> Body { .. }   // total: `panic` on the failing arms
}

? calls success only after isSuccess answered true.

Dependencies

The import graph shows the whole library.

Imports: nothing else in std/
Imported by: no other std module

Fallible protocol

protocol Fallible {
    type Output
    fn isSuccess(self) -> Bool
    fn success(self) -> Output
}

Tests

Test names

This module carries no test block of its own.

Examples

2 programs in examples/ import this module. Each runs as WebAssembly and as a native binary.