Frama-C:
Plug-ins:
Libraries:

Frama-C API - Iterators

Monadic iterators signature

Handling the interaction between monads and iterable data structures like lists can be difficult. On the other hand, all iterators concerning a monad over an iterable have the same signature, thus we provide a generic signature for all three standard iterators.

  • since Frama-C+dev
type 'a iterable
type 'a monad
val fold : ('a -> 'b -> 'a monad) -> 'a -> 'b iterable -> 'a monad
val map : ('a -> 'b monad) -> 'a iterable -> 'b iterable monad
val iter : ('a -> unit monad) -> 'a iterable -> unit monad