Repository navigation

Add 'stream' and 'future' types - #405

Merged

lukewagner merged 22 commits into

mainfrom

add-stream

Nov 7, 2024

Commits on Nov 7, 2024
- Add 'stream' and 'future' types
  lukewagner
  committed
  7d1034a
- Grammar fix
  
  lukewagner
  and
  dicej
  committed
  e8198f7
- Spelling fix
  
  lukewagner
  and
  dicej
  committed
  e6469e8
- Clarify wording in Async.md concerning the writable end
  lukewagner
  committed
  15298d5
- Mention the callback option alongside task.wait
  lukewagner
  committed
  fa3cd3a
- Add <typeidx> to {stream,future}.{read,write}
  lukewagner
  committed
  a864991
- Handle the concurrently-closed case in {stream,future}.cancel-{read,write}
  lukewagner
  committed
  0b5247f
- Add note on spec-internal state vs. implementation
  lukewagner
  committed
  b20409a
- Update channel/pipe wording
  
  lukewagner
  and
  sunfishcode
  committed
  a15ec3f
- Improve wording
  
  lukewagner
  and
  sunfishcode
  committed
  4e456d7
- Put the canonopts on {stream,future}.{read,write} instead of copying from canon lift/lower
  lukewagner
  committed
  08b1387
- Allow sync task.{wait,yield,poll} and {stream,future}.{read,write}
  lukewagner
  committed
  87f7b85
- Only enforce scoping for streams/futures containing borrows
  lukewagner
  committed
  300c86c
- Break waitable.drop into subtask.drop and {stream,future}.close-{readable,writable}
  lukewagner
  committed
  70d727a
- Remove dangling syntax rule for waitable.drop
  lukewagner
  committed
  3cf3d5f
- Update subsection links and other dangling waitable.drop reference
  lukewagner
  committed
  4581ba5
- Add 'error' type and 'canon error.{new,debug-message,drop}' built-ins
  lukewagner
  committed
  e074f41
- Update {stream,future}.close-writable descriptions
  lukewagner
  committed
  30061e5
- Add example to explainer text about 'error'
  lukewagner
  committed
  4306ee2
- Remove restriction on write-before-lift, remove invalid assert, add test
  lukewagner
  committed
  fcea885
- Add <typeidx> to {stream,future}.cancel-{read,write}
  lukewagner
  committed
  f9b341b
- Rename 'error' to 'error-context'
  lukewagner
  committed
  e8d192e

Navigation Menu

Repository navigation

Add 'stream' and 'future' types - #405

Add 'stream' and 'future' types#405
lukewagner merged 22 commits into
mainfrom
add-stream

Commits on Nov 7, 2024

Add 'stream' and 'future' types

Grammar fix

Spelling fix

Clarify wording in Async.md concerning the writable end

Mention the callback option alongside task.wait

Add <typeidx> to {stream,future}.{read,write}

Handle the concurrently-closed case in {stream,future}.cancel-{read,write}

Add note on spec-internal state vs. implementation

Update channel/pipe wording

Improve wording

Put the canonopts on {stream,future}.{read,write} instead of copying from canon lift/lower

Allow sync task.{wait,yield,poll} and {stream,future}.{read,write}

Only enforce scoping for streams/futures containing borrows

Break waitable.drop into subtask.drop and {stream,future}.close-{readable,writable}

Remove dangling syntax rule for waitable.drop

Update subsection links and other dangling waitable.drop reference

Add 'error' type and 'canon error.{new,debug-message,drop}' built-ins

Update {stream,future}.close-writable descriptions

Add example to explainer text about 'error'

Remove restriction on write-before-lift, remove invalid assert, add test

Add <typeidx> to {stream,future}.cancel-{read,write}

Rename 'error' to 'error-context'