Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
OlmiInterfaces
SourceThis module provides all interfaces using for the functors.
Monadics operation could be generated with two ways : using an interface with a parametrized type, return and bind. Or using an interface with a parametrized type, return, join and fmap. A lot of those function's description come from the Haskell documentation
Describe the minimal interface for making a monad with bind function. This module could be used by OmlMonad.Make.WithBind to generate a BASIC_INTERFACE Module, for example.
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.
Describe a conjunction between join and bin. This module could be used by OmlMonad.Make.Base to generate a BASIC_INTERFACE Module, for example.
Provide the signatures of all infix operators (linked to a Monad)
Provide a complete interface for Monad plus