diff options
| -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)) |