Moved path builder in a dedicated file

1 files changed, 33 insertions, 0 deletions

diff --git a/path/builder.mli b/path/builder.mli
new file mode 100755
index 0000000..d99e0b2
--- /dev/null
+++ b/path/builder.mli
@@ -0,0 +1,33 @@
+(** Signature for points *)
+module type P = sig
+  type t
+
+  val get_coord : t -> Gg.v2
+end
+
+
+module Make(P:P) : sig
+
+  type t
+
+  (** Create an empty path *)
+  val empty: t
+
+  val add_point
+    : P.t -> t -> t
+
+  (** Replace the last alement in the path by the one given in parameter *)
+  val replace_last
+    : P.t -> t -> t
+
+  (** Retrieve the last element, if any *)
+  val peek 
+    : t -> P.t option
+
+  (** Retrieve the last element, if any *)
+  val peek2
+    : t -> (P.t * P.t) option
+
+  val get
+    : t -> P.t list * Shapes.Bezier.t list
+end