aboutsummaryrefslogtreecommitdiff
path: root/path/builder.mli
diff options
context:
space:
mode:
Diffstat (limited to 'path/builder.mli')
-rwxr-xr-xpath/builder.mli29
1 files changed, 13 insertions, 16 deletions
diff --git a/path/builder.mli b/path/builder.mli
index 7f34f10..8c8081b 100755
--- a/path/builder.mli
+++ b/path/builder.mli
@@ -14,23 +14,23 @@ end
module type REPR = sig
type t
- type 'a repr
+ type repr
(* Start a new path. *)
val start
- : t -> 'a repr -> 'a repr
+ : t -> repr -> repr
val line_to
- : t -> t -> 'a repr -> 'a repr
+ : t -> t -> repr -> repr
val quadratic_to
- : t -> Gg.v2 -> Gg.v2 -> t -> 'a repr -> 'a repr
+ : t -> Gg.v2 -> Gg.v2 -> t -> repr -> repr
val stop
- : 'a repr -> 'a repr
+ : repr -> repr
end
-module Make(P:P) : sig
+module Make(Point:P) : sig
type t
@@ -38,25 +38,22 @@ module Make(P:P) : sig
val empty: t
val add_point
- : P.t -> t -> t
+ : Point.t -> t -> t
(** Replace the last alement in the path by the one given in parameter *)
val replace_last
- : P.t -> t -> t
+ : Point.t -> t -> t
(** Retrieve the last element, if any *)
val peek
- : t -> P.t option
+ : t -> Point.t option
(** Retrieve the last element, if any *)
val peek2
- : t -> (P.t * P.t) option
+ : t -> (Point.t * Point.t) option
- module Draw(Repr:REPR with type t = P.t) : sig
-
- (** Represent the the current path *)
- val draw
- : t -> 'a Repr.repr -> 'a Repr.repr
- end
+ (** Represent the path *)
+ val repr
+ : t -> (module REPR with type t = Point.t and type repr = 's) -> 's -> 's
end