Skip to content

Commit d854e9d

Browse files
Update deep_causality_haft/src/applicative.rs
Co-authored-by: qodo-merge-pro[bot] <151058649+qodo-merge-pro[bot]@users.noreply.github.com>
1 parent fa2cc98 commit d854e9d

File tree

1 file changed

+0
-7
lines changed

1 file changed

+0
-7
lines changed

deep_causality_haft/src/applicative.rs

Lines changed: 0 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -68,14 +68,7 @@ pub trait Applicative<F: HKT>: Functor<F> {
6868
///
6969
/// # Examples
7070
///
71-
/// ```
72-
/// use deep_causality_haft::{Applicative, OptionWitness, HKT};
7371
///
74-
/// let f_add_one: Option<<OptionWitness as HKT>::Type<fn(i32) -> i32>> = Some(Some(|x| x + 1));
75-
/// let val: Option<<OptionWitness as HKT>::Type<i32>> = Some(Some(10));
76-
/// let result = OptionWitness::apply(f_add_one.unwrap(), val.unwrap());
77-
/// assert_eq!(result, Some(11));
78-
/// ```
7972
fn apply<A, B, Func>(f_ab: F::Type<Func>, f_a: F::Type<A>) -> F::Type<B>
8073
where
8174
Func: FnMut(A) -> B,

0 commit comments

Comments
 (0)