summaryrefslogtreecommitdiff
path: root/path/repr.ml
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/repr.ml
parente5c2a971644746818f8764481c60c4c5cf1a80c4 (diff)
First commit
Diffstat (limited to 'path/repr.ml')
-rwxr-xr-xpath/repr.ml19
1 files changed, 19 insertions, 0 deletions
diff --git a/path/repr.ml b/path/repr.ml
new file mode 100755
index 0000000..b91442b
--- /dev/null
+++ b/path/repr.ml
@@ -0,0 +1,19 @@
+module type PRINTER = sig
+
+ type 'a t
+
+ val create: unit -> 'a t
+
+ (* Start a new path. *)
+ val move_to: Gg.v2 -> 'a t -> 'a t
+
+ val line_to: Gg.v2 -> 'a t -> 'a t
+
+ (** [quadratic_to ctrl0 ctrl1 p1] ctreate a quadratic curve from the current
+ point to [p1], with control points [ctrl0] and [ctrl1] *)
+ val quadratic_to: Gg.v2 -> Gg.v2 -> Gg.v2 -> 'a t -> 'a t
+
+ (** Request for the path to be closed *)
+ val close: 'a t -> 'a t
+
+end