Idris2Doc
: streams
Index
Default
Alternative
Black & White
Package streams - Namespaces
FS
FS.Bytes
Utilities for working with streams of byte arrays.
FS.Chunk
Utilities for working with chunks of data.
FS.Core
FS.Elin
FS.Pull
General operations on `Pull`s and `Stream`s: Splits, scans, filters, and maps
FS.Resource
FS.Scope
FS.System
FS.Concurrent
This module provides combinators for running streams concurrently, merging the output they produce nondeterministically, or interrupting a stream after a timeout.
FS.Concurrent.Signal
FS.Concurrent.Util
FS.Internal.Bytes