diff options
| author | Eduardo Julian | 2019-01-21 18:20:24 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2019-01-21 18:20:24 -0400 |
| commit | 10009cd51d356fb97b06a32617a46d3fcece55cc (patch) | |
| tree | 72d516e7593683f77d94dc9a16f05ab053913658 /stdlib/source | |
| parent | ca54c9a6577c7f556cc51bd7597f79e153e6c3e6 (diff) | |
Added a module for type-parameter variance.
Diffstat (limited to 'stdlib/source')
| -rw-r--r-- | stdlib/source/lux/type/variance.lux | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/stdlib/source/lux/type/variance.lux b/stdlib/source/lux/type/variance.lux new file mode 100644 index 000000000..4ffe94780 --- /dev/null +++ b/stdlib/source/lux/type/variance.lux @@ -0,0 +1,11 @@ +(.module: + [lux #*]) + +(type: #export (CoV t) + (-> Any t)) + +(type: #export (ContraV t) + (-> t Any)) + +(type: #export (InV t) + (-> t t)) |