Code

Add Lwt_seq, adapted from Stdlib#836

Code

Merged

raphael-proust merged 13 commits intoocsigen:masterocsigen/lwt:masterfrom zshipko:lwt-seqzshipko/lwt:lwt-seqCopy head branch name to clipboardFeb 23, 2021

+308

Commits

Commits on Feb 2, 2021

• Add Lwt_seq

  zshipko

  committed
  5f39cf2

  Copy full SHA for 5f39cf2

• A few more tests

  zshipko

  committed
  bcffeab

  Copy full SHA for bcffeab

• Cleanup unnecessary allocations

  zshipko

  committed
  9bb5084

  Copy full SHA for 9bb5084

• Remove usage of Seq.cons

  zshipko

  committed
  0aa73a5

  Copy full SHA for 0aa73a5

• Docs

  zshipko

  committed
  ccc203d

  Copy full SHA for ccc203d

• Defer exceptions in conversions between Seq and Lwt_seq

  zshipko

  committed
  b4c10f5

  Copy full SHA for b4c10f5

• Add test for Lwt_seq -> Seq exceptions

  zshipko

  committed
  ce5f46c

  Copy full SHA for ce5f46c

• Cleanup Lwt_seq.to_seq implementation

  zshipko

  committed
  2df8db4

  Copy full SHA for 2df8db4

• Use proper Lwt file headers

  zshipko

  committed
  9567bad

  Copy full SHA for 9567bad

Commits on Feb 11, 2021

• Small documentation tweaks

  raphael-proust

  committed
  bdff27b

  Copy full SHA for bdff27b

• Mention Lwt_seq in CHANGES

  raphael-proust

  committed
  117e94c

  Copy full SHA for 117e94c

• Remove to_seq, add of_seq_lwt

  zshipko

  committed
  379c910

  Copy full SHA for 379c910

Commits on Feb 17, 2021

• Lwt-specific documentation for Lwt-seq

  raphael-proust

  committed
  993c37a

  Copy full SHA for 993c37a