package coq-lsp

  1. Overview
  2. Docs
package coq-lsp
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Serlib.Ser_genredexprSource

Sourcetype 'a red_atom = 'a Genredexpr.red_atom
Sourceval sexp_of_red_atom : ('a -> Sexplib0.Sexp.t) -> 'a red_atom -> Sexplib0.Sexp.t
Sourceval red_atom_of_sexp : (Sexplib0.Sexp.t -> 'a) -> Sexplib0.Sexp.t -> 'a red_atom
Sourceval red_atom_to_yojson : ('a -> Yojson.Safe.t) -> 'a red_atom -> Yojson.Safe.t
Sourceval hash_fold_red_atom : (Ppx_hash_lib.Std.Hash.state -> 'a -> Ppx_hash_lib.Std.Hash.state) -> Ppx_hash_lib.Std.Hash.state -> 'a red_atom -> Ppx_hash_lib.Std.Hash.state
Sourceval compare_red_atom : ('a -> 'a -> int) -> 'a red_atom -> 'a red_atom -> int
Sourcetype 'a glob_red_flag = 'a Genredexpr.glob_red_flag
Sourceval sexp_of_glob_red_flag : ('a -> Sexplib0.Sexp.t) -> 'a glob_red_flag -> Sexplib0.Sexp.t
Sourceval glob_red_flag_of_sexp : (Sexplib0.Sexp.t -> 'a) -> Sexplib0.Sexp.t -> 'a glob_red_flag
Sourceval glob_red_flag_to_yojson : ('a -> Yojson.Safe.t) -> 'a glob_red_flag -> Yojson.Safe.t
Sourceval hash_fold_glob_red_flag : (Ppx_hash_lib.Std.Hash.state -> 'a -> Ppx_hash_lib.Std.Hash.state) -> Ppx_hash_lib.Std.Hash.state -> 'a glob_red_flag -> Ppx_hash_lib.Std.Hash.state
Sourceval compare_glob_red_flag : ('a -> 'a -> int) -> 'a glob_red_flag -> 'a glob_red_flag -> int
Sourcetype ('a, 'b, 'c, 'd) red_expr_gen = ('a, 'b, 'c, 'd) Genredexpr.red_expr_gen
Sourceval sexp_of_red_expr_gen : ('a -> Sexplib0.Sexp.t) -> ('b -> Sexplib0.Sexp.t) -> ('c -> Sexplib0.Sexp.t) -> ('d -> Sexplib0.Sexp.t) -> ('a, 'b, 'c, 'd) red_expr_gen -> Sexplib0.Sexp.t
Sourceval red_expr_gen_of_sexp : (Sexplib0.Sexp.t -> 'a) -> (Sexplib0.Sexp.t -> 'b) -> (Sexplib0.Sexp.t -> 'c) -> (Sexplib0.Sexp.t -> 'd) -> Sexplib0.Sexp.t -> ('a, 'b, 'c, 'd) red_expr_gen
Sourceval red_expr_gen_to_yojson : ('a -> Yojson.Safe.t) -> ('b -> Yojson.Safe.t) -> ('c -> Yojson.Safe.t) -> ('d -> Yojson.Safe.t) -> ('a, 'b, 'c, 'd) red_expr_gen -> Yojson.Safe.t
Sourceval hash_fold_red_expr_gen : (Ppx_hash_lib.Std.Hash.state -> 'a -> Ppx_hash_lib.Std.Hash.state) -> (Ppx_hash_lib.Std.Hash.state -> 'b -> Ppx_hash_lib.Std.Hash.state) -> (Ppx_hash_lib.Std.Hash.state -> 'c -> Ppx_hash_lib.Std.Hash.state) -> (Ppx_hash_lib.Std.Hash.state -> 'd -> Ppx_hash_lib.Std.Hash.state) -> Ppx_hash_lib.Std.Hash.state -> ('a, 'b, 'c, 'd) red_expr_gen -> Ppx_hash_lib.Std.Hash.state
Sourceval compare_red_expr_gen : ('a -> 'a -> int) -> ('b -> 'b -> int) -> ('c -> 'c -> int) -> ('d -> 'd -> int) -> ('a, 'b, 'c, 'd) red_expr_gen -> ('a, 'b, 'c, 'd) red_expr_gen -> int
Sourcetype ('a, 'b, 'c, 'd) may_eval = ('a, 'b, 'c, 'd) Genredexpr.may_eval
Sourceval sexp_of_may_eval : ('a -> Sexplib0.Sexp.t) -> ('b -> Sexplib0.Sexp.t) -> ('c -> Sexplib0.Sexp.t) -> ('d -> Sexplib0.Sexp.t) -> ('a, 'b, 'c, 'd) may_eval -> Sexplib0.Sexp.t
Sourceval may_eval_of_sexp : (Sexplib0.Sexp.t -> 'a) -> (Sexplib0.Sexp.t -> 'b) -> (Sexplib0.Sexp.t -> 'c) -> (Sexplib0.Sexp.t -> 'd) -> Sexplib0.Sexp.t -> ('a, 'b, 'c, 'd) may_eval
Sourceval may_eval_to_yojson : ('a -> Yojson.Safe.t) -> ('b -> Yojson.Safe.t) -> ('c -> Yojson.Safe.t) -> ('d -> Yojson.Safe.t) -> ('a, 'b, 'c, 'd) may_eval -> Yojson.Safe.t
Sourceval hash_fold_may_eval : (Ppx_hash_lib.Std.Hash.state -> 'a -> Ppx_hash_lib.Std.Hash.state) -> (Ppx_hash_lib.Std.Hash.state -> 'b -> Ppx_hash_lib.Std.Hash.state) -> (Ppx_hash_lib.Std.Hash.state -> 'c -> Ppx_hash_lib.Std.Hash.state) -> (Ppx_hash_lib.Std.Hash.state -> 'd -> Ppx_hash_lib.Std.Hash.state) -> Ppx_hash_lib.Std.Hash.state -> ('a, 'b, 'c, 'd) may_eval -> Ppx_hash_lib.Std.Hash.state
Sourceval compare_may_eval : ('a -> 'a -> int) -> ('b -> 'b -> int) -> ('c -> 'c -> int) -> ('d -> 'd -> int) -> ('a, 'b, 'c, 'd) may_eval -> ('a, 'b, 'c, 'd) may_eval -> int
Sourcetype raw_red_expr = Genredexpr.raw_red_expr
Sourceval sexp_of_raw_red_expr : raw_red_expr -> Sexplib0.Sexp.t
Sourceval raw_red_expr_of_sexp : Sexplib0.Sexp.t -> raw_red_expr
Sourceval raw_red_expr_to_yojson : raw_red_expr -> Yojson.Safe.t
Sourceval hash_fold_raw_red_expr : Ppx_hash_lib.Std.Hash.state -> raw_red_expr -> Ppx_hash_lib.Std.Hash.state
Sourceval hash_raw_red_expr : raw_red_expr -> Ppx_hash_lib.Std.Hash.hash_value
Sourceval compare_raw_red_expr : raw_red_expr -> raw_red_expr -> int
Sourcetype 'a and_short_name = 'a Genredexpr.and_short_name
Sourceval sexp_of_and_short_name : ('a -> Sexplib0.Sexp.t) -> 'a and_short_name -> Sexplib0.Sexp.t
Sourceval and_short_name_of_sexp : (Sexplib0.Sexp.t -> 'a) -> Sexplib0.Sexp.t -> 'a and_short_name
Sourceval and_short_name_to_yojson : ('a -> Yojson.Safe.t) -> 'a and_short_name -> Yojson.Safe.t
Sourceval hash_fold_and_short_name : (Ppx_hash_lib.Std.Hash.state -> 'a -> Ppx_hash_lib.Std.Hash.state) -> Ppx_hash_lib.Std.Hash.state -> 'a and_short_name -> Ppx_hash_lib.Std.Hash.state
Sourceval compare_and_short_name : ('a -> 'a -> int) -> 'a and_short_name -> 'a and_short_name -> int
Sourcetype glob_red_expr = Genredexpr.glob_red_expr
Sourceval sexp_of_glob_red_expr : glob_red_expr -> Sexplib0.Sexp.t
Sourceval glob_red_expr_of_sexp : Sexplib0.Sexp.t -> glob_red_expr
Sourceval glob_red_expr_to_yojson : glob_red_expr -> Yojson.Safe.t
Sourceval hash_fold_glob_red_expr : Ppx_hash_lib.Std.Hash.state -> glob_red_expr -> Ppx_hash_lib.Std.Hash.state
Sourceval hash_glob_red_expr : glob_red_expr -> Ppx_hash_lib.Std.Hash.hash_value
Sourceval compare_glob_red_expr : glob_red_expr -> glob_red_expr -> int
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct