Copyright	(c) 2024 Sayo contributors
License	MPL-2.0 (see the LICENSE file)
Maintainer	ymdfield@outlook.jp
Safe Haskell	None
Language	GHC2021

Control.Monad.Hefty.Input

Description

Interpreters for the Input effect.

Synopsis

runInputList :: forall i a (es :: [(Type -> Type) -> Type -> Type]). FOEs es => [i] -> Eff (Input (Maybe i) ': es) a -> Eff es a
module Data.Effect.Input

Documentation

runInputList :: forall i a (es :: [(Type -> Type) -> Type -> Type]). FOEs es => [i] -> Eff (Input (Maybe i) ': es) a -> Eff es a Source #

Interprets the Input effect by using the given list as a series of inputs.

Each time input is called, it retrieves elements from the list one by one from the beginning, and after all elements are consumed, Nothing is returned indefinitely.

module Data.Effect.Input