Idris2Doc : Data.Iterable

Data.Iterable

(source)
Reexports
import public Control.MonadRec
Definitions
interface Iterable : Type -> Type -> Type
  Parameters: container, element
Methods:
  
iterM : MonadRec m => (element -> st -> m st) -> (st -> res) -> st -> container -> m res

Implementations:
  
Iterable Nat Nat
  
Iterable (List a) a
  
Iterable (List1 a) a
  
Iterable Fuel ()
  
Iterable (SnocList a) a
iterM : Iterable container element => MonadRec m => (element -> st -> m st) -> (st -> res) -> st -> container -> m res
  Visibility: public export
forM_ : Iterable container element => MonadRec m => (element -> m ()) -> container -> m ()
  Visibility: export
foldM : Iterable container element => MonadRec m => Monoid mo => (element -> m mo) -> container -> m mo
  Visibility: export