Cleff.Input

Contents

Description

Synopsis

data Input i :: Effect where
- Input :: Input i m i
input :: Input i :> es => Eff es i
inputs :: Input i :> es => (i -> i') -> Eff es i'
runInputConst :: i -> Eff (Input i ': es) ~> Eff es
inputToListState :: Eff (Input (Maybe i) ': es) ~> Eff (State [i] ': es)
inputToReader :: Eff (Input i ': es) ~> Eff (Reader i ': es)
runInputEff :: Eff es i -> Eff (Input i ': es) ~> Eff es
mapInput :: Input i' :> es => (i' -> i) -> Eff (Input i ': es) ~> Eff es
bindInput :: Input i' :> es => (i' -> Eff es i) -> Eff (Input i ': es) ~> Eff es

Effect

data Input i :: Effect where Source #

An effect that is capable of reading from some input source, such as an input stream.

Constructors

Operations

Read an input value from an input source.

inputs :: Input i :> es => (i -> i') -> Eff es i' Source #

Apply a function to the result of input.

Run an Input effect by giving a constant input value.

Run an Input effect by going through a list of values.

Run an Input in terms of a Reader.

Since: 0.2.1.0

Run an Input effect by performing a computation for each input request.

mapInput :: Input i' :> es => (i' -> i) -> Eff (Input i ': es) ~> Eff es Source #

Transform an Input effect into another one already in the effect stack, by a pure function.

Since: 0.2.1.0

bindInput :: Input i' :> es => (i' -> Eff es i) -> Eff (Input i ': es) ~> Eff es Source #

Transform an Input effect into another one already in the effect stack, by an effectful computation.

Since: 0.2.1.0