Control.Monad.Hefty.Input

Description

Documentation

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

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

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