package OCanren-ppx

You can search for identifiers within the package.

in-package search v0.2.0

package OCanren-ppx

OCanren-ppx
- Library OCanren-ppx.internals
  - Myhelpers
    
    Located
    
    Exp
- Library ppx_deriving_reify
  - Ppx_deriving_reify
    
    Deriving_reify
    
    Pprintast_
    
    Format
- Library ppx_distrib
  - Ppx_distrib
- Library ppx_fresh
  - Ppx_fresh
- Library ppx_noinjected
  - Ppx_noinjected
- Library ppx_repr
  - Ppx_repr
- Sources
  - OCanren-ppx.internals
    
    myhelpers.ml
  - ppx_deriving_reify
    
    deriving_reify.ml
    
    ppx_deriving_reify.ml
  - ppx_distrib
    
    ppx_distrib.ml
    
    ppx_distrib__.ml
    
    ppx_distrib_expander.ml
  - ppx_fresh
    
    ppx_fresh.ml
  - ppx_noinjected
    
    ppx_noinjected.ml
  - ppx_repr
    
    ppx_repr.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Ppx_deriving_reify.Deriving_reify`Source

module Pprintast_ = Pprintast

module Format = Caml.Format

Source

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

package OCanren-ppx

Module Ppx_deriving_reify.Deriving_reifySource

Module `Ppx_deriving_reify.Deriving_reify`Source