From ecdb14837e06dcc826bc9c1d9c7b939da3fb28b1 Mon Sep 17 00:00:00 2001
From: Daniil Baturin <daniil@baturin.org>
Date: Sat, 28 Feb 2015 08:56:35 +0600
Subject: Factor out list operations from vytree.

---
 _oasis                |  5 +++++
 src/vylist/vylist.ml  | 17 +++++++++++++++++
 src/vylist/vylist.mli |  3 +++
 3 files changed, 25 insertions(+)
 create mode 100644 src/vylist/vylist.ml
 create mode 100644 src/vylist/vylist.mli

diff --git a/_oasis b/_oasis
index 17612e7..6a2c9ee 100644
--- a/_oasis
+++ b/_oasis
@@ -11,9 +11,14 @@ OASISFormat: 0.4
 BuildTools: ocamlbuild
 Plugins: META (0.4), DevFiles (0.4)
 
+Library	"vylist"
+  Path:	src/vylist
+  Modules: Vylist
+
 Library "vytree"
   Path: src
   Modules: Vytree
+  BuildDepends: vylist
 
 Executable "vyconfd"
   Path: src
diff --git a/src/vylist/vylist.ml b/src/vylist/vylist.ml
new file mode 100644
index 0000000..c7d0396
--- /dev/null
+++ b/src/vylist/vylist.ml
@@ -0,0 +1,17 @@
+let rec find p xs =
+    match xs with
+    | [] -> None
+    | x :: xs' -> if (p x) then (Some x)
+                  else find p xs'
+
+let rec remove p xs =
+    match xs with
+    | [] -> []
+    | x :: xs' -> if (p x) then xs'
+                  else x :: (remove p xs)
+
+let rec replace p x xs=
+    match xs with
+    | [] -> []
+    | x' :: xs' -> if (p x') then x :: xs'
+                   else x' :: (replace p x xs')
diff --git a/src/vylist/vylist.mli b/src/vylist/vylist.mli
new file mode 100644
index 0000000..266ec95
--- /dev/null
+++ b/src/vylist/vylist.mli
@@ -0,0 +1,3 @@
+val find : ('a -> bool) -> 'a list -> 'a option
+val remove : ('a -> bool) -> 'a list -> 'a list
+val replace : ('a -> bool) -> 'a -> 'a list -> 'a list
-- 
cgit v1.2.3