Module `Kappa_data_structures.Result_util`Source

Sourcetype status = [

| `OK
| `Accepted
| `Created
| `Bad_request
| `Conflict
| `Not_found
| `Request_timeout

]

The subset of Cohttp.Code.status we need

Sourcetype message = {

severity : Logs.level;
text : string;
range : Loc.t option;

}

Sourcetype ('a, 'b) t = {

value : ('a, 'b) Result.result;
status : status;

}

Sourceval write_message : Buffer.t -> message -> unit

Sourceval read_message : Yojson.Safe.lexer_state -> Lexing.lexbuf -> message

Sourceval print_message : Format.formatter -> message -> unit

Source

val write_t : 
  (Buffer.t -> 'ok -> unit) ->
  (Buffer.t -> 'error -> unit) ->
  Buffer.t ->
  ('ok, 'error) t ->
  unit

Output a JSON value of type t.

Source

val string_of_t : 
  (Buffer.t -> 'ok -> unit) ->
  (Buffer.t -> 'error -> unit) ->
  ?len:int ->
  ('ok, 'error) t ->
  string

Serialize a value of type t into a JSON string.

parameter len
specifies the initial length of the buffer used internally. Default: 1024.

Source

val read_t : 
  (Yojson.Safe.lexer_state -> Lexing.lexbuf -> 'ok) ->
  (Yojson.Safe.lexer_state -> Lexing.lexbuf -> 'error) ->
  Yojson.Safe.lexer_state ->
  Lexing.lexbuf ->
  ('ok, 'error) t

Input JSON data of type t.

Source

val t_of_string : 
  (Yojson.Safe.lexer_state -> Lexing.lexbuf -> 'ok) ->
  (Yojson.Safe.lexer_state -> Lexing.lexbuf -> 'error) ->
  string ->
  ('ok, 'error) t

Deserialize JSON data of type t.

Source

val lift : 
  ?ok_status:status ->
  ?error_status:status ->
  ('a, 'b) Result.result ->
  ('a, 'b) t

Sourceval fold : ok:('ok -> 'a) -> error:('error -> 'a) -> ('ok, 'error) t -> 'a

Source

val bind : 
  ?overwrite_status:status ->
  ?error_status:status ->
  ('ok -> ('a, 'error) Result.result) ->
  ('ok, 'error) t ->
  ('a, 'error) t

Sourceval map : ('ok -> 'a) -> ('ok, 'error) t -> ('a, 'error) t

Source

val map2 : 
  ('a -> 'b -> 'ok) ->
  ('a, 'error) t ->
  ('b, 'error) t ->
  ('ok, 'error) t

Sourceval error : ?status:status -> 'error -> ('ok, 'error) t

Sourceval ok : ?status:status -> 'ok -> ('ok, 'error) t

Install

Dune Dependency

Authors

Maintainers

Sources

doc/kappa-library.generic/Kappa_data_structures/Result_util/index.html

Module `Kappa_data_structures.Result_util`Source

package kappa-library

Install

Dune Dependency

Authors

Maintainers

Sources

doc/kappa-library.generic/Kappa_data_structures/Result_util/index.html

Module Kappa_data_structures.Result_utilSource

Module `Kappa_data_structures.Result_util`Source