package ppx_deriving

  1. Overview
  2. Docs
Type-driven code generation for OCaml

Install 

dune-project
 Dependency

github.com Readme Changelog Edit opam file Versions (12)

Authors

  1. W
    whitequark <whitequark@whitequark.org>

Maintainers

  1. W
    whitequark <whitequark@whitequark.org>

Sources

ppx_deriving-6.1.1.tar.gz
md5=3208e6028fbb5a417f751d3529eae031
sha512=9d64fd1a7c908e70ac11164db6732d69e74eac28c29ba6d76d40711554615c0af5a8c491eb6f05181b99294b50fc2c50b454b6d75d022db9d33133188d071102

doc/ppx_deriving.api/Ppx_deriving/Arg/index.html

Module Ppx_deriving.ArgSource

Arg contains convenience functions that extract constants from AST fragments, to be used when parsing options or [\@attributes] attached to types, fields or constructors.

The ~name argument is used in error messages and should receive the name of the deriving plugin, e.g. "show".

Sourcetype 'a conv = Ppxlib.expression -> ('a, string) result

A type of conversion functions.

A conversion function of type 'a conv converts a raw expression into an argument of type 'a. Or returns Error "error" if conversion fails.

expr returns the input expression as-is.

Sourceval bool : bool conv

bool expr extracts a boolean constant from expr, or returns Error "boolean" if expr does not contain a boolean literal.

Sourceval int : int conv

int expr extracts an integer constant from expr, or returns Error "integer" if expr does not contain an integer literal.

Sourceval string : string conv

string expr extracts a string constant from expr, or returns Error "string" if expr does not contain a string literal.

Sourceval char : char conv

char expr extracts a char constant from expr, or returns Error "char" if expr does not contain a char literal.

Sourceval enum : string list -> string conv

enum values expr extracts a polymorphic variant constant from expr, or returns Error "one of: `a, `b, ..." if expr does not contain a polymorphic variant constructor included in values.

Sourceval list : 'a conv -> 'a list conv

list f expr extracts a list constant from expr and maps every element through f, or returns Error "list:..." where ... is the error returned by f, or returns Error "list" if expr does not contain a list.

Sourceval get_attr : deriver:string -> 'a conv -> Ppxlib.attribute option -> 'a option

get_attr ~deriver conv attr extracts the expression from attr and converts it with conv, raising Location.Error if attr is not a structure with a single expression or conv fails; or returns None if attr is None. The name of the deriving plugin should be passed as deriver; it is used in error messages.

Example usage:

let deriver = "index"
(* ... *)
  let kind =
    match Ppx_deriving.attr ~deriver "kind" pcd_attributes |>
          Ppx_deriving.Arg.(get_attr ~deriver (enum ["flat"; "nested"])) with
    | Some "flat" -> `flat | Some "nested" -> `nested | None -> `default
  in ..
Sourceval get_flag : deriver:string -> Ppxlib.attribute option -> bool

get_flag ~deriver attr returns true if attr is an empty attribute or false if it is absent, raising Location.Error if attr is not a structure. The name of the deriving plugin should be passed as deriver; it is used in error messages.

Sourceval get_expr : deriver:string -> 'a conv -> Ppxlib.expression -> 'a

get_expr ~deriver conv exp converts expression exp with conv, raising Location.Error if conv fails. The name of the deriving plugin should be passed as deriver; it is used in error messages.