From c1313e094df252f13b352ee85995ced3fca07c41 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Tue, 17 Mar 2015 01:01:06 +0100
Subject: [PATCH] more tests! yay!

---
 src/data/CCFQueue.ml | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

diff --git a/src/data/CCFQueue.ml b/src/data/CCFQueue.ml
index 09290e8a..831f88a7 100644
--- a/src/data/CCFQueue.ml
+++ b/src/data/CCFQueue.ml
@@ -133,6 +133,11 @@ let take_front_l n q =
       aux (x::acc) q' (n-1)
   in aux [] q n
 
+(*$T
+  let l, q = take_front_l 5 (1 -- 10) in \
+  l = [1;2;3;4;5] && to_list q = [6;7;8;9;10]
+*)
+
 let take_front_while p q =
   let rec aux acc q =
     if is_empty q then List.rev acc, q
@@ -141,6 +146,10 @@ let take_front_while p q =
       if p x then aux (x::acc) q' else List.rev acc, q
   in aux [] q
 
+(*$T
+  take_front_while (fun x-> x<5) (1 -- 10) |> fst = [1;2;3;4]
+*)
+
 let rec take_back_exn : 'a. 'a t -> 'a t * 'a
   = fun q -> match q with
   | Shallow Zero -> invalid_arg "FQueue.take_back_exn"
@@ -255,6 +264,13 @@ let nth i q =
   try Some (nth_exn i q)
   with Failure _ -> None
 
+(*$Q
+  (Q.list Q.int) (fun l -> \
+   let len = List.length l in let idx = CCList.(0 -- (len - 1)) in \
+   let q = of_list l in \
+   l = [] || List.for_all (fun i -> nth i q = Some (List.nth l i)) idx)
+*)
+
 let init q =
   try fst (take_back_exn q)
   with Empty -> q