package ppx_assert

You can search for identifiers within the package.

in-package search v0.2.0

ppx_assert.runtime-lib
- Ppx_assert_lib
  - Runtime

Legend:
Library
Module
Module type
Parameter
Class
Class type

Types used in the generated code

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

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

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

Functions called by the generated code

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

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

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

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

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