scala.caps.unsafe
AttributesMarks the constructor parameter as untracked. The capture set of this parameter will not be included in the capture set of the constructed object.
Marks the constructor parameter as untracked. The capture set of this parameter will not be included in the capture set of the constructed object.
AttributesThis should go into annotations. For now it is here, so that we can experiment with it quickly between minor releases
A wrapper around code for which separation checks are suppressed.
A wrapper around code for which separation checks are suppressed.
AttributesA specific cast operation to remove a capture set. If argument is of type T^C
, assume it is of type T
instead. Calls to this method are treated specially by the capture checker.
A specific cast operation to remove a capture set. If argument is of type T^C
, assume it is of type T
instead. Calls to this method are treated specially by the capture checker.
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4