Deriving_reify (p.OCanren-ppx.0.3.0.doc.ppx_deriving_reify.Ppx_deriving_reify.Deriving

module Pprintast_ = Pprintast

module Format = Caml.Format

val failwiths : 
  ?loc:Ppxlib.Location.t ->
  ('a, Stdlib.Format.formatter, unit, 'b) Stdlib.format4 ->
  'a

include sig ... end

Source

val make_typ_exn : 
  ?ccompositional:bool ->
  loc:Ppxlib__.Location.t ->
  (loc:Ppxlib.location ->
    Ppxlib_ast.Ast.core_type ->
    Ppxlib__.Import.core_type) ->
  string ->
  Ppxlib.core_type ->
  Ppxlib__.Import.core_type

Source

val ltypify_exn : 
  ?ccompositional:bool ->
  loc:Ppxlib__.Location.t ->
  Ppxlib.core_type ->
  Ppxlib__.Import.core_type

Source

val gtypify_exn : 
  ?ccompositional:bool ->
  loc:Ppxlib__.Location.t ->
  Ppxlib.core_type ->
  Ppxlib__.Import.core_type

Sourcetype kind =

| Reify
| Prj_exn

Source

val unwrap_kind : 
  loc:Ppxlib.location ->
  kind ->
  Ppxlib_ast.Ast.expression * string

Source

val reifier_of_core_type : 
  loc:Ppxlib.location ->
  kind ->
  Ppxlib.core_type ->
  Astlib.Ast_500.Parsetree.expression

Source

val make_reifier_composition : 
  pat:Ppxlib__.Import.pattern ->
  ?typ:Ppxlib__.Import.core_type option ->
  kind ->
  Ppxlib__.Import.type_declaration ->
  Ppxlib__.Import.structure_item

Sourceval process1 : Ppxlib.type_declaration -> Ppxlib__.Import.structure_item list

Source

val str_type_decl : 
  (Ppxlib__.Import.structure_item Base.List.t,
    Ppxlib__.Import.rec_flag * Ppxlib.type_declaration Base.List.t)
    Ppxlib.Deriving.Generator.t