package matrix

  1. Overview
  2. Docs
package matrix
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Source file border.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
let u = Uchar.of_int

type t = {
  top_left : Uchar.t;
  top_right : Uchar.t;
  bottom_left : Uchar.t;
  bottom_right : Uchar.t;
  horizontal : Uchar.t;
  vertical : Uchar.t;
  top_t : Uchar.t;
  bottom_t : Uchar.t;
  left_t : Uchar.t;
  right_t : Uchar.t;
  cross : Uchar.t;
}

type side = [ `Top | `Right | `Bottom | `Left ]

let all = [ `Top; `Right; `Bottom; `Left ]

(* Constants *)
let single =
  {
    top_left = u 0x250C;
    top_right = u 0x2510;
    bottom_left = u 0x2514;
    bottom_right = u 0x2518;
    horizontal = u 0x2500;
    vertical = u 0x2502;
    top_t = u 0x252C;
    bottom_t = u 0x2534;
    left_t = u 0x251C;
    right_t = u 0x2524;
    cross = u 0x253C;
  }

let double =
  {
    top_left = u 0x2554;
    top_right = u 0x2557;
    bottom_left = u 0x255A;
    bottom_right = u 0x255D;
    horizontal = u 0x2550;
    vertical = u 0x2551;
    top_t = u 0x2566;
    bottom_t = u 0x2569;
    left_t = u 0x2560;
    right_t = u 0x2563;
    cross = u 0x256C;
  }

let rounded =
  {
    single with
    top_left = u 0x256D;
    top_right = u 0x256E;
    bottom_left = u 0x2570;
    bottom_right = u 0x256F;
  }

let heavy =
  {
    top_left = u 0x250F;
    top_right = u 0x2513;
    bottom_left = u 0x2517;
    bottom_right = u 0x251B;
    horizontal = u 0x2501;
    vertical = u 0x2503;
    top_t = u 0x2533;
    bottom_t = u 0x253B;
    left_t = u 0x2523;
    right_t = u 0x252B;
    cross = u 0x254B;
  }

let ascii =
  let c v = Uchar.of_char v in
  {
    top_left = c '+';
    top_right = c '+';
    bottom_left = c '+';
    bottom_right = c '+';
    horizontal = c '-';
    vertical = c '|';
    top_t = c '+';
    bottom_t = c '+';
    left_t = c '+';
    right_t = c '+';
    cross = c '+';
  }

let empty =
  let s = Uchar.of_char ' ' in
  {
    top_left = s;
    top_right = s;
    bottom_left = s;
    bottom_right = s;
    horizontal = s;
    vertical = s;
    top_t = s;
    bottom_t = s;
    left_t = s;
    right_t = s;
    cross = s;
  }

let modify ?top_left ?top_right ?bottom_left ?bottom_right ?horizontal ?vertical
    ?top_t ?bottom_t ?left_t ?right_t ?cross t =
  let d default opt = Option.value ~default opt in
  {
    top_left = d t.top_left top_left;
    top_right = d t.top_right top_right;
    bottom_left = d t.bottom_left bottom_left;
    bottom_right = d t.bottom_right bottom_right;
    horizontal = d t.horizontal horizontal;
    vertical = d t.vertical vertical;
    top_t = d t.top_t top_t;
    bottom_t = d t.bottom_t bottom_t;
    left_t = d t.left_t left_t;
    right_t = d t.right_t right_t;
    cross = d t.cross cross;
  }