Source file file_kind.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
type t = Unix.file_kind =
  | S_REG
  | S_DIR
  | S_CHR
  | S_BLK
  | S_LNK
  | S_FIFO
  | S_SOCK

let to_string = function
  | S_REG -> "S_REG"
  | S_DIR -> "S_DIR"
  | S_CHR -> "S_CHR"
  | S_BLK -> "S_BLK"
  | S_LNK -> "S_LNK"
  | S_FIFO -> "S_FIFO"
  | S_SOCK -> "S_SOCK"
;;

let to_string_hum = function
  | S_REG -> "regular file"
  | S_DIR -> "directory"
  | S_CHR -> "character device"
  | S_BLK -> "block device"
  | S_LNK -> "symbolic link"
  | S_FIFO -> "named pipe"
  | S_SOCK -> "socket"
;;

let equal x y =
  match x, y with
  | S_REG, S_REG -> true
  | S_REG, _ | _, S_REG -> false
  | S_DIR, S_DIR -> true
  | S_DIR, _ | _, S_DIR -> false
  | S_CHR, S_CHR -> true
  | S_CHR, _ | _, S_CHR -> false
  | S_BLK, S_BLK -> true
  | S_BLK, _ | _, S_BLK -> false
  | S_LNK, S_LNK -> true
  | S_LNK, _ | _, S_LNK -> false
  | S_FIFO, S_FIFO -> true
  | S_FIFO, _ | _, S_FIFO -> false
  | S_SOCK, S_SOCK -> true
;;

let to_dyn t = Dyn.String (to_string t)