Module Soteria_std.Syntaxes

Monad syntax extensions for various container types.

module List : Soteria_std.Monad.Syntax with type 'a t := 'a list

Syntax extension for monads (let* and let+).

module Option : sig ... end
module Result : Soteria_std.Monad.Syntax2 with type ('a, 'b) t := ('a, 'b) result

Syntax extension for two-parameter monads.

module FunctionWrap : sig ... end