std.silo:std.core

Union Resultpub

Source
Implements: Res
:union(pub) Result ok err
  | Ok ok
  | Err err
Description

Result of a fallible computation: Ok on success, Err on failure.

Variants

| Ok ok
| Err err

Trait Implementations

impl Res for Result(?840392 ?840393)

.and ( (Result a e) (Result b e) → (Result b e) )

.and-then ( [a → (Result b err) ] (Result a err) → (Result b err) )

.contains ( (Result a e) a → Bool )

.contains-err ( (Result a e) e → Bool )

.err ( (Result val err) → (Option err) )

.expect ( (Result a e) Str → a )

.expect-err ( (Result a e) Str → e )

.flatten ( (Result (Result val err) err) → (Result val err) )

.inspect ( (Result a e) [a → ] → (Result a e) )

.inspect-err ( (Result a e) [e → ] → (Result a e) )

.into-err ( (Result Never e) → e )

.into-ok ( (Result a Never) → a )

.is-err ( (Result val err) → Bool )

.is-err-and ( (Result a e) [e → Bool ] → Bool )

.is-ok ( (Result val err) → Bool )

.is-ok-and ( (Result a e) [a → Bool ] → Bool )

.map ( [a → b ] (Result a err) → (Result b err) )

.map-err ( [e1 → e2 ] (Result val e1) → (Result val e2) )

.map-or ( (Result a e) b [a → b ] → b )

.map-or-else ( (Result a e) [e → b ] [a → b ] → b )

.ok ( (Result val err) → (Option val) )

.or ( (Result a e) (Result a f) → (Result a f) )

.or-else ( [e1 → (Result val e2) ] (Result val e1) → (Result val e2) )

.transpose ( (Result (Option a) e) → (Option (Result a e)) )

.unwrap ( (Result val err) → val )

.unwrap-err ( (Result val err) → err )

.unwrap-or ( val (Result val err) → val )

.unwrap-or-else ( [err → val ] (Result val err) → val )