pub struct Prob<T> { /* private fields */ }Expand description
A value with associated probability
Wraps any value T with runtime metadata tracking its probability.
This is the foundation for probabilistic contracts.
§Examples
use amari_flynn::prob::Prob;
let coin = Prob::with_probability(0.5, true);
assert_eq!(coin.probability(), 0.5);
assert_eq!(coin.into_inner(), true);Implementations§
Source§impl<T> Prob<T>
impl<T> Prob<T>
Sourcepub fn new(value: T) -> Prob<T>
pub fn new(value: T) -> Prob<T>
Create a probabilistic value with associated probability
§Examples
use amari_flynn::prob::Prob;
let certain = Prob::new(42);
assert_eq!(certain.probability(), 1.0);Sourcepub fn with_probability(probability: f64, value: T) -> Prob<T>
pub fn with_probability(probability: f64, value: T) -> Prob<T>
Sourcepub fn probability(&self) -> f64
pub fn probability(&self) -> f64
Get the probability associated with this value
Sourcepub fn into_inner(self) -> T
pub fn into_inner(self) -> T
Extract the inner value
Sourcepub fn map<U, F>(self, f: F) -> Prob<U>where
F: FnOnce(T) -> U,
pub fn map<U, F>(self, f: F) -> Prob<U>where
F: FnOnce(T) -> U,
Map over the inner value while preserving probability
§Examples
use amari_flynn::prob::Prob;
let x = Prob::with_probability(0.5, 10);
let y = x.map(|v| v * 2);
assert_eq!(y.into_inner(), 20);
assert_eq!(y.probability(), 0.5);Sourcepub fn and_then<U, F>(self, f: F) -> Prob<U>
pub fn and_then<U, F>(self, f: F) -> Prob<U>
Monadic bind for probabilistic values
Combines probabilities multiplicatively (assumes independence)
Sourcepub fn sample<R>(self, rng: &mut R) -> Option<T>where
R: Rng,
pub fn sample<R>(self, rng: &mut R) -> Option<T>where
R: Rng,
Sample this probabilistic value
Returns Some(value) with probability p, None otherwise
§Examples
use amari_flynn::prob::Prob;
let coin = Prob::with_probability(0.5, "heads");
let result = coin.sample(&mut rand::thread_rng());
// result is either Some("heads") or NoneTrait Implementations§
impl<T> Copy for Prob<T>where
T: Copy,
Auto Trait Implementations§
impl<T> Freeze for Prob<T>where
T: Freeze,
impl<T> RefUnwindSafe for Prob<T>where
T: RefUnwindSafe,
impl<T> Send for Prob<T>where
T: Send,
impl<T> Sync for Prob<T>where
T: Sync,
impl<T> Unpin for Prob<T>where
T: Unpin,
impl<T> UnsafeUnpin for Prob<T>where
T: UnsafeUnpin,
impl<T> UnwindSafe for Prob<T>where
T: UnwindSafe,
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more