Control.Monad.Hefty.Input

Interpreters for the Input effect.

Documentation

runInputEff :: forall i (ef :: [EffectF]) (eh :: [EffectH]). Eff eh ef i -> Eff eh (Input i ': ef) ~> Eff eh ef

Interprets the Input effect by executing the given input handler each time an input is required.

runInputConst :: forall i (ef :: [Type -> Type]) (eh :: [EffectH]). i -> Eff eh (Input i ': ef) ~> Eff eh ef

Interprets the Input effect by providing the given constant as input.

runInputList :: forall i (r :: [Type -> Type]). [i] -> Eff ('[] :: [EffectH]) (Input (Maybe i) ': r) ~> Eff ('[] :: [EffectH]) r

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