From 0d84fa13e6ae8455e4cf98caaf408f1a0649272a Mon Sep 17 00:00:00 2001 From: malc Date: Tue, 29 Nov 2016 10:30:16 +0300 Subject: [PATCH] Refactor --- keys.ml | 17 +++++++++++++ wsi.mli | 84 +---------------------------------------------------------------- 2 files changed, 18 insertions(+), 83 deletions(-) create mode 100644 keys.ml diff --git a/keys.ml b/keys.ml new file mode 100644 index 0000000..2e2faac --- /dev/null +++ b/keys.ml @@ -0,0 +1,17 @@ +type pv = + [`B | `F | `G | `H | `N | `P | `Q | `S | `W + | `backspace | `delete + | `escape | `insert | `enter + | `kpdelete | `kpdown | `kpend | `kpenter | `kphome | `kpleft | `kpminus + | `kpnext | `kpplus | `kpprior | `kpright | `kpup + | `up | `down | `left | `minus | `next | `home | `prior | `jend + | `question | `right | `slash | `space + | `plus| `tab | `tilde | `equals | `pipe + | `F1 | `F3 | `F9 + | `Gt | `Lt | `Lb | `Rb + | `apos + | `_0 | `_1 | `_2 | `_3 | `_4 | `_5 | `_6 | `_7 | `_8 | `_9 + | `a | `b | `c | `e | `f | `g | `h | `i | `j | `k | `l | `m + | `n | `o | `p | `q | `r | `s | `t | `u | `v | `w | `x | `y | `z + | `Code of int ] +;; diff --git a/wsi.mli b/wsi.mli index ef922d8..95064e5 100644 --- a/wsi.mli +++ b/wsi.mli @@ -59,86 +59,4 @@ val namekey : string -> int;; val setwinbgcol : int -> unit;; val keypadtodigitkey : int -> int;; val isspecialkey : int -> bool;; -val kc2pv : int -> [> `B - | `Code of int - | `F - | `F1 - | `F3 - | `F9 - | `G - | `Gt - | `H - | `Lb - | `Lt - | `N - | `P - | `Q - | `Rb - | `S - | `W - | `_0 - | `_1 - | `_2 - | `_3 - | `_4 - | `_9 - | `a - | `apos - | `b - | `backspace - | `c - | `delete - | `down - | `e - | `enter - | `equals - | `escape - | `f - | `g - | `h - | `home - | `i - | `insert - | `j - | `jend - | `k - | `kpdelete - | `kpdown - | `kpend - | `kpenter - | `kphome - | `kpleft - | `kpminus - | `kpnext - | `kpplus - | `kpprior - | `kpright - | `kpup - | `l - | `left - | `m - | `minus - | `n - | `next - | `o - | `p - | `pipe - | `plus - | `prior - | `q - | `question - | `r - | `right - | `s - | `slash - | `space - | `t - | `tab - | `tilde - | `u - | `up - | `v - | `w - | `x - | `y - | `z ];; +val kc2pv : int -> Keys.pv;; -- 2.11.4.GIT