Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
GenM_intf.S
SourceA value of type 'a t
is an iterator over values of type 'a
that live in the monad M.t
. For instance, if M
is Lwt
, accessing each element might require some IO operation (reading a file, etc.)