2012-03-07 18:23:41 +00:00
|
|
|
(* Copyright 2012 Tony Garnock-Jones <tonygarnockjones@gmail.com>. *)
|
|
|
|
|
2012-05-01 21:36:38 +00:00
|
|
|
(* This file is part of Hop. *)
|
2012-03-07 18:23:41 +00:00
|
|
|
|
2012-05-01 21:36:38 +00:00
|
|
|
(* Hop is free software: you can redistribute it and/or modify it *)
|
2012-03-07 18:23:41 +00:00
|
|
|
(* under the terms of the GNU General Public License as published by the *)
|
|
|
|
(* Free Software Foundation, either version 3 of the License, or (at your *)
|
|
|
|
(* option) any later version. *)
|
|
|
|
|
2012-05-01 21:36:38 +00:00
|
|
|
(* Hop is distributed in the hope that it will be useful, but *)
|
2012-03-07 18:23:41 +00:00
|
|
|
(* WITHOUT ANY WARRANTY; without even the implied warranty of *)
|
|
|
|
(* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU *)
|
|
|
|
(* General Public License for more details. *)
|
|
|
|
|
|
|
|
(* You should have received a copy of the GNU General Public License *)
|
2012-05-01 21:36:38 +00:00
|
|
|
(* along with Hop. If not, see <http://www.gnu.org/licenses/>. *)
|
2012-03-07 18:23:41 +00:00
|
|
|
|
2012-01-08 17:41:04 +00:00
|
|
|
#use "fqueue.ml"
|
|
|
|
|
|
|
|
let q12 = append (singleton 1) (singleton 2)
|
|
|
|
let q1234 = append (of_list [1; 2]) (of_list [3; 4])
|
|
|
|
|
|
|
|
let _ =
|
|
|
|
assert (length empty = 0);
|
|
|
|
assert (is_empty empty);
|
|
|
|
assert (pop_front (push_back empty 1) = Some (1, empty));
|
|
|
|
assert (pop_back (push_front empty 1) = Some (1, empty));
|
|
|
|
assert (to_list (of_list [1; 2; 3]) = [1; 2; 3]);
|
|
|
|
assert (length (of_list [1; 2; 3]) = 3);
|
|
|
|
assert (pop_back (of_list [1; 2; 3]) = Some (3, Q(2, [], [2; 1])));
|
|
|
|
assert (pop_front (of_list [1; 2; 3]) = Some (1, of_list [2; 3]));
|
|
|
|
assert (to_list (push_back_all empty [1; 2; 3]) = [1; 2; 3]);
|
|
|
|
assert (to_list (push_front_all empty [1; 2; 3]) = [1; 2; 3]);
|
|
|
|
assert (to_list (push_back_all_rev empty [1; 2; 3]) = [3; 2; 1]);
|
|
|
|
assert (to_list (push_front_all_rev empty [1; 2; 3]) = [3; 2; 1]);
|
|
|
|
assert ((try slow_peek_back empty with _ -> 1) = 1);
|
|
|
|
assert ((try slow_peek_front empty with _ -> 1) = 1);
|
|
|
|
assert ((try slow_peek_back (singleton 1) with _ -> 2) = 1);
|
|
|
|
assert ((try slow_peek_front (singleton 1) with _ -> 2) = 1);
|
|
|
|
assert ((try slow_peek_back (of_list [1; 2; 3]) with _ -> 99) = 3);
|
|
|
|
assert ((try slow_peek_front (of_list [1; 2; 3]) with _ -> 99) = 1);
|
|
|
|
assert (to_list_rev (of_list [1; 2; 3]) = [3; 2; 1]);
|
|
|
|
assert (to_list (of_list_rev [1; 2; 3]) = [3; 2; 1]);
|
|
|
|
assert (to_list_rev (of_list_rev [1; 2; 3]) = [1; 2; 3]);
|
|
|
|
assert (map ((+) 1) (of_list [1; 2; 3]) = of_list [2; 3; 4]);
|
|
|
|
assert (to_list q12 = [1; 2]);
|
|
|
|
assert (fold_left (fun s v -> v :: s) [] q1234 = [4; 3; 2; 1]);
|
|
|
|
assert (fold_right (fun v s -> v :: s) [] q1234 = [1; 2; 3; 4]);
|
|
|
|
assert (fold_left (fun s v -> v :: s) [] q12 = [2; 1]);
|
|
|
|
assert (fold_right (fun v s -> v :: s) [] q12 = [1; 2]);
|