Modulepolysemy-1.9.2.0Haskell2010

Polysemy.Input

Effect

1 declaration

datadata Input (i :: k) (m :: k1) (a :: k) where

An effect which can provide input to an application. Useful for dealing with streaming input.

2 declarations

valueinput :: Member (Input i) r => Sem r i

Get the next available message.

valueinputs :: Member (Input i) r => (i -> j) -> Sem r j

Apply a function to an input, cf. asks

3 declarations

valuerunInputConst :: i -> Sem (Input i ': r) a -> Sem r a

Run an Input effect by always giving back the same value.

valuerunInputList :: [i] -> Sem (Input (Maybe i) ': r) a -> Sem r a

Run an Input effect by providing a different element of a list each time. Returns Nothing after the list is exhausted.

valuerunInputSem :: Sem r i -> Sem (Input i ': r) a -> Sem r a

Runs an Input effect by evaluating a monadic action for each request.