std.silo:std.core

Union Optionpub

Source
Implements: Opt
:union(pub) Option elem
  | None
  | Some elem
Description

Optional value: Some carries an element, None represents absence.

Variants

| None
| Some elem

Trait Implementations

impl Opt for Option(?870368)

.and ( (Option a) (Option b) → (Option b) )

.and-then ( [a → (Option b) ] (Option a) → (Option b) )

.contains ( (Option a) a → Bool )

.expect ( (Option a) Str → a )

.filter ( [a → Bool ] (Option a) → (Option a) )

.flatten ( (Option (Option a)) → (Option a) )

.inspect ( (Option a) [a → ] → (Option a) )

.is-none ( (Option a) → Bool )

.is-none-or ( (Option a) [a → Bool ] → Bool )

.is-some ( (Option a) → Bool )

.is-some-and ( (Option a) [a → Bool ] → Bool )

.map ( [a → b ] (Option a) → (Option b) )

.map-or ( (Option a) b [a → b ] → b )

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

.ok-or ( err (Option a) → (Result a err) )

.ok-or-else ( (Option a) [→ err ] → (Result a err) )

.or-else ( [→ (Option a) ] (Option a) → (Option a) )

.take ( (Option a) → (Option a) (Option a) )

.take-if ( (Option a) [a → Bool ] → (Option a) (Option a) )

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

.unwrap ( (Option a) → a )

.unwrap-or ( a (Option a) → a )

.unwrap-or-else ( [→ a ] (Option a) → a )

.unzip ( (Option (Pair a b)) → (Option a) (Option b) )

.xor ( (Option a) (Option a) → (Option a) )

.zip ( (Option a) (Option b) → (Option (Pair a b)) )

.zip-with ( (Option a) (Option b) [a b → c ] → (Option c) )