aboutsummaryrefslogtreecommitdiff
path: root/layer/repr.ml
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@chimrod.com>2021-02-05 09:08:39 +0100
committerSébastien Dailly <sebastien@dailly.me>2022-02-07 14:39:30 +0100
commit561d0f0155f4906d90eb7e73a3ff9cb28909126f (patch)
tree9a606c2d7832272ea33d7052512a5fa59805d582 /layer/repr.ml
parent86ec559f913c389e8dc055b494630f21a45e039b (diff)
Update project structure
Diffstat (limited to 'layer/repr.ml')
-rwxr-xr-xlayer/repr.ml49
1 files changed, 0 insertions, 49 deletions
diff --git a/layer/repr.ml b/layer/repr.ml
deleted file mode 100755
index 552e2b7..0000000
--- a/layer/repr.ml
+++ /dev/null
@@ -1,49 +0,0 @@
-module type PRINTER = sig
-
- type t
-
- val create: unit -> t
-
- (* Start a new path. *)
- val move_to: Gg.v2 -> t -> t
-
- val line_to: 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
-
- (** Request for the path to be closed *)
- val close: t -> t
-
-end
-
-module type ENGINE = 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