Module `Tezos_protocol_environment_013_PtJakart.Option`Source

type !'a t = 'a option =

| None
| Some of 'a

val none : 'a option

val none_e : ('a option, 'trace) Pervasives.result

val none_s : 'a option Lwt.t

val none_es : ('a option, 'trace) Pervasives.result Lwt.t

val some : 'a -> 'a option

val some_unit : unit option

val some_nil : 'a list option

val some_e : 'a -> ('a option, 'trace) Pervasives.result

val some_s : 'a -> 'a option Lwt.t

val some_es : 'a -> ('a option, 'trace) Pervasives.result Lwt.t

val value : 'a option -> default:'a -> 'a

val value_e : 'a option -> error:'trace -> ('a, 'trace) Pervasives.result

val value_f : 'a option -> default:(unit -> 'a) -> 'a

val value_fe : 
  'a option ->
  error:(unit -> 'trace) ->
  ('a, 'trace) Pervasives.result

val bind : 'a option -> ('a -> 'b option) -> 'b option

val join : 'a option option -> 'a option

val either : 'a option -> 'a option -> 'a option

val map : ('a -> 'b) -> 'a option -> 'b option

val map_s : ('a -> 'b Lwt.t) -> 'a option -> 'b option Lwt.t

val map_e : 
  ('a -> ('b, 'trace) Pervasives.result) ->
  'a option ->
  ('b option, 'trace) Pervasives.result

val map_es : 
  ('a -> ('b, 'trace) Pervasives.result Lwt.t) ->
  'a option ->
  ('b option, 'trace) Pervasives.result Lwt.t

val fold : none:'a -> some:('b -> 'a) -> 'b option -> 'a

val fold_s : none:'a -> some:('b -> 'a Lwt.t) -> 'b option -> 'a Lwt.t

val fold_f : none:(unit -> 'a) -> some:('b -> 'a) -> 'b option -> 'a

val iter : ('a -> unit) -> 'a option -> unit

val iter_s : ('a -> unit Lwt.t) -> 'a option -> unit Lwt.t

val iter_e : 
  ('a -> (unit, 'trace) Pervasives.result) ->
  'a option ->
  (unit, 'trace) Pervasives.result

val iter_es : 
  ('a -> (unit, 'trace) Pervasives.result Lwt.t) ->
  'a option ->
  (unit, 'trace) Pervasives.result Lwt.t

val is_none : 'a option -> bool

val is_some : 'a option -> bool

val equal : ('a -> 'a -> bool) -> 'a option -> 'a option -> bool

val compare : ('a -> 'a -> int) -> 'a option -> 'a option -> int

val to_result : none:'trace -> 'a option -> ('a, 'trace) Pervasives.result

val of_result : ('a, 'e) Pervasives.result -> 'a option

val to_list : 'a option -> 'a list

val to_seq : 'a option -> 'a Seq.t

Sourceval catch : ?catch_only:(exn -> bool) -> (unit -> 'a) -> 'a option

Source

val catch_s : 
  ?catch_only:(exn -> bool) ->
  (unit -> 'a Lwt.t) ->
  'a option Lwt.t

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos-protocol-013-PtJakart.environment/Tezos_protocol_environment_013_PtJakart/Option/index.html

Module `Tezos_protocol_environment_013_PtJakart.Option`Source

package tezos-protocol-013-PtJakart

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos-protocol-013-PtJakart.environment/Tezos_protocol_environment_013_PtJakart/Option/index.html

Module Tezos_protocol_environment_013_PtJakart.OptionSource

Module `Tezos_protocol_environment_013_PtJakart.Option`Source