diff options
Diffstat (limited to 'src/marker.ml')
| -rw-r--r-- | src/marker.ml | 57 |
1 files changed, 24 insertions, 33 deletions
diff --git a/src/marker.ml b/src/marker.ml index 19b1be0..0c59804 100644 --- a/src/marker.ml +++ b/src/marker.ml | |||
| @@ -1,36 +1,27 @@ | |||
| 1 | module type Marker = sig | 1 | type t = Point |
| 2 | type t | 2 | | Pixel |
| 3 | val of_string : string -> t | 3 | | Circle |
| 4 | val pp : out_channel -> t -> unit | 4 | | TriangleDown |
| 5 | end | 5 | | TriangleUp |
| 6 | | TriangleLeft | ||
| 7 | | TriangleRight | ||
| 8 | | Custom of string | ||
| 6 | 9 | ||
| 7 | module Marker = struct | 10 | exception Invalid_marker_length |
| 8 | type t = Point | 11 | let of_string s = |
| 9 | | Pixel | 12 | if String.length s <> 1 |
| 10 | | Circle | 13 | then raise Invalid_marker_length |
| 11 | | TriangleDown | 14 | else Custom(s) |
| 12 | | TriangleUp | ||
| 13 | | TriangleLeft | ||
| 14 | | TriangleRight | ||
| 15 | | Custom of string | ||
| 16 | 15 | ||
| 17 | exception Invalid_marker_length | 16 | let pp channel n = |
| 18 | let of_string s = | 17 | (match n with |
| 19 | if String.length s <> 1 | 18 | | Point -> "." |
| 20 | then raise Invalid_marker_length | 19 | | Pixel -> "," |
| 21 | else Custom(s) | 20 | | Circle -> "o" |
| 22 | 21 | | TriangleDown -> "v" | |
| 23 | let pp channel n = | 22 | | TriangleUp -> "^" |
| 24 | (match n with | 23 | | TriangleLeft -> ">" |
| 25 | | Point -> "." | 24 | | TriangleRight -> "<" |
| 26 | | Pixel -> "," | 25 | | Custom(s) -> s) |
| 27 | | Circle -> "o" | 26 | |> Printf.fprintf channel "%s" |
| 28 | | TriangleDown -> "v" | ||
| 29 | | TriangleUp -> "^" | ||
| 30 | | TriangleLeft -> ">" | ||
| 31 | | TriangleRight -> "<" | ||
| 32 | | Custom(s) -> s) | ||
| 33 | |> Printf.fprintf channel "%s" | ||
| 34 | |||
| 35 | end | ||
| 36 | 27 | ||