Merge remote-tracking branch 'origin/main'

Author: marvin-hansen

deep_causality_haft/src/applicative.rs

@@ -36,12 +36,7 @@ pub trait Applicative<F: HKT>: Functor<F> {
     ///
     /// # Examples
     ///
-    /// ```
-    /// use deep_causality_haft::{Applicative, OptionWitness, HKT};
     ///
-    /// let opt_val: Option<<OptionWitness as HKT>::Type<i32>> = Some(OptionWitness::pure(10));
-    /// assert_eq!(opt_val, Some(Some(10)));
-    /// ```
     fn pure<T>(value: T) -> F::Type<T>;
 
     /// Applies a function wrapped in a context (`f_ab`) to a value wrapped in a context (`f_a`).
@@ -68,14 +63,7 @@ pub trait Applicative<F: HKT>: Functor<F> {
     ///
     /// # Examples
     ///
-    /// ```
-    /// use deep_causality_haft::{Applicative, OptionWitness, HKT};
     ///
-    /// let f_add_one: Option<<OptionWitness as HKT>::Type<fn(i32) -> i32>> = Some(Some(|x| x + 1));
-    /// let val: Option<<OptionWitness as HKT>::Type<i32>> = Some(Some(10));
-    /// let result = OptionWitness::apply(f_add_one.unwrap(), val.unwrap());
-    /// assert_eq!(result, Some(11));
-    /// ```
     fn apply<A, B, Func>(f_ab: F::Type<Func>, f_a: F::Type<A>) -> F::Type<B>
     where
         Func: FnMut(A) -> B,