option-ext 0.2.0

README badge

Claims in public reports for version 0.2.0.

[![proofs.rs](https://img.shields.io/endpoint?url=https%3A%2F%2Fproofs.rs%2Fapi%2Fv1%2Fcrates%2Foption-ext%2F0.2.0%2Fbadge)](https://proofs.rs/crate/option-ext?version=0.2.0)

Extends `Option` with additional operations

crates.io

Reports (2)

#18 option-ext 0.2.0 map_or_else2 return behavior

creusot 0.13.0 · 1 claim · MasWag · 2026-11-03

#16 option-ext 0.2.0 option branch behavior

Aeneas be86ab0 · 3 claims · MasWag · 2026-11-03

Findings (0)

For version 0.2.0. Statuses are author reported.

No findings reported for this version.

APIs (6)

APIs are imported from documentation or named in published verification records. 3 have at least one claim; a count says nothing about how strong each claim is.

APIClaims · findings

Functions

No functions.

Associated functions

No associated functions.

Methods

No inherent methods.

Traits

`trait OptionExt`

pub fn contains<U>(self: &Self, x: &U) -> bool where U: PartialEq<T>—

pub fn map_or2<U, F: FnOnce(T) -> U>(self: Self, f: F, default: U) -> U—

pub fn map_or_else2<U, F: FnOnce(T) -> U, D: FnOnce() -> U>(self: Self, f: F, default: D) -> U—

Trait implementations

`impl option_ext::OptionExt<T> for core::option::Option<T>`

pub fn contains<U>(self: &Self, x: &U) -> bool where U: PartialEq<T>1 claim

pub fn map_or2<U, F: FnOnce(T) -> U>(self: Self, f: F, default: U) -> U1 claim

pub fn map_or_else2<U, F: FnOnce(T) -> U, D: FnOnce() -> U>(self: Self, f: F, default: D) -> U2 claims