Polysemy.Input.Streaming

Underlying Effect

module Polysemy.Input

Actions

yieldInput :: Member (Input i) r => Stream (Of i) (Sem r) ()

yieldRace :: Members '[Final IO, Input i1, Input i2] r => Stream (Of (Either i1 i2)) (Sem r) ()

exhaust :: Member (Input i) r => Stream (Of i) (Sem r) a

Intepretations

runInputViaStream :: Stream (Of i) (Sem r) () -> InterpreterFor (Input (Maybe i)) r

runInputViaInfiniteStream :: forall i r. Stream (Of i) (Sem r) Void -> InterpreterFor (Input i) r