aboutsummaryrefslogtreecommitdiff
path: root/path/builder.mli
diff options
context:
space:
mode:
Diffstat (limited to 'path/builder.mli')
-rwxr-xr-xpath/builder.mli33
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