From 979be5f588a1ffd6e1d060cd794e87526d517b7a Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Mon, 11 Jan 2021 05:36:46 +0100 Subject: Layer review --- layer/repr.ml | 32 +++++++++++++++++++++++++++++++- 1 file changed, 31 insertions(+), 1 deletion(-) (limited to 'layer/repr.ml') 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 -- cgit v1.2.3