Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Make.IO
The monadic bind operator for the type 'a t
. m >>= f
will pass the result of m
to f
, once the result is determined.
val return : 'a -> 'a t
return a
creates a value of type 'a t
that is already determined.