Module `Diffable.Optional_diff`

type 'a t

val none : _ Diffable.Optional_diff.t

val return : 'a -> 'a Diffable.Optional_diff.t

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

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

val both : [ `both_would_allocate__use_bind_instead ]

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

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

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

val unsafe_value : 'a Diffable.Optional_diff.t -> 'a

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

module Optional_syntax : sig ... end

module Let_syntax : sig ... end

Module Diffable.Optional_diff