aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/type/unit.lux
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/library/lux/type/unit.lux19
1 files changed, 3 insertions, 16 deletions
diff --git a/stdlib/source/library/lux/type/unit.lux b/stdlib/source/library/lux/type/unit.lux
index e18af25b0..c4f1e5e58 100644
--- a/stdlib/source/library/lux/type/unit.lux
+++ b/stdlib/source/library/lux/type/unit.lux
@@ -28,7 +28,7 @@
abstract]]])
(abstract: .public (Qty unit)
- {#.doc (example "A quantity with an associated unit of measurement.")}
+ {}
Int
@@ -62,14 +62,12 @@
)
(interface: .public (Unit a)
- {#.doc (example "A unit of measurement, to qualify numbers with.")}
(: (-> Int (Qty a))
in)
(: (-> (Qty a) Int)
out))
(interface: .public (Scale s)
- {#.doc (example "A scale of magnitude.")}
(: (All [u] (-> (Qty u) (Qty (s u))))
scale)
(: (All [u] (-> (Qty (s u)) (Qty u)))
@@ -78,7 +76,6 @@
ratio))
(type: .public Pure
- {#.doc (example "A pure, unit-less quantity.")}
(Qty Any))
(def: .public pure
@@ -95,10 +92,6 @@
<code>.local_identifier
<code>.local_identifier
(<>.else |annotations|.empty |annotations|.parser)))])
- {#.doc (example "Define a unit of measurement."
- "Both the name of the type, and the name of the Unit implementation must be specified."
- (unit: .public Feet feet
- {#.doc (example "Optional annotations.")}))}
(do meta.monad
[@ meta.current_module_name
.let [g!type (code.local_identifier type_name)]]
@@ -131,10 +124,6 @@
<code>.local_identifier
..scale
(<>.else |annotations|.empty |annotations|.parser)))])
- {#.doc (example "Define a scale of magnitude."
- (scale: .public Bajillion bajillion
- [1 1,234,567,890]
- {#.doc (example "Optional annotations.")}))}
(do meta.monad
[.let [(^slots [#ratio.numerator #ratio.denominator]) ratio]
@ meta.current_module_name
@@ -176,8 +165,7 @@
(template [<type> <from> <to>]
[(`` (scale: .public <type>
(~~ (implementation_name <type>))
- [<from> <to>]
- {#.doc (example (~~ (template.text ["'" <type> "' scale from " <from> " to " <to> "."])))}))]
+ [<from> <to>]))]
[Kilo 1 1,000]
[Mega 1 1,000,000]
@@ -190,8 +178,7 @@
(template [<type>]
[(`` (unit: .public <type>
- (~~ (implementation_name <type>))
- {#.doc (example (~~ (template.text ["'" <type> "' unit of meaurement."])))}))]
+ (~~ (implementation_name <type>))))]
[Gram]
[Meter]