diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/library/lux/type/variance.lux | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/stdlib/source/library/lux/type/variance.lux b/stdlib/source/library/lux/type/variance.lux index 2a7d65267..8755777b9 100644 --- a/stdlib/source/library/lux/type/variance.lux +++ b/stdlib/source/library/lux/type/variance.lux @@ -3,10 +3,13 @@ [lux #*]]) (type: .public (Co t) + {#.doc (doc "A constraint for covariant types.")} (-> Any t)) (type: .public (Contra t) + {#.doc (doc "A constraint for contravariant types.")} (-> t Any)) (type: .public (In t) + {#.doc (doc "A constraint for invariant types.")} (-> t t)) |