diff options
Diffstat (limited to 'stdlib/source/library/lux/type/variance.lux')
| -rw-r--r-- | stdlib/source/library/lux/type/variance.lux | 22 |
1 files changed, 12 insertions, 10 deletions
diff --git a/stdlib/source/library/lux/type/variance.lux b/stdlib/source/library/lux/type/variance.lux index b4fe87431..49563c465 100644 --- a/stdlib/source/library/lux/type/variance.lux +++ b/stdlib/source/library/lux/type/variance.lux @@ -16,11 +16,12 @@ (type: .public (Mutable r w) (Primitive "#Mutable" [(-> w r)])) -(template [<name> <type>] - [(template: .public (<name> it) - [((.is (.All (_ r w) <type>) - (.|>> .as_expected)) - it)])] +(with_template [<name> <type>] + [(def: .public <name> + (template (<name> it) + [((.is (.All (_ r w) <type>) + (.|>> .as_expected)) + it)]))] [read (.-> (..Mutable r w) r)] [write (.-> w (..Mutable r w))] @@ -32,11 +33,12 @@ (type: .public (Write_Only a) (Mutable Any a)) -(template [<name> <type>] - [(template: .public (<name> it) - [((.is (.All (_ r w) <type>) - (.|>>)) - it)])] +(with_template [<name> <type>] + [(def: .public <name> + (template (<name> it) + [((.is (.All (_ r w) <type>) + (.|>>)) + it)]))] [read_only (.-> (..Mutable r w) (..Read_Only r))] [write_only (.-> (..Mutable r w) (..Write_Only w))] |