Source file builtins_null.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
(*****************************************************************************

  Liquidsoap, a programmable stream generator.
  Copyright 2003-2024 Savonet team

  This program is free software; you can redistribute it and/or modify
  it under the terms of the GNU General Public License as published by
  the Free Software Foundation; either version 2 of the License, or
  (at your option) any later version.

  This program is distributed in the hope that it will be useful,
  but WITHOUT ANY WARRANTY; without even the implied warranty of
  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  GNU General Public License for more details, fully stated in the COPYING
  file at the root of the liquidsoap distribution.

  You should have received a copy of the GNU General Public License
  along with this program; if not, write to the Free Software
  Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301  USA

 *****************************************************************************)

let null =
  let a = Lang.univ_t () in
  Lang.add_builtin "null" ~category:`Programming
    ~descr:"Create a nullable value."
    [("", Lang.nullable_t a, Some Lang.null, Some "Value to make nullable.")]
    (Lang.nullable_t a)
    (fun p ->
      match Lang.to_option (List.assoc "" p) with
        | Some x -> x
        | None -> Lang.null)

let _ =
  let a = Lang.univ_t () in
  let b = Lang.univ_t () in
  Lang.add_builtin ~base:null "case" ~category:`Programming
    ~descr:"Return a result dending on whether a value is nothing or not."
    [
      ("", Lang.nullable_t a, None, Some "Value to reason by case analysis on.");
      ( "",
        Lang.fun_t [] b,
        None,
        Some "Value to return in case we have nothing." );
      ( "",
        Lang.fun_t [(false, "", a)] b,
        None,
        Some "Value to return in case we have something." );
    ]
    b
    (fun p ->
      let x = Lang.assoc "" 1 p in
      let d = Lang.to_fun (Lang.assoc "" 2 p) in
      let f = Lang.to_fun (Lang.assoc "" 3 p) in
      match Lang.to_option x with None -> d [] | Some x -> f [("", x)])

let _ =
  let a = Lang.univ_t () in
  Lang.add_builtin ~base:null "default" ~category:`Programming
    ~descr:"Return a result dending on whether a value is nothing or not."
    [
      ("", Lang.nullable_t a, None, Some "Value to reason by case analysis on.");
      ( "",
        Lang.fun_t [] a,
        None,
        Some "Value to return in case we have nothing." );
    ]
    a
    (fun p ->
      let x = Lang.assoc "" 1 p in
      let d = Lang.assoc "" 2 p in
      match Lang.to_option x with None -> Lang.apply d [] | Some x -> x)