package ppx_map

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

This module implements the PPX

val pmod_of_pexp_construct : 
  loc:Astlib.Location.t ->
  Ppxlib.expression_desc ->
  Astlib.Ast_500.Parsetree.module_expr

Convert constructs to modules in the AST

val process_expr : 
  Ppxlib.expression ->
  Ppxlib.location * Ppxlib.expression * Ppxlib.expression

Extracts the relevant data from key => value expressions

val empty_map : Astlib.Location.t -> Astlib.Ast_500.Parsetree.expression

val make_map : 
  loc:Astlib.Location.t ->
  (Astlib.Location.t
   * Astlib.Ast_500.Parsetree.expression
   * Astlib.Ast_500.Parsetree.expression)
    list ->
  Ppxlib.expression option ->
  Astlib.Ast_500.Parsetree.expression

Build the map data expression

val letmodule : 
  loc:Astlib.Location.t ->
  Astlib.Ast_500.Parsetree.module_expr ->
  Astlib.Ast_500.Parsetree.expression ->
  Astlib.Ast_500.Parsetree.expression

Format the final expression

val pmod_of_lhs : 
  loc:Astlib.Location.t ->
  Ppxlib.expression_desc ->
  Astlib.Ast_500.Parsetree.module_expr

Infer the type of the given expression

val process_sequence : 
  loc:Astlib.Location.t ->
  Ppxlib.expression ->
  Ppxlib.expression option ->
  Astlib.Ast_500.Parsetree.expression

Dispatch to the type inferer and map builder

val process : 
  loc:Astlib.Location.t ->
  Ppxlib.expression ->
  Astlib.Ast_500.Parsetree.expression

Normalize the acceptable map formats

val mapper : Ppxlib.Extension.t

Declare the map extension