package ppx_conv_func

You can search for identifiers within the package.

in-package search v0.2.0

ppx_conv_func
- Ppx_conv_func
  - Complete
  - Complete_list
  - Gen_sig
  - Gen_struct
  - Matcher
  - Of_complete
    
    S
  - Of_list
    
    S
  - Of_simple
    
    S
  - Simple

Legend:
Library
Module
Module type
Parameter
Class
Class type

val raise_unsupported : loc:Ppxlib.Location.t -> string -> 'a

type simple_processor =
  Ppxlib.Location.t ->
  field_name:string ->
  Ppxlib.expression

A simple processor that takes a field name and generates an expression for the contents of that field

type recursive_processor =
  Ppxlib.Location.t ->
  field_name:string ->
  type_name:string ->
  path:Ppxlib.Longident.t option ->
  Ppxlib.expression

The recursive counter-part to the previous. Additional arguments are the type name and the a path to make recursive calls

Module types to specify an extension that does something with a record type

module type Simple = sig ... end

module type Complete = sig ... end

module type Complete_list = sig ... end

module type Matcher = sig ... end

A module that converts a type into another expression that can be used in camlp4 extensions needs to have the following functions.

module Of_simple (S : Simple) : Matcher

Three basic functors to generate the Matcher from a simple extension specification

module Of_complete (S : Complete) : Matcher

A module that converts a type into another expression that can be used in camlp4 extensions needs to have the following functions.

module Of_list (S : Complete_list) : Matcher

A module that converts a type into another expression that can be used in camlp4 extensions needs to have the following functions.

val lambda : 
  Ppxlib.Location.t ->
  Ppxlib.pattern list ->
  Ppxlib.expression ->
  Ppxlib.expression

module Gen_sig : sig ... end

module Gen_struct : sig ... end