Module EzAPI.ErrSource

Sourcemodule IntMap : sig ... end
Sourcetype _ case =
  1. | Case : {
    1. code : int;
    2. name : string;
    3. encoding : 'a Json_encoding.encoding;
    4. select : 'b -> 'a option;
    5. deselect : 'a -> 'b;
    } -> 'b case
Sourceval make : code:int -> name:string -> encoding:'a Json_encoding.encoding -> select:('b -> 'a option) -> deselect:('a -> 'b) -> 'b case
Sourceval merge_errs_same_code : ?definitions_path:string -> 'a case list -> (IntMap.key * Json_schema.schema lazy_t) list
Sourceval catch_all_error_case : unit -> 'a case
Sourceval get : code:int -> 'a case list -> 'a Json_encoding.encoding option
Sourceval merge_selects : ('a -> 'b option) list -> 'a -> 'b option