Skip to content

Instantly share code, notes, and snippets.

@jdmota

jdmota/Iterator.protocol Secret

Last active February 24, 2022 17:00
Show Gist options
  • Save jdmota/dcd796582b8e7ff68ff9bd9cae7aba55 to your computer and use it in GitHub Desktop.
Save jdmota/dcd796582b8e7ff68ff9bd9cae7aba55 to your computer and use it in GitHub Desktop.
Download ZIP
Example of droppable states
Raw
Iterator.protocol
typestate Iterator {
HasNext = {
boolean hasNext(): <true: Next, false: end>,
drop: end // This marks a state as droppable
}
Next = { String next(): HasNext }
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment