Module `Diffable.Optional_diff`

type 'a t

val none : _ Diffable.Optional_diff.t @@ portable

val get_none : Base.unit -> _ Diffable.Optional_diff.t @@ portable

val return : 'a -> 'a Diffable.Optional_diff.t @ local @@ portable

val map : 
  'a Diffable.Optional_diff.t @ local ->
  f:('a -> 'b) @ local ->
  'b Diffable.Optional_diff.t @ local @@ portable

val bind : 
  'a Diffable.Optional_diff.t @ local ->
  f:('a -> 'b Diffable.Optional_diff.t @ local) @ local ->
  'b Diffable.Optional_diff.t @ local @@ portable

val both : [ `both_would_allocate__use_bind_instead ] @@ portable

val (>>|) : 
  'a Diffable.Optional_diff.t @ local ->
  ('a -> 'b) @ local ->
  'b Diffable.Optional_diff.t @ local @@ portable

val (>>=) : 
  'a Diffable.Optional_diff.t @ local ->
  ('a -> 'b Diffable.Optional_diff.t @ local) @ local ->
  'b Diffable.Optional_diff.t @ local @@ portable

val is_none : 'a Diffable.Optional_diff.t @ local -> Base.bool @@ portable

val unsafe_value : 'a Diffable.Optional_diff.t @ local -> 'a @@ portable

val to_option : 
  'a Diffable.Optional_diff.t @ local ->
  'a Base.option @@ portable

module Optional_syntax : sig ... end

module Let_syntax : sig ... end

Module Diffable.Optional_diff

Module `Diffable.Optional_diff`