Safe Haskell	None
Language	Haskell2010

Polysemy.Input

Contents

Synopsis

data Input i m a where
- Input :: Input i m i
input :: forall i. forall r. Member (Input i) r => Semantic r i
runConstInput :: i -> Semantic (Input i ': r) a -> Semantic r a
runListInput :: Typeable i => [i] -> Semantic (Input (Maybe i) ': r) a -> Semantic r a
runMonadicInput :: Semantic r i -> Semantic (Input i ': r) a -> Semantic r a

Effect

data Input i m a where Source #

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

Constructors

Instances

type DefiningModule (Input :: k1 -> k2 -> k1 -> Type) Source #
Instance details Defined in Polysemy.Input type DefiningModule (Input :: k1 -> k2 -> k1 -> Type) = "Polysemy.Input"

Actions

input :: forall i. forall r. Member (Input i) r => Semantic r i Source #

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

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

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