diff options
Diffstat (limited to 'script.it/layer/repr.ml')
| -rwxr-xr-x | script.it/layer/repr.ml | 37 |
1 files changed, 14 insertions, 23 deletions
diff --git a/script.it/layer/repr.ml b/script.it/layer/repr.ml index 552e2b7..4bc5520 100755 --- a/script.it/layer/repr.ml +++ b/script.it/layer/repr.ml @@ -1,21 +1,21 @@ -module type PRINTER = sig +module Path = Script_path +module type PRINTER = sig type t - val create: unit -> t + val create : unit -> t (* Start a new path. *) - val move_to: Gg.v2 -> t -> t + val move_to : Gg.v2 -> t -> t - val line_to: Gg.v2 -> t -> t + val line_to : Gg.v2 -> t -> t + val quadratic_to : Gg.v2 -> Gg.v2 -> Gg.v2 -> t -> t (** [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 + val close : t -> t (** Request for the path to be closed *) - val close: t -> t - end module type ENGINE = sig @@ -25,25 +25,16 @@ module type ENGINE = sig type repr - val get - : t -> repr - - val create_path - : (repr -> repr) -> t + val get : t -> repr - val start - : point -> point -> t -> t + val create_path : (repr -> repr) -> t - val line_to - : (point * point) -> (point * point) -> t -> t + val start : point -> point -> t -> t - val quadratic_to - : (point * Gg.v2 * Gg.v2 * point) - -> (point * Gg.v2 * Gg.v2 * point) - -> t - -> t + val line_to : point * point -> point * point -> t -> t - val stop - : t -> t + val quadratic_to : + point * Gg.v2 * Gg.v2 * point -> point * Gg.v2 * Gg.v2 * point -> t -> t + val stop : t -> t end |