diff options
| author | Eduardo Julian | 2022-07-30 23:13:24 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-07-30 23:13:24 -0400 |
| commit | 6ec8f5d2f6cbf8db45f91e5c4b48c6ec17659f72 (patch) | |
| tree | 4af1db76b4aec333114f236bc88b9ccddc643e26 /stdlib/source/documentation/lux/meta/type/variance.lux | |
| parent | 2d125c27e1ceb0adc14fd82f6984b70a12eda650 (diff) | |
Extracted test-tallying machinery into its own module.
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/documentation/lux/meta/type/variance.lux | 25 |
1 files changed, 13 insertions, 12 deletions
diff --git a/stdlib/source/documentation/lux/meta/type/variance.lux b/stdlib/source/documentation/lux/meta/type/variance.lux index fa6c3e36f..5dcc89f9d 100644 --- a/stdlib/source/documentation/lux/meta/type/variance.lux +++ b/stdlib/source/documentation/lux/meta/type/variance.lux @@ -1,6 +1,6 @@ (.require [library - [lux (.except and) + [lux (.except) ["$" documentation] [data ["[0]" text (.only \n) @@ -11,16 +11,17 @@ [\\library ["[0]" /]]) -(.def .public documentation - (.List $.Module) - ($.module /._ - "" - [($.definition (/.Co it) - "A constraint for covariant types.") +(def .public documentation + (List $.Documentation) + (list ($.module /._ + "") - ($.definition (/.Contra it) - "A constraint for contravariant types.") + ($.definition (/.Co it) + "A constraint for covariant types.") - ($.definition (/.In it) - "A constraint for invariant types.")] - [])) + ($.definition (/.Contra it) + "A constraint for contravariant types.") + + ($.definition (/.In it) + "A constraint for invariant types.") + )) |