aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/documentation/lux/abstract/codec.lux
blob: 0bf5a020c6f48f0a327a5009ba6ade08678f4ae4 (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]]]
 [\\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)))])]
            []))