PTV/radn-rs
1
1
Fork 0
Code Issues 3 Pull Requests Packages Projects Releases Wiki Activity

remove Alternative

Browse Source
This commit is contained in:
AF 2023-05-26 07:50:14 +00:00
parent 1750be2df9
commit d78879f012
1 changed files with 0 additions and 16 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
src/func.rs
View File

@ -235,22 +235,6 @@ pub trait MonadFail<E>: Monad + Fail<E> {}
impl<E, T: Monad + Fail<E>> MonadFail<E> for T {} impl<E, T: Monad + Fail<E>> MonadFail<E> for T {}
/// Equivalent of Haskell's `Alternative`.
/// Lacks `some`/`many` definitions due to [`FnOnce`] category semantics.
///
/// <https://hackage.haskell.org/package/base-4.18.0.0/docs/Control-Applicative.html>
pub trait Alternative: Applicative {
/// Equivalent of Haskell's `empty`.
fn empty<'a, A: 'a>() -> Self::F<'a, A>
where
Self: 'a;
/// Equivalent of Haskell's `<|>`.
fn add<'a, A: 'a>(fa: Self::F<'a, A>, fb: Self::F<'a, A>) -> Self::F<'a, A>
where
Self: 'a;
}
/// Represents wrapped results which are instantly available. /// Represents wrapped results which are instantly available.
pub trait LocalFunctor: WeakFunctor { pub trait LocalFunctor: WeakFunctor {
/// Extract iteration state, if successful. /// Extract iteration state, if successful.