luau-lang/rfcs
1
0
Fork 0
mirror of https://github.com/luau-lang/rfcs.git synced 2025-04-19 19:34:00 +01:00
Code Issues Projects Releases Packages Wiki Activity

Removed overloading metamethods for now

Browse source
This commit is contained in:
Junseo Yoo 2024-07-03 09:57:28 -07:00
parent fd981bd74e
commit 406ea952e4
1 changed files with 0 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
docs/user-defined-type-functions.md
View file

@ -92,10 +92,6 @@ All attributes of newly created typelib are initialized with empty tables / arra
| `issubtypeof(arg: typelib)` | `boolean` | returns true if self is syntactically a subtype or equal to arg in the type hierarchy | | `issubtypeof(arg: typelib)` | `boolean` | returns true if self is syntactically a subtype or equal to arg in the type hierarchy |
| `equalsto(arg: typelib)` | `boolean` | returns true if self is syntactically equal to arg in the type hierarchy | | `equalsto(arg: typelib)` | `boolean` | returns true if self is syntactically equal to arg in the type hierarchy |
* `issubtypeof(arg: typelib)` and `equalsto(arg: typelib)` will also overload `__le` and `__eq` respectively
* e.g. `t1 <= t2` is equivalent to `t1:issubtypeof(t2)`
* e.g. `t1 == t2` is equivalent to `t1:equalsto(t2)`
| Static Methods | Return Type | Description | | Static Methods | Return Type | Description |
| ------------- | ------------- | ------------- | | ------------- | ------------- | ------------- |
| `getnegation(arg: typelib)` | `typelib` | returns an immutable runtime representation of the negation of the argument; the argument cannot be `istable()`, `ismetatable` or `isfunction()` | | `getnegation(arg: typelib)` | `typelib` | returns an immutable runtime representation of the negation of the argument; the argument cannot be `istable()`, `ismetatable` or `isfunction()` |
@ -162,10 +158,6 @@ All attributes of newly created typelib are initialized with empty tables / arra
| `setmetatable(arg: typelib)` | `nil` | sets self's metatable to the argument; both self and the argument need to be `ismetatable()` | | `setmetatable(arg: typelib)` | `nil` | sets self's metatable to the argument; both self and the argument need to be `ismetatable()` |
| `getmetatable()` | `typelib?` | returns self's runtime representation of metatable if it exists, else nil; self needs to be `ismetatable()` | | `getmetatable()` | `typelib?` | returns self's runtime representation of metatable if it exists, else nil; self needs to be `ismetatable()` |
* `addprop(key: typelib, value: typelib)` will also overload `__newindex`
* e.g. `t["myprop"] = mytype -- adds the prop`
* e.g. `t["myprop"] = nil -- deletes the prop`
#### Function #### Function
| Instance Methods | Return Type | Description | | Instance Methods | Return Type | Description |