aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/documentation/lux/abstract/codec.lux
blob: d90b32b19b23fb3032466892ae919d6e99888c04 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
(.require
 [library
  [lux
   ["$" documentation (.only documentation)]]]
 [\\library
  ["[0]" /]])

(.def .public documentation
  (.List $.Module)
  ($.module /._
            ""
            [(documentation (/.Codec medium value)
               "A way to move back-and-forth between a type and an alternative representation for it.")

             (documentation /.composite
               "Codec composition."
               [(is (Codec c a)
                    (composite (is (Codec c b)
                                   cb_codec)
                               (is (Codec b a)
                                   ba_codec)))])]
            []))