Checked_runner.Simple
module Types : sig ... end
type ('a, 'f) t = ( 'a, 'f field ) Types.Checked.t
val eval : ( 'a, 'f ) t -> 'f0 field Run_state.t -> 'f0 field Run_state.t * 'a0
val (>>=) :
( 'a, 'e field ) Types.Checked.t ->
( 'a0 -> ( 'b, 'e0 field ) Types.Checked.t ) ->
( 'b0, 'e1 field ) Types.Checked.t
val (>>|) :
( 'a, 'e field ) Types.Checked.t ->
( 'a0 -> 'b ) ->
( 'b0, 'e0 field ) Types.Checked.t
module Monad_infix : sig ... end
val bind :
( 'a, 'e field ) Types.Checked.t ->
f:( 'a0 -> ( 'b, 'e0 field ) Types.Checked.t ) ->
( 'b0, 'e1 field ) Types.Checked.t
val return : 'a -> ( 'a0, 'b field ) Types.Checked.t
val map :
( 'a, 'e field ) Types.Checked.t ->
f:( 'a0 -> 'b ) ->
( 'b0, 'e0 field ) Types.Checked.t
val join :
( ( 'a, 'e field ) Types.Checked.t, 'e0 field ) Types.Checked.t ->
( 'a0, 'e1 field ) Types.Checked.t
val ignore_m :
( 'a, 'e field ) Types.Checked.t ->
( unit, 'e0 field ) Types.Checked.t
val all :
( 'a, 'e field ) Types.Checked.t list ->
( 'a0 list, 'e0 field ) Types.Checked.t
val all_unit :
( unit, 'e field ) Types.Checked.t list ->
( unit, 'e0 field ) Types.Checked.t
module Let_syntax : sig ... end