Snippets tagged #seq
-
Group elements of a sequence by time windows of fixed intervals
Function that associates a time window with each element of a sequence. The resulting sequence can then be grouped by the time windows for further processing
3 people like this
Like the snippet!Posted: 4 years ago by Faisal Waris
-
Seq.splitBy, Seq.splitAt, Seq.tryHeadTail
The example uses Seq.splitBy and Seq.tryHeadTail twice to split the input file in two and then into several pieces collecting the output file names in the first section and the content in the subsequent pieces It can efficiently split a huge 2.2GB file into several subfiles without having to rescan the file or cache in memory any portions of the file apart from the current line.
5 people like this
Like the snippet!Posted: 1 year ago by amieres