aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/documentation/lux/meta/type/dynamic.lux
blob: 861d7143fb252f137ee41774936fd5cdc32456f6 (plain)
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
(.require
 [library
  [lux (.except static)
   ["$" documentation]
   [data
    ["[0]" text (.only \n)
     ["%" \\format (.only format)]]]
   [macro
    ["[0]" template]]]]
 [\\library
  ["[0]" /]])

(.def .public documentation
  (.List $.Module)
  ($.module /._
            ""
            [($.default /.wrong_type)
             ($.default /.format)

             ($.documentation /.Dynamic
               "A value coupled with its type, so it can be checked later.")

             ($.documentation /.dynamic
               ""
               [(is Dynamic
                    (dynamic 123))])

             ($.documentation /.static
               ""
               [(is (try.Try Nat)
                    (static Nat (dynamic 123)))])]
            []))