summaryrefslogtreecommitdiff
path: root/path/builder.mli
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@chimrod.com>2020-12-30 11:41:01 +0100
committerSébastien Dailly <sebastien@chimrod.com>2020-12-30 11:41:01 +0100
commite25b7797708c19cbaef68c14ebef8738de44c2d9 (patch)
tree6d778a7bca390c496ee95cfb337f2f26fe0aa5c3 /path/builder.mli
parentfae31bdb659b4b14322136e045ea565d38bbd04f (diff)
Refactor
Diffstat (limited to 'path/builder.mli')
-rwxr-xr-xpath/builder.mli22
1 files changed, 2 insertions, 20 deletions
diff --git a/path/builder.mli b/path/builder.mli
index ca496f7..7f34f10 100755
--- a/path/builder.mli
+++ b/path/builder.mli
@@ -34,17 +34,15 @@ module Make(P:P) : sig
type t
- type fixedPath
-
(** Create an empty path *)
val empty: t
val add_point
- : P.t -> t -> t * fixedPath option
+ : P.t -> t -> t
(** Replace the last alement in the path by the one given in parameter *)
val replace_last
- : P.t -> t -> t * fixedPath option
+ : P.t -> t -> t
(** Retrieve the last element, if any *)
val peek
@@ -61,20 +59,4 @@ module Make(P:P) : sig
: t -> 'a Repr.repr -> 'a Repr.repr
end
- val to_fixed : t -> fixedPath
-
- module DrawFixed(Repr:REPR with type t = P.t) : sig
- val draw
- : fixedPath -> 'a Repr.repr -> 'a Repr.repr
- end
-
- (** Return the shortest distance between the mouse and a point *)
- val distance
- : Gg.v2 -> fixedPath -> float option
-
- val id
- : fixedPath -> int
-
- val map_point
- : fixedPath -> (P.t -> P.t) -> fixedPath
end