#root::logical

Option root/logical/Option.vi

enum Option[T] { ... }

Some root/logical/Option.vi:5

enum Option[T] { ... }

None root/logical/Option.vi:5

enum Option[T] { ... }

map root/logical/Option.vi:11

fn map[T, U, F; Drop[F], Fn[F, (T,), U]](self: Option[T], f: F) -> Option[U];

as_ref root/logical/Option.vi:18

fn as_ref[T](self: &Option[T]) -> Option[&T];

as_fork root/logical/Option.vi:25

fn as_fork[T; Fork[T]](self: Option[&T]) -> Option[T];

flatten root/logical/Option.vi:32

fn flatten[T](self: Option[Option[T]]) -> Option[T];

flat_map root/logical/Option.vi:39

fn flat_map[T, U, F; Drop[F], Fn[F, (T,), Option[U]]](self: Option[T], f: F) -> Option[U];

or_option root/logical/Option.vi:43

fn or_option[T; Drop[T]](self: Option[T], default: Option[T]) -> Option[T];

or_use root/logical/Option.vi:50

fn or_use[T; Drop[T]](self: Option[T], default: T) -> T;

assume root/logical/Option.vi:57

fn assume[T](self: Option[T]) -> T;

take root/logical/Option.vi:64

fn take[T](self: &Option[T]) -> Option[T];

eq root/logical/Option.vi:70

impl eq[T; Eq[T]]: Eq[Option[T]];

show root/logical/Option.vi:84

impl show[T; Show[T]]: Show[Option[T]];