This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
""" | |
Sometimes it's useful to put an `iso` into a tuple. However, given iso's extreme | |
reference restrictions, it may not be clear as how to extract said isolate from | |
the tuple later on. The main thing to remember about any isolates in a tuple is | |
that there's no extracting them without completely breaking apart the tuple. | |
The reference to the containing tuple must be consumed, and therefor destroyed | |
so that the extracted iso is the only iso. | |
(Note: types are made explicit for clarity, but also provides the compiler our | |
intent of dealing with an iso, and not an alias (iso!). Doing this will often |