aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/documentation/lux/data/identity.lux
blob: bdfa6dbd6106e6f44bf27f2b6a4797a367cb1884 (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 (.except nat int rev list or and)
   ["$" documentation]
   [data
    [text (.only \n)
     ["%" \\format (.only format)]]]]]
 [\\library
  ["[0]" /]])

(.def .public documentation
  (.List $.Module)
  ($.module /._
            ""
            [($.default /.functor)
             ($.default /.apply)
             ($.default /.monad)
             ($.default /.comonad)

             ($.definition (/.Identity it)
               "A value, as is, without any extra structure super-imposed on it.")]
            []))