S2_to_S (state_or_error.State_or_error.S2_to

Parameters

module X : sig ... end

include Core_kernel.Monad.S with type 'a t := ( 'a, unit ) X.t

val (>>=) : ( 'a, unit ) X.t -> ( 'a -> ( 'b, unit ) X.t ) -> ( 'b, unit ) X.t

val (>>|) : ( 'a, unit ) X.t -> ( 'a -> 'b ) -> ( 'b, unit ) X.t

module Monad_infix : sig ... end

val bind : ( 'a, unit ) X.t -> f:( 'a -> ( 'b, unit ) X.t ) -> ( 'b, unit ) X.t

val return : 'a -> ( 'a, unit ) X.t

val map : ( 'a, unit ) X.t -> f:( 'a -> 'b ) -> ( 'b, unit ) X.t

val join : ( ( 'a, unit ) X.t, unit ) X.t -> ( 'a, unit ) X.t

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

val all : ( 'a, unit ) X.t list -> ( 'a list, unit ) X.t

val all_unit : ( unit, unit ) X.t list -> ( unit, unit ) X.t

module Let_syntax : sig ... end

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

val get : ( unit X.state, unit ) X.t

val put : unit X.state -> ( unit, unit ) X.t

val error_if : bool -> message:string -> value:'a -> ( 'a, unit ) X.t