package ppx_diff

You can search for identifiers within the package.

in-package search v0.2.0

A PPX rewriter that genreates the implementation of [Ldiffable.S].

Install

Dune Dependency

github.com Readme MIT License Edit opam file Versions (2)

Authors

J

Jane Street Group, LLC

Maintainers

J

Jane Street developers

Sources

v0.17.1.tar.gz

md5=cfec5d638a1bf1ea77707d10eed5d2d7

sha512=5848274cb0c5acd1ee3f29318e6111c5fef4b357aeda78120e0370067b9b23f62bb57e1e0be948c3af385b5900a3e0fb657f26dd4fe7ee95cd7002b9d8b68547

doc/ppx_diff.diffable/Diffable/Diff_of_option/index.html

Module `Diffable.Diff_of_option`Source

Sourcetype 'a derived_on = 'a Base.option

Source

val sexp_of_derived_on : 
  ('a -> Sexplib0.Sexp.t) ->
  'a derived_on ->
  Sexplib0.Sexp.t

Source

val derived_on_of_sexp : 
  (Sexplib0.Sexp.t -> 'a) ->
  Sexplib0.Sexp.t ->
  'a derived_on

Sourceval bin_shape_derived_on : Bin_prot.Shape.t -> Bin_prot.Shape.t

Source

val bin_size_derived_on : 
  'a Bin_prot.Size.sizer ->
  'a derived_on Bin_prot.Size.sizer

Source

val bin_write_derived_on : 
  'a Bin_prot.Write.writer ->
  'a derived_on Bin_prot.Write.writer

Source

val bin_writer_derived_on : 
  'a Bin_prot.Type_class.writer ->
  'a derived_on Bin_prot.Type_class.writer

Source

val bin_read_derived_on : 
  'a Bin_prot.Read.reader ->
  'a derived_on Bin_prot.Read.reader

Source

val __bin_read_derived_on__ : 
  'a Bin_prot.Read.reader ->
  (Base.int -> 'a derived_on) Bin_prot.Read.reader

Source

val bin_reader_derived_on : 
  'a Bin_prot.Type_class.reader ->
  'a derived_on Bin_prot.Type_class.reader

Source

val bin_derived_on : 
  'a Bin_prot.Type_class.t ->
  'a derived_on Bin_prot.Type_class.t

Sourcetype ('a, 'a_diff) t =

| Set_to_none
| Set_to_some of 'a
| Diff_some of 'a_diff

include Sexplib0.Sexpable.S2 with type ('a, 'a_diff) t := ('a, 'a_diff) t

include Bin_prot.Binable.S2 with type ('a, 'a_diff) t := ('a, 'a_diff) t

include Ppx_quickcheck_runtime.Quickcheckable.S2
  with type ('a, 'a_diff) t := ('a, 'a_diff) t

Source

val quickcheck_generator : 
  'a Base_quickcheck.Generator.t ->
  'b Base_quickcheck.Generator.t ->
  ('a, 'b) t Base_quickcheck.Generator.t

Source

val quickcheck_observer : 
  'a Base_quickcheck.Observer.t ->
  'b Base_quickcheck.Observer.t ->
  ('a, 'b) t Base_quickcheck.Observer.t

Source

val quickcheck_shrinker : 
  'a Base_quickcheck.Shrinker.t ->
  'b Base_quickcheck.Shrinker.t ->
  ('a, 'b) t Base_quickcheck.Shrinker.t

include Sexplib0.Sexpable.S2 with type ('a, 'a_diff) t := ('a, 'a_diff) t

Source

val t_of_sexp : 
  (Sexplib0.Sexp.t -> 'a) ->
  (Sexplib0.Sexp.t -> 'b) ->
  Sexplib0.Sexp.t ->
  ('a, 'b) t

Source

val sexp_of_t : 
  ('a -> Sexplib0.Sexp.t) ->
  ('b -> Sexplib0.Sexp.t) ->
  ('a, 'b) t ->
  Sexplib0.Sexp.t

include Bin_prot.Binable.S2 with type ('a, 'a_diff) t := ('a, 'a_diff) t

Sourceval bin_shape_t : Bin_prot.Shape.t -> Bin_prot.Shape.t -> Bin_prot.Shape.t

Sourceval bin_size_t : ('a, 'b, ('a, 'b) t) Bin_prot.Size.sizer2

Sourceval bin_write_t : ('a, 'b, ('a, 'b) t) Bin_prot.Write.writer2

Sourceval bin_read_t : ('a, 'b, ('a, 'b) t) Bin_prot.Read.reader2

Sourceval __bin_read_t__ : ('a, 'b, int -> ('a, 'b) t) Bin_prot.Read.reader2

Sourceval bin_writer_t : ('a, 'b, ('a, 'b) t) Bin_prot.Type_class.S2.writer

Sourceval bin_reader_t : ('a, 'b, ('a, 'b) t) Bin_prot.Type_class.S2.reader

Sourceval bin_t : ('a, 'b, ('a, 'b) t) Bin_prot.Type_class.S2.t

Source

val get : 
  (from:'a -> to_:'a -> 'a_diff Optional_diff.t) ->
  from:'a derived_on ->
  to_:'a derived_on ->
  ('a, 'a_diff) t Optional_diff.t

Source

val apply_exn : 
  ('a -> 'a_diff -> 'a) ->
  'a derived_on ->
  ('a, 'a_diff) t ->
  'a derived_on

Source

val of_list_exn : 
  ('a_diff list -> 'a_diff Optional_diff.t) ->
  ('a -> 'a_diff -> 'a) ->
  ('a, 'a_diff) t list ->
  ('a, 'a_diff) t Optional_diff.t

package ppx_diff

Install

Dune Dependency

Authors

Maintainers

Sources

doc/ppx_diff.diffable/Diffable/Diff_of_option/index.html

Module Diffable.Diff_of_optionSource

Module `Diffable.Diff_of_option`Source