diff options
Diffstat (limited to 'path/builder.mli')
-rwxr-xr-x | path/builder.mli | 29 |
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 |