Make2 (state_or_error.State_or

Parameters

module State : sig ... end

include Core_kernel.Monad.S2

type ('a, 'e) t

val (>>=) : ( 'a, 'e ) t -> ( 'a -> ( 'b, 'e ) t ) -> ( 'b, 'e ) t

val (>>|) : ( 'a, 'e ) t -> ( 'a -> 'b ) -> ( 'b, 'e ) t

module Let_syntax : sig ... end

module Monad_infix : sig ... end

val bind : ( 'a, 'e ) t -> f:( 'a -> ( 'b, 'e ) t ) -> ( 'b, 'e ) t

val return : 'a -> ( 'a, 'b ) t

val map : ( 'a, 'e ) t -> f:( 'a -> 'b ) -> ( 'b, 'e ) t

val join : ( ( 'a, 'e ) t, 'e ) t -> ( 'a, 'e ) t

val ignore_m : ( 'a, 'e ) t -> ( unit, 'e ) t

val all : ( 'a, 'e ) t list -> ( 'a list, 'e ) t

val all_unit : ( unit, 'e ) t list -> ( unit, 'e ) t

type 'a state

val run_state : 
  ( 'b, 'a ) t ->
  state:'a state ->
  ('b * 'a state) Core_kernel.Or_error.t

val get : ( 'a state, 'a ) t

val put : 'a state -> ( unit, 'a ) t

val error_if : bool -> message:string -> value:'a -> ( 'a, _ ) t