links 0.9 · OCaml Package

val unpack : 
  ('a, 'b) Links_core.Lens.Utility.Result.result ->
  die:(string -> 'a) ->
  fmt:(Links_core.Lens.Utility.Format.formatter -> 'b -> unit) ->
  'a

val format_lens_sort_error : 
  Links_core.Lens.Utility.Format.formatter ->
  Links_core.Lens.Sort.Lens_sort_error.t ->
  unit

val unpack_lens_sort_result : 
  die:(string -> 'a) ->
  ('a, Links_core.Lens.Sort.Lens_sort_error.t)
    Links_core.Lens.Utility.Result.result ->
  'a

val unpack_type_lens_result : 
  die:(string -> 'a) ->
  ('a, Links_core.Lens.Sort.Lens_sort_error.t)
    Links_core.Lens.Utility.Result.result ->
  'a

val format_fun_dep_tree_form_error : 
  Links_core.Lens.Utility.Format.formatter ->
  Links_core.Lens.Fun_dep.Tree.Tree_form_error.t ->
  unit

val format_select_sort_error : 
  Links_core.Lens.Utility.Format.formatter ->
  Links_core.Lens.Sort.Select_sort_error.t ->
  unit

val format_drop_sort_error : 
  Links_core.Lens.Utility.Format.formatter ->
  Links_core.Lens.Sort.Drop_sort_error.t ->
  Ppx_deriving_runtime.unit

val unpack_type_drop_lens_result : 
  die:(string -> 'a) ->
  ('a, Links_core.Lens.Sort.Drop_sort_error.t)
    Links_core.Lens.Utility.Result.result ->
  'a

val format_phrase_typesugar_error : 
  Links_core.Lens.Utility.Format.formatter ->
  'a Links_core.Lens.Phrase.Typesugar.error ->
  unit

val format_type_select_error : 
  Links_core.Lens.Utility.Format.formatter ->
  'a Links_core.Lens.Type.Select_lens_error.t ->
  unit

val unpack_type_select_lens_result : 
  die:(string -> 'a) ->
  ('a, 'b Links_core.Lens.Type.Select_lens_error.t)
    Links_core.Lens.Utility.Result.result ->
  'a

val unpack_phrase_typesugar_result : 
  die:(string -> 'a) ->
  ('a, 'b Links_core.Lens.Phrase.Typesugar.error)
    Links_core.Lens.Utility.Result.result ->
  'a

val unpack_sort_select_result : 
  die:(string -> 'a) ->
  ('a, Links_core.Lens.Sort.Select_sort_error.t)
    Links_core.Lens.Utility.Result.result ->
  'a

val format_sort_join_error : 
  Links_core.Lens.Utility.Format.formatter ->
  Links_core.Lens.Sort.Join_sort_error.t ->
  unit

val unpack_sort_join_result : 
  die:(string -> 'a) ->
  ('a, Links_core.Lens.Sort.Join_sort_error.t)
    Links_core.Lens.Utility.Result.result ->
  'a

val format_type_join_error : 
  Links_core.Lens.Utility.Format.formatter ->
  'a Links_core.Lens.Type.Join_lens_error.t ->
  unit

val unpack_type_join_lens_result : 
  die:(string -> 'a) ->
  ('a, 'b Links_core.Lens.Type.Join_lens_error.t)
    Links_core.Lens.Utility.Result.result ->
  'a

val format_eval_error : 
  Links_core.Lens.Utility.Format.formatter ->
  Links_core.Lens.Eval.Error.t ->
  unit

val unpack_eval_error : 
  die:(string -> 'a) ->
  ('a, Links_core.Lens.Eval.Error.t) Links_core.Lens.Utility.Result.result ->
  'a

val format_lens_unchecked_error : 
  Links_core.Lens.Utility.Format.formatter ->
  Links_core.Lens.Type.Unchecked_lens_error.t ->
  unit

val unpack_lens_checked_result : 
  die:(string -> 'a) ->
  ('a, Links_core.Lens.Type.Unchecked_lens_error.t)
    Links_core.Lens.Utility.Result.result ->
  'a

package links