On This Page
package algaeff
On This Page
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
The implementation of monad effects.
Signatures of monad effects.
Parameters
Signature
type 'a t = 'a M.tThe monad.
val perform : 'a t -> 'aPerform an monadic operation.
val run : (unit -> 'a) -> 'a trun t runs the thunk t which may perform monad effects, and then returns the corresponding monadic expression.
On This Page