package ppx_assert
Assert-like extension nodes that raise useful errors on failure
Install
Dune Dependency
Authors
Maintainers
Sources
ppx_assert-v0.16.0.tar.gz
sha256=57dc6e241827eb1d5112c958f2f682ddd0addf5a8e9d589f5361ec2669883fd5
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