package OCanren-ppx

You can search for identifiers within the package.

in-package search v0.2.0

OCanren-ppx
- README
- 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 `Myhelpers.Exp`Source

include module type of struct include Ppxlib.Ast_helper.Exp end

val mk : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Ast_500.Parsetree.expression_desc ->
  Astlib.Ast_500.Parsetree.expression

Source

val attr : 
  Astlib.Ast_500.Parsetree.expression ->
  Astlib.Ast_500.Parsetree.attribute ->
  Astlib.Ast_500.Parsetree.expression

Source

val constant : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Ast_500.Parsetree.constant ->
  Astlib.Ast_500.Parsetree.expression

Source

val let_ : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Ast_500.Asttypes.rec_flag ->
  Astlib.Ast_500.Parsetree.value_binding list ->
  Astlib.Ast_500.Parsetree.expression ->
  Astlib.Ast_500.Parsetree.expression

Source

val fun_ : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Ast_500.Asttypes.arg_label ->
  Astlib.Ast_500.Parsetree.expression option ->
  Astlib.Ast_500.Parsetree.pattern ->
  Astlib.Ast_500.Parsetree.expression ->
  Astlib.Ast_500.Parsetree.expression

Source

val function_ : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Ast_500.Parsetree.case list ->
  Astlib.Ast_500.Parsetree.expression

Source

val match_ : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Ast_500.Parsetree.expression ->
  Astlib.Ast_500.Parsetree.case list ->
  Astlib.Ast_500.Parsetree.expression

Source

val try_ : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Ast_500.Parsetree.expression ->
  Astlib.Ast_500.Parsetree.case list ->
  Astlib.Ast_500.Parsetree.expression

Source

val tuple : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Ast_500.Parsetree.expression list ->
  Astlib.Ast_500.Parsetree.expression

Source

val construct : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Longident.t Astlib.Location.loc ->
  Astlib.Ast_500.Parsetree.expression option ->
  Astlib.Ast_500.Parsetree.expression

Source

val variant : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Ast_500.Asttypes.label ->
  Astlib.Ast_500.Parsetree.expression option ->
  Astlib.Ast_500.Parsetree.expression

Source

val record : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  (Astlib.Longident.t Astlib.Location.loc * Astlib.Ast_500.Parsetree.expression)
    list ->
  Astlib.Ast_500.Parsetree.expression option ->
  Astlib.Ast_500.Parsetree.expression

Source

val field : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Ast_500.Parsetree.expression ->
  Astlib.Longident.t Astlib.Location.loc ->
  Astlib.Ast_500.Parsetree.expression

Source

val setfield : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Ast_500.Parsetree.expression ->
  Astlib.Longident.t Astlib.Location.loc ->
  Astlib.Ast_500.Parsetree.expression ->
  Astlib.Ast_500.Parsetree.expression

Source

val array : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Ast_500.Parsetree.expression list ->
  Astlib.Ast_500.Parsetree.expression

Source

val ifthenelse : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Ast_500.Parsetree.expression ->
  Astlib.Ast_500.Parsetree.expression ->
  Astlib.Ast_500.Parsetree.expression option ->
  Astlib.Ast_500.Parsetree.expression

Source

val sequence : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Ast_500.Parsetree.expression ->
  Astlib.Ast_500.Parsetree.expression ->
  Astlib.Ast_500.Parsetree.expression

Source

val while_ : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Ast_500.Parsetree.expression ->
  Astlib.Ast_500.Parsetree.expression ->
  Astlib.Ast_500.Parsetree.expression

Source

val for_ : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Ast_500.Parsetree.pattern ->
  Astlib.Ast_500.Parsetree.expression ->
  Astlib.Ast_500.Parsetree.expression ->
  Astlib.Ast_500.Asttypes.direction_flag ->
  Astlib.Ast_500.Parsetree.expression ->
  Astlib.Ast_500.Parsetree.expression

Source

val coerce : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Ast_500.Parsetree.expression ->
  Astlib.Ast_500.Parsetree.core_type option ->
  Astlib.Ast_500.Parsetree.core_type ->
  Astlib.Ast_500.Parsetree.expression

Source

val constraint_ : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Ast_500.Parsetree.expression ->
  Astlib.Ast_500.Parsetree.core_type ->
  Astlib.Ast_500.Parsetree.expression

Source

val send : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Ast_500.Parsetree.expression ->
  string Astlib.Location.loc ->
  Astlib.Ast_500.Parsetree.expression

Source

val new_ : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Longident.t Astlib.Location.loc ->
  Astlib.Ast_500.Parsetree.expression

Source

val setinstvar : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  string Astlib.Location.loc ->
  Astlib.Ast_500.Parsetree.expression ->
  Astlib.Ast_500.Parsetree.expression

Source

val override : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  (string Astlib.Location.loc * Astlib.Ast_500.Parsetree.expression) list ->
  Astlib.Ast_500.Parsetree.expression

Source

val letmodule : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  string option Astlib.Location.loc ->
  Astlib.Ast_500.Parsetree.module_expr ->
  Astlib.Ast_500.Parsetree.expression ->
  Astlib.Ast_500.Parsetree.expression

Source

val letexception : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Ast_500.Parsetree.extension_constructor ->
  Astlib.Ast_500.Parsetree.expression ->
  Astlib.Ast_500.Parsetree.expression

Source

val assert_ : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Ast_500.Parsetree.expression ->
  Astlib.Ast_500.Parsetree.expression

Source

val lazy_ : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Ast_500.Parsetree.expression ->
  Astlib.Ast_500.Parsetree.expression

Source

val poly : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Ast_500.Parsetree.expression ->
  Astlib.Ast_500.Parsetree.core_type option ->
  Astlib.Ast_500.Parsetree.expression

Source

val object_ : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Ast_500.Parsetree.class_structure ->
  Astlib.Ast_500.Parsetree.expression

Source

val newtype : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  string Astlib.Location.loc ->
  Astlib.Ast_500.Parsetree.expression ->
  Astlib.Ast_500.Parsetree.expression

Source

val pack : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Ast_500.Parsetree.module_expr ->
  Astlib.Ast_500.Parsetree.expression

Source

val open_ : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Ast_500.Parsetree.open_declaration ->
  Astlib.Ast_500.Parsetree.expression ->
  Astlib.Ast_500.Parsetree.expression

Source

val letop : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Ast_500.Parsetree.binding_op ->
  Astlib.Ast_500.Parsetree.binding_op list ->
  Astlib.Ast_500.Parsetree.expression ->
  Astlib.Ast_500.Parsetree.expression

Source

val extension : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Ast_500.Parsetree.extension ->
  Astlib.Ast_500.Parsetree.expression

Source

val unreachable : 
  ?loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  unit ->
  Astlib.Ast_500.Parsetree.expression

Source

val case : 
  Astlib.Ast_500.Parsetree.pattern ->
  ?guard:Astlib.Ast_500.Parsetree.expression ->
  Astlib.Ast_500.Parsetree.expression ->
  Astlib.Ast_500.Parsetree.case

Source

val binding_op : 
  string Astlib.Location.loc ->
  Astlib.Ast_500.Parsetree.pattern ->
  Astlib.Ast_500.Parsetree.expression ->
  Astlib.Location.t ->
  Astlib.Ast_500.Parsetree.binding_op

Source

val mytuple : 
  loc:Astlib.Location.t ->
  ?attrs:Astlib.Ast_500.Parsetree.attribute list ->
  Astlib.Ast_500.Parsetree.expression list ->
  Astlib.Ast_500.Parsetree.expression

Source

val apply : 
  loc:Astlib.Location.t ->
  Astlib.Ast_500.Parsetree.expression ->
  Astlib.Ast_500.Parsetree.expression Base.List.t ->
  Astlib.Ast_500.Parsetree.expression

Source

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

Source

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

package OCanren-ppx

Module Myhelpers.ExpSource

Module `Myhelpers.Exp`Source