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 | |
parent | ca54c9a6577c7f556cc51bd7597f79e153e6c3e6 (diff) |
Added a module for type-parameter variance.
-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)) |