package ppx_assert
Assert-like extension nodes that raise useful errors on failure
Install
Dune Dependency
Authors
Maintainers
Sources
v0.17.0.tar.gz
sha256=94c47289a6393642b1cca7d2cdb8decdbf387c3cee4faf50d9b00efc871cce8b
doc/ppx_assert.runtime-lib/Ppx_assert_lib/Runtime/index.html
Module Ppx_assert_lib.RuntimeSource
Types used in the generated code
Source
type 'a test_pred =
?here:Lexing.position Base.list ->
?message:Base.string ->
('a -> Base.bool) ->
'a ->
Base.unitSource
type 'a test_eq =
?here:Lexing.position Base.list ->
?message:Base.string ->
?equal:('a -> 'a -> Base.bool) ->
'a ->
'a ->
Base.unitSource
type 'a test_result =
?here:Lexing.position Base.list ->
?message:Base.string ->
?equal:('a -> 'a -> Base.bool) ->
expect:'a ->
'a ->
Base.unitFunctions called by the generated code
Source
val test_pred :
pos:Base.string ->
sexpifier:('a -> Base.Sexp.t) ->
here:Lexing.position Base.list ->
?message:Base.string ->
('a -> Base.bool) ->
'a ->
Base.unitSource
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.unitSource
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.unitSource
val set_diff_function :
(from_:Base.string -> to_:Base.string -> Base.unit) Base.option ->
Base.unitCalled to set/unset the diff function, used by test_result