Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
package olmi
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Parameter WithJoin.M
include OlmiInterfaces.COMMON
val return : 'a -> 'a tPlace a value in a minimal monadic context
The join function is the conventional monad join operator. It is used to remove one level of monadic structure, projecting its bound argument into the outer level.