Skip to content

Commit 0546a8a

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 d854e9d commit 0546a8a

File tree

1 file changed

+0
-5
lines changed

1 file changed

+0
-5
lines changed

deep_causality_haft/src/applicative.rs

Lines changed: 0 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -36,12 +36,7 @@ pub trait Applicative<F: HKT>: Functor<F> {
3636
///
3737
/// # Examples
3838
///
39-
/// ```
40-
/// use deep_causality_haft::{Applicative, OptionWitness, HKT};
4139
///
42-
/// let opt_val: Option<<OptionWitness as HKT>::Type<i32>> = Some(OptionWitness::pure(10));
43-
/// assert_eq!(opt_val, Some(Some(10)));
44-
/// ```
4540
fn pure<T>(value: T) -> F::Type<T>;
4641

4742
/// Applies a function wrapped in a context (`f_ab`) to a value wrapped in a context (`f_a`).

0 commit comments

Comments
 (0)