summaryrefslogtreecommitdiffstats
path: root/src/test/ui/traits/monad.rs
diff options
context:
space:
mode:
authorDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-17 12:19:13 +0000
committerDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-17 12:19:13 +0000
commit218caa410aa38c29984be31a5229b9fa717560ee (patch)
treec54bd55eeb6e4c508940a30e94c0032fbd45d677 /src/test/ui/traits/monad.rs
parentReleasing progress-linux version 1.67.1+dfsg1-1~progress7.99u1. (diff)
downloadrustc-218caa410aa38c29984be31a5229b9fa717560ee.tar.xz
rustc-218caa410aa38c29984be31a5229b9fa717560ee.zip
Merging upstream version 1.68.2+dfsg1.
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'src/test/ui/traits/monad.rs')
-rw-r--r--src/test/ui/traits/monad.rs48
1 files changed, 0 insertions, 48 deletions
diff --git a/src/test/ui/traits/monad.rs b/src/test/ui/traits/monad.rs
deleted file mode 100644
index 5d0612cf8..000000000
--- a/src/test/ui/traits/monad.rs
+++ /dev/null
@@ -1,48 +0,0 @@
-// run-pass
-
-#![allow(non_camel_case_types)]
-
-
-
-trait vec_monad<A> {
- fn bind<B, F>(&self, f: F ) -> Vec<B> where F: FnMut(&A) -> Vec<B> ;
-}
-
-impl<A> vec_monad<A> for Vec<A> {
- fn bind<B, F>(&self, mut f: F) -> Vec<B> where F: FnMut(&A) -> Vec<B> {
- let mut r = Vec::new();
- for elt in self {
- r.extend(f(elt));
- }
- r
- }
-}
-
-trait option_monad<A> {
- fn bind<B, F>(&self, f: F) -> Option<B> where F: FnOnce(&A) -> Option<B>;
-}
-
-impl<A> option_monad<A> for Option<A> {
- fn bind<B, F>(&self, f: F) -> Option<B> where F: FnOnce(&A) -> Option<B> {
- match *self {
- Some(ref a) => { f(a) }
- None => { None }
- }
- }
-}
-
-fn transform(x: Option<isize>) -> Option<String> {
- x.bind(|n| Some(*n + 1) ).bind(|n| Some(n.to_string()) )
-}
-
-pub fn main() {
- assert_eq!(transform(Some(10)), Some("11".to_string()));
- assert_eq!(transform(None), None);
- assert_eq!((vec!["hi".to_string()])
- .bind(|x| vec![x.clone(), format!("{}!", x)] )
- .bind(|x| vec![x.clone(), format!("{}?", x)] ),
- ["hi".to_string(),
- "hi?".to_string(),
- "hi!".to_string(),
- "hi!?".to_string()]);
-}