Struct OptionComonad 

pub struct OptionComonad<T: Clone> { /* private fields */ }

OptionComonad represents a comonadic structure for Option with a fixed default.

Implementations

impl<T: Clone> OptionComonad<T>

pub fn new(value: Option<T>, default: T) -> Self

pub fn extract(&self) -> T

extract: comonadic extract (returns default if None).

pub fn extend<B: Clone>(&self, f: impl Fn(&OptionComonad<T>) -> B) -> Option<B>

extend: comonadic extend.

pub fn duplicate_as_pair(&self) -> (T, Option<T>)