summaryrefslogtreecommitdiff
path: root/layer/repr.ml
diff options
context:
space:
mode:
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