Struct MaybeUncertain 

pub struct MaybeUncertain<T: ProbabilisticType> { /* private fields */ }

A first-class type representing a value that is probabilistically present or absent. If the value is present, its own value is uncertain.

Implementations

impl MaybeUncertain<bool>

pub fn from_uncertain(value: Uncertain<bool>) -> Self

pub fn from_value(value: bool) -> Self

Creates a new MaybeUncertain from a value that is certainly present and has a certain value.

pub fn always_none() -> Self

Creates a new MaybeUncertain that is certainly absent.

pub fn from_bernoulli_and_uncertain( prob_some: f64, present_value_dist: Uncertain<bool>, ) -> Self

Creates a MaybeUncertain where presence is determined by a Bernoulli trial.

pub fn sample(&self) -> Result<Option<bool>, UncertainError>

Samples the MaybeUncertain value, returning Some(bool) if present or None if absent.

pub fn is_some(&self) -> Uncertain<bool>

Returns an Uncertain<bool> representing the probability of the value being present.

pub fn is_none(&self) -> Uncertain<bool>

Returns an Uncertain<bool> representing the probability of the value being absent.

pub fn lift_to_uncertain( &self, threshold_prob_some: f64, confidence_level: f64, epsilon: f64, max_samples: usize, ) -> Result<Uncertain<bool>, UncertainError>

Converts the MaybeUncertain<bool> to a standard Uncertain<bool>.

This acts as a gate, returning Ok(Uncertain<bool>) only if the statistical evidence for the value’s presence meets the specified threshold.

impl MaybeUncertain<f64>

pub fn from_uncertain(value: Uncertain<f64>) -> Self

Creates a new MaybeUncertain from a value that is certainly present but uncertain in value.

pub fn from_value(value: f64) -> Self

Creates a new MaybeUncertain from a value that is certainly present and has a certain value.

pub fn always_none() -> Self

Creates a new MaybeUncertain that is certainly absent.

pub fn from_bernoulli_and_uncertain( prob_some: f64, present_value_dist: Uncertain<f64>, ) -> Self

Creates a MaybeUncertain where presence is determined by a Bernoulli trial.

pub fn sample(&self) -> Result<Option<f64>, UncertainError>

Samples the MaybeUncertain value, returning Some(f64) if present or None if absent.

pub fn is_some(&self) -> Uncertain<bool>

Returns an Uncertain<bool> representing the probability of the value being present.

pub fn is_none(&self) -> Uncertain<bool>

Returns an Uncertain<bool> representing the probability of the value being absent.

pub fn lift_to_uncertain( &self, threshold_prob_some: f64, confidence_level: f64, epsilon: f64, max_samples: usize, ) -> Result<Uncertain<f64>, UncertainError>

Converts the MaybeUncertain<f64> to a standard Uncertain<f64>.

This acts as a gate, returning Ok(Uncertain<f64>) only if the statistical evidence for the value’s presence meets the specified threshold.

Trait Implementations

impl Add for MaybeUncertain<f64>

type Output = MaybeUncertain<f64>

The resulting type after applying the + operator.

fn add(self, rhs: Self) -> Self::Output

Performs the + operation.

impl<T: Clone + ProbabilisticType> Clone for MaybeUncertain<T>

fn clone(&self) -> MaybeUncertain<T>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<T: Debug + ProbabilisticType> Debug for MaybeUncertain<T>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Div for MaybeUncertain<f64>

type Output = MaybeUncertain<f64>

The resulting type after applying the / operator.

fn div(self, rhs: Self) -> Self::Output

Performs the / operation.

impl Mul for MaybeUncertain<f64>

type Output = MaybeUncertain<f64>

The resulting type after applying the * operator.

fn mul(self, rhs: Self) -> Self::Output

Performs the * operation.

impl Neg for MaybeUncertain<f64>

type Output = MaybeUncertain<f64>

The resulting type after applying the - operator.

fn neg(self) -> Self::Output

Performs the unary - operation.

impl<T: PartialEq + ProbabilisticType> PartialEq for MaybeUncertain<T>

fn eq(&self, other: &MaybeUncertain<T>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Sub for MaybeUncertain<f64>

type Output = MaybeUncertain<f64>

The resulting type after applying the - operator.

fn sub(self, rhs: Self) -> Self::Output

Performs the - operation.

impl<T: ProbabilisticType> StructuralPartialEq for MaybeUncertain<T>