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
Module type OlmiInterfaces.JOINSource
Describe the minimal interface for making a monad with join function. This module could be used by OmlMonad.Make.WithJoin to generate a BASIC_INTERFACE Module, for example.
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.