Module result

Description

Result combinator methods — the Res trait.

Gives Result values the familiar .map, .map-err, .and-then, .ok, .err surface.

Abstractions

Traits

Res: Combinator surface on (Result val 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 )