Permalink
Browse files

[fix] queue: used code

  • Loading branch information...
1 parent 3bd22fc commit 780af8961b1b06c7b3060b1f22060b70725310cf Raja committed Jun 22, 2011
Showing with 109 additions and 0 deletions.
  1. +109 −0 stdlib/queue/queue.opa
View
@@ -189,6 +189,115 @@ Queue = {{
aux(q, n, [])
/**
+ * {1 Iterators}
+ **/
+
+ /**
+ * {2 fold}
+ **/
+
+ /**
+ * Create a new queue with element in reverse order
+ **/
+ /*
+ rev((l1, s1, l2, s2): Queue.t('a)) : Queue.t('a)
+ */
+
+ fold(f : ('a, 'acc -> 'acc), (l1, _s1, l2, _s2) : Queue.t('a), acc : 'acc) : 'acc =
+ List.foldr(f, l1, List.fold(f, l2, acc))
+ /*
+ foldi(f : (int, 'a, 'acc -> 'acc), (l1, s1, l2, s2) : Queue.t('a), acc : 'acc) : 'acc
+ */
+
+ /*
+ fold_backwards(f : ('a, 'acc -> 'acc), (l1, s1, l2, s2) : Queue.t('a), acc : 'acc) : 'acc
+ foldi_backwards(f : (int, 'a, 'acc -> 'acc), (l1, s1, l2, s2) : Queue.t('a), acc : 'acc) : 'acc
+ */
+
+ /**
+ * {2 map}
+ **/
+
+ /*
+ map(f : ('a -> 'a), (l1, s1, l2, s2) : Queue.t('a)) : Queue.t('a)
+ mapi(f : (int, 'a -> 'a), (l1, s1, l2, s2) : Queue.t('a)) : Queue.t('a)
+ */
+
+ /*
+ map_backwards(f : ('a -> 'a), (l1, s1, l2, s2) : Queue.t('a)) : Queue.t('a)
+ mapi_backwards(f : (int, 'a -> 'a), (l1, s1, l2, s2) : Queue.t('a)) : Queue.t('a)
+ */
+
+ /**
+ * {2 iter}
+ **/
+
+ /*
+ iter(f : ('a -> void), (l1, s1, l2, s2) : Queue.t('a)) : void
+ iteri(f : (int, 'a -> void), (l1, s1, l2, s2) : Queue.t('a)) : void
+ */
+
+ /*
+ iter_backwards(f : ('a -> void), (l1, s1, l2, s2) : Queue.t('a)) : void
+ iteri_backwards(f : (int, 'a -> void), (l1, s1, l2, s2) : Queue.t('a)) : void
+ */
+
+ /**
+ * {2 find}
+ **/
+
+ /*
+ find(f : ('a -> bool), (l1, s1, l2, s2) : Queue.t('a)) : 'a
+ findi(f : (int, 'a -> bool), (l1, s1, l2, s2) : Queue.t('a)) : 'a
+ */
+
+ /*
+ find_backwards(f : ('a -> bool), (l1, s1, l2, s2) : Queue.t('a)) : 'a
+ findi_backwards(f : (int, 'a -> bool), (l1, s1, l2, s2) : Queue.t('a)) : 'a
+ */
+
+ /**
+ * {2 exists}
+ **/
+
+ /*
+ exists(f : ('a -> bool), (l1, s1, l2, s2) : Queue.t('a)) : bool
+ existsi(f : (int, 'a -> bool), (l1, s1, l2, s2) : Queue.t('a)) : bool
+ */
+
+ /*
+ exists_backwards(f : ('a -> bool), (l1, s1, l2, s2) : Queue.t('a)) : bool
+ existsi_backwards(f : (int, 'a -> bool), (l1, s1, l2, s2) : Queue.t('a)) : bool
+ */
+
+ /**
+ * {2 forall}
+ **/
+
+ /*
+ forall(f : ('a -> bool), (l1, s1, l2, s2) : Queue.t('a)) : bool
+ foralli(f : (int, 'a -> bool), (l1, s1, l2, s2) : Queue.t('a)) : bool
+ */
+
+ /**
+ * {2 foldmap}
+ **/
+
+ /*
+ foldmap
+ foldmapi
+ */
+
+ /**
+ * {2 filter}
+ **/
+
+ /*
+ filter(f : ('a -> bool), (l1, s1, l2, s2) : Queue.t('a)) : Queue.t('a)
+ filteri(f : (int, 'a -> bool), (l1, s1, l2, s2) : Queue.t('a)) : Queue.t('a)
+ */
+
+ /**
* Export to a iter value.
* @deprecated Not efficient, use rather [Queue.iter]
**/

0 comments on commit 780af89

Please sign in to comment.