diff options
author | Sébastien Dailly <sebastien@chimrod.com> | 2021-01-11 05:36:46 +0100 |
---|---|---|
committer | Sébastien Dailly <sebastien@chimrod.com> | 2021-01-11 13:55:43 +0100 |
commit | 979be5f588a1ffd6e1d060cd794e87526d517b7a (patch) | |
tree | a96605b6ae27bcf646b17f022acf7f5f0cf0b8bf /layer/repr.ml | |
parent | 85b40e5712fcbe76c697d1a22fb126db8079098c (diff) |
Layer review
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 |