package octez-proto-libs
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=aa2f5bc99cc4ca2217c52a1af2a2cdfd3b383208cb859ca2e79ca0903396ca1d
sha512=d68bb3eb615e3dcccc845fddfc9901c95b3c6dc8e105e39522ce97637b1308a7fa7aa1d271351d5933febd7476b2819e1694f31198f1f0919681f1f9cc97cb3a
doc/octez-proto-libs.protocol-environment/Tezos_protocol_environment/V1/Make/Option/index.html
Module Make.OptionSource
Option values.
Option values explicitly indicate the presence or absence of a value.
Options
The type for option values. Either None or a value Some v.
value o ~default is v if o is Some v and default otherwise.
bind o f is f v if o is Some v and None if o is None.
join oo is Some v if oo is Some (Some v) and None otherwise.
map f o is None if o is None and Some (f v) is o is Some v.
fold ~none ~some o is none if o is None and some v if o is Some v.
Predicates and comparisons
equal eq o0 o1 is true iff o0 and o1 are both None or if they are Some v0 and Some v1 and eq v0 v1 is true.
compare cmp o0 o1 is a total order on options using cmp to compare values wrapped by Some _. None is smaller than Some _ values.
Converting
val to_result : none:'e -> 'a option -> ('a, 'e) Pervasives.resultto_result ~none o is Ok v if o is Some v and Error none otherwise.
First input of form Some x, or None if both are None
val pp :
?default:string ->
(Format.formatter -> 'a -> unit) ->
Format.formatter ->
'a option ->
unitpp ~default pp fmt x pretty-print value x using pp or default ("None" by default) string if there is no value.