From 10009cd51d356fb97b06a32617a46d3fcece55cc Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Mon, 21 Jan 2019 18:20:24 -0400
Subject: Added a module for type-parameter variance.

---
 stdlib/source/lux/type/variance.lux | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 stdlib/source/lux/type/variance.lux

(limited to 'stdlib')

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))
-- 
cgit v1.2.3