aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorEduardo Julian2019-01-21 18:20:24 -0400
committerEduardo Julian2019-01-21 18:20:24 -0400
commit10009cd51d356fb97b06a32617a46d3fcece55cc (patch)
tree72d516e7593683f77d94dc9a16f05ab053913658
parentca54c9a6577c7f556cc51bd7597f79e153e6c3e6 (diff)
Added a module for type-parameter variance.
Diffstat (limited to '')
-rw-r--r--stdlib/source/lux/type/variance.lux11
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))