Modulecapability-0.5.0.1Haskell2010

Capability.Stream

Deprecated. Use Capability.Sink

Contents

Synopsis

Interface

typetype HasStream = HasSink

typetype HasStream' (tag :: k) = HasSink' tag

valueyield :: HasSink tag a m => a -> m ()

yield @tag a emits a in the sink capability tag.

typetype StreamStack = SinkStack

typetype StreamDList = SinkDList

typetype StreamLog = SinkLog

module Capability.Accessors