Make3 (state_or_error.State_or

Parameters

module State : sig ... end

include Core_kernel.Monad.S3

type ('a, 'd, 'e) t

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

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

module Let_syntax : sig ... end

module Monad_infix : sig ... end

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

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

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

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

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

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

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

type ('a, 'b) state = ( 'a, 'b ) State.t

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

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

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

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