diff options
Diffstat (limited to 'layer/repr.ml')
-rwxr-xr-x | layer/repr.ml | 32 |
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 |