| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
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 #