package ppx_assert

You can search for identifiers within the package.

in-package search v0.2.0

Assert-like extension nodes that raise useful errors on failure

Install

Dune Dependency

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

Authors

J

Jane Street Group, LLC

Maintainers

J

Jane Street developers

Sources

ppx_assert-v0.13.0.tar.gz

sha256=d2a9ab6793b27cb40f98e45745bbc2f36d847710af91d337534348b7cac1b08f

md5=89339d4982ce298156b15cf596580532

doc/ppx_assert.runtime-lib/Ppx_assert_lib/Runtime/index.html

Module `Ppx_assert_lib.Runtime`

Types used in the generated code

type 'a test_pred =
  ?here:Lexing.position Base.list ->
  ?message:Base.string ->
  ('a -> Base.bool) ->
  'a ->
  Base.unit

type 'a test_eq =
  ?here:Lexing.position Base.list ->
  ?message:Base.string ->
  ?equal:('a -> 'a -> Base.bool) ->
  'a ->
  'a ->
  Base.unit

type 'a test_result =
  ?here:Lexing.position Base.list ->
  ?message:Base.string ->
  ?equal:('a -> 'a -> Base.bool) ->
  expect:'a ->
  'a ->
  Base.unit

Functions called by the generated code

val test_pred : 
  pos:Base.string ->
  sexpifier:('a -> Base.Sexp.t) ->
  here:Lexing.position Base.list ->
  ?message:Base.string ->
  ('a -> Base.bool) ->
  'a ->
  Base.unit

val test_eq : 
  pos:Base.string ->
  sexpifier:('a -> Base.Sexp.t) ->
  comparator:('a -> 'a -> Base.int) ->
  here:Lexing.position Base.list ->
  ?message:Base.string ->
  ?equal:('a -> 'a -> Base.bool) ->
  'a ->
  'a ->
  Base.unit

val test_result : 
  pos:Base.string ->
  sexpifier:('a -> Base.Sexp.t) ->
  comparator:('a -> 'a -> Base.int) ->
  here:Lexing.position Base.list ->
  ?message:Base.string ->
  ?equal:('a -> 'a -> Base.bool) ->
  expect:'a ->
  got:'a ->
  Base.unit

val set_diff_function : 
  (from_:Base.string -> to_:Base.string -> Base.unit) Base.option ->
  Base.unit

Called to set/unset the diff function, used by test_result