package tezos-protocol-environment
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=7062cd57addd452852598a2214ade393130efa087b99068d53713bdf912b3680
sha512=08e4091144a03ce3c107fb91a66501bd8b65ca3278917c455a2eaac6df3e108ade63f6ab8340a4bb152d60f404326e464d0ec95d26cafe8e82f870465d24a5fc
doc/tezos-protocol-environment.structs/Tezos_protocol_environment_structs/V1/Option/index.html
Module V1.Option
Source
include module type of struct include Option end
Options
The type for option values. Either None
or a value Some v
.
none
is None
.
some v
is Some v
.
value o ~default
is v
if o
is Some v
and default
otherwise.
get o
is v
if o
is Some v
and raise 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
.
iter f o
is f v
if o
is Some v
and ()
otherwise.
Predicates and comparisons
is_none o
is true
if and only if o
is None
.
is_some o
is true
if and only if o
is Some o
.
equal eq o0 o1
is true
if and only if 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
to_result ~none o
is Ok v
if o
is Some v
and Error none
otherwise.
to_list o
is []
if o
is None
and [v]
if o
is Some v
.
val pp :
?default:string ->
(Format.formatter -> 'a -> unit) ->
Format.formatter ->
'a t ->
unit