Module eso::maybe[−][src]

Expand description

The Maybe trait and its two implementations An and No describe a compile-time optional value.

Structs

An	A value of type `A` that exists.
No	A value of type `A` that cannot exist.

Impossible	A trait characterizing a never-existing value
Maybe	A type-level optional value.
MaybeMap	A type-level function to describe the result of a `Maybe::map` operation
Relax	Safe conversion between `Maybe`s.