From 561d0f0155f4906d90eb7e73a3ff9cb28909126f Mon Sep 17 00:00:00 2001
From: Sébastien Dailly <sebastien@chimrod.com>
Date: Fri, 5 Feb 2021 09:08:39 +0100
Subject: Update project structure

---
 script.it/path/builder.mli | 43 +++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 43 insertions(+)
 create mode 100755 script.it/path/builder.mli

(limited to 'script.it/path/builder.mli')

diff --git a/script.it/path/builder.mli b/script.it/path/builder.mli
new file mode 100755
index 0000000..2afbd4b
--- /dev/null
+++ b/script.it/path/builder.mli
@@ -0,0 +1,43 @@
+(** Signature for points *)
+module type P = sig
+  type t
+
+  val empty : t
+
+  val get_coord : t -> Gg.v2
+
+  (** Copy a point and all thoses properties to the given location *)
+  val copy : t -> Gg.v2 -> t
+
+end
+
+module Make(Point:P) : sig
+
+  type t
+
+  (** Create an empty path *)
+  val empty: t
+
+  val add_point
+    : Point.t -> t -> t
+
+  (** Replace the last alement in the path by the one given in parameter *)
+  val replace_last
+    : Point.t -> t -> t
+
+  (** Retrieve the last element, if any *)
+  val peek 
+    : t -> Point.t option
+
+  (** Retrieve the last element, if any *)
+  val peek2
+    : t -> (Point.t * Point.t) option
+
+  (** Represent the path *)
+  val repr
+    : t -> (module Repr.M with type point = Point.t and type t = 's) -> 's -> 's
+
+  val map 
+    : t -> (Point.t -> Point.t) -> t
+
+end
-- 
cgit v1.2.3