aboutsummaryrefslogtreecommitdiff
path: root/layer/repr.ml
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@chimrod.com>2021-01-11 05:36:46 +0100
committerSébastien Dailly <sebastien@chimrod.com>2021-01-11 13:55:43 +0100
commit979be5f588a1ffd6e1d060cd794e87526d517b7a (patch)
treea96605b6ae27bcf646b17f022acf7f5f0cf0b8bf /layer/repr.ml
parent85b40e5712fcbe76c697d1a22fb126db8079098c (diff)
Layer review
Diffstat (limited to 'layer/repr.ml')
-rwxr-xr-xlayer/repr.ml32
1 files changed, 31 insertions, 1 deletions
diff --git a/layer/repr.ml b/layer/repr.ml
index f2d114c..85b0f3b 100755
--- a/layer/repr.ml
+++ b/layer/repr.ml
@@ -9,7 +9,7 @@ module type PRINTER = sig
val line_to: Gg.v2 -> t -> t
- (** [quadratic_to ctrl0 ctrl1 p1] ctreate a quadratic curve from the current
+ (** [quadratic_to ctrl0 ctrl1 p1] create a quadratic curve from the current
point to [p1], with control points [ctrl0] and [ctrl1] *)
val quadratic_to: Gg.v2 -> Gg.v2 -> Gg.v2 -> t -> t
@@ -17,3 +17,33 @@ module type PRINTER = sig
val close: t -> t
end
+
+module type LAYER = sig
+ type t
+
+ type point = Path.Point.t
+
+ type repr
+
+ val get
+ : t -> repr
+
+ val create_path
+ : (repr -> repr) -> t
+
+ val start
+ : point -> point -> t -> t
+
+ val line_to
+ : (point * point) -> (point * point) -> t -> t
+
+ val quadratic_to
+ : (point * Gg.v2 * Gg.v2 * point)
+ -> (point * Gg.v2 * Gg.v2 * point)
+ -> t
+ -> t
+
+ val stop
+ : t -> t
+
+end