package ppx_deriving_qcheck

You can search for identifiers within the package.

in-package search v0.2.0

PPX Deriver for qcheck

Install

md5=2e144a8c3c7074545478bd0dff430f05

sha512=2883cd669c7c65924aea241dd99e57c2d32bcde1101ef504e3053f3f0b4fc72348ba3aba79b397cbbfa51f164b5f569cb1a01a02a2e3f150097ecd5dcbefe933

Error management

val default_loc : Ppxlib.location ref

Default location

val set_loc : Ppxlib.location -> unit

Set default location

val internal_error : ?loc:Ppxlib.location -> unit -> 'a

Internal error without message

val syntax_error : ?loc:Ppxlib.location -> err:char -> unit -> 'a

Syntax error on parsing

val case_unsupported : ?loc:Ppxlib.location -> case:string -> unit -> 'a

Internal error when a pattern matching case is not supported

val property_unsupported : 
  ?loc:Ppxlib.location ->
  property:string ->
  unit ->
  'a

Error when a pbt.property is not supported

val property_gen_missing : 
  ?loc:Ppxlib.location ->
  property:string ->
  required:int ->
  actual:int ->
  unit ->
  'a

Error when a pbt.property misses generators

val property_arg_missing : 
  ?loc:Ppxlib.location ->
  property:string ->
  required:int ->
  actual:int ->
  unit ->
  'a

Error when a pbt.property misses args

val location_error : ?loc:Ppxlib.location -> msg:string -> unit -> 'a

Error on location with message