Module Diffable.Optional_diffSource

Sourcetype 'a t
Sourceval none : _ t
Sourceval return : 'a -> 'a t
Sourceval map : 'a t -> f:('a -> 'b) -> 'b t
Sourceval bind : 'a t -> f:('a -> 'b t) -> 'b t
Sourceval both : [ `both_would_allocate__use_bind_instead ]
Sourceval (>>|) : 'a t -> ('a -> 'b) -> 'b t
Sourceval (>>=) : 'a t -> ('a -> 'b t) -> 'b t
Sourceval is_none : 'a t -> Base.bool
Sourceval unsafe_value : 'a t -> 'a
Sourceval to_option : 'a t -> 'a Base.option
Sourcemodule Optional_syntax : sig ... end
Sourcemodule Let_syntax : sig ... end