capability-0.5.0.1: Extensional capabilities and deriving combinators
Safe HaskellNone
LanguageHaskell2010

Capability.Stream

Description

Deprecated: Use Sink

Synopsis

Interface

type HasStream = HasSink :: k -> Type -> (Type -> Type) -> Constraint Source #

type HasStream' (tag :: k) = HasSink' tag Source #

yield :: forall {k} (tag :: k) a m. HasSink tag a m => a -> m () Source #

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

Strategies

Modifiers