cardano-cli-1.36.0: The Cardano command-line interface
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.CLI.IO.Lazy

Synopsis
  • replicateM ∷ MonadUnliftIO m ⇒ Int → m a → m [a]
  • sequenceM ∷ MonadUnliftIO m ⇒ [m a] → m [a]
  • traverseM ∷ MonadUnliftIO m ⇒ (a → m b) → [a] → m [b]
  • traverseStateM ∷ ∀ m s a b. MonadUnliftIO m ⇒ s → (s → a → m (s, b)) → [a] → m [b]
  • forM ∷ MonadUnliftIO m ⇒ [a] → (a → m b) → m [b]
  • forStateM ∷ MonadUnliftIO m ⇒ s → [a] → (s → a → m (s, b)) → m [b]

Documentation

replicateM ∷ MonadUnliftIO m ⇒ Int → m a → m [a] Source #

sequenceM ∷ MonadUnliftIO m ⇒ [m a] → m [a] Source #

traverseM ∷ MonadUnliftIO m ⇒ (a → m b) → [a] → m [b] Source #

Traverses the function over the list and produces a lazy list in a monadic context.

It is intended to be like the "standard" traverse except that the list is generated lazily.

traverseStateM ∷ ∀ m s a b. MonadUnliftIO m ⇒ s → (s → a → m (s, b)) → [a] → m [b] Source #

forM ∷ MonadUnliftIO m ⇒ [a] → (a → m b) → m [b] Source #

forStateM ∷ MonadUnliftIO m ⇒ s → [a] → (s → a → m (s, b)) → m [b] Source #