aboutsummaryrefslogtreecommitdiff
path: root/path/point.mli
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@chimrod.com>2020-12-19 19:59:17 +0100
committerSébastien Dailly <sebastien@chimrod.com>2020-12-19 19:59:17 +0100
commit0faaa5fda396f0eca6bebf69f3624a344278fa6e (patch)
treecbca5d2f306506c0896f83b8bdd45b777c78aa35 /path/point.mli
parente5c2a971644746818f8764481c60c4c5cf1a80c4 (diff)
First commit
Diffstat (limited to 'path/point.mli')
-rwxr-xr-xpath/point.mli25
1 files changed, 25 insertions, 0 deletions
diff --git a/path/point.mli b/path/point.mli
index 4b75c3c..6418de4 100755
--- a/path/point.mli
+++ b/path/point.mli
@@ -1,10 +1,35 @@
type t
+val empty : t
+
val (+): t -> Gg.v2 -> t
val get_coord : t -> Gg.v2
val create: float -> float -> t
+val copy : t -> Gg.v2 -> t
+
val get_coord'
: t -> Gg.v2
+
+type 'a repr
+
+val create_path
+ : unit -> 'a repr
+
+(* Start a new path. *)
+val start
+ : t -> 'a repr -> 'a repr
+
+val line_to
+ : t -> 'a repr -> 'a repr
+
+val quadratic_to
+ : t -> t -> t -> t -> 'a repr -> 'a repr
+
+val stop
+ : 'a repr -> 'a repr
+
+val get
+ : 'a repr -> 'a CanvaPrinter.t