package OCanren-ppx

You can search for identifiers within the package.

in-package search v0.2.0

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

Module `Ppx_fresh`Source

Sourceval is_state_pattern : Ppxlib.pattern -> string option

Sourceval classify_name : f:(Ppxlib.longident -> bool) -> Ppxlib.expression -> bool

Sourceval need_insert_fname : name:string -> Ppxlib.expression -> bool

Sourceval is_defer : Ppxlib.expression -> bool

Sourceval is_conde : Ppxlib.expression -> bool

Sourceval is_fresh : Ppxlib.expression -> bool

Sourceval is_call_fresh : Ppxlib.expression -> bool

Sourceval is_unif : Ppxlib.expression -> bool

Sourceval is_conj : Ppxlib.expression -> bool

Sourceval is_conj_list : Ppxlib.expression -> bool

Sourceval is_disj : Ppxlib.expression -> Base.bool

Sourceval option_map : f:('a -> 'b) -> 'a option -> 'b option

Sourceval option_bind : f:('a -> 'b option) -> 'a option -> 'b option

Sourceexception Not_an_ident

Sourceval reconstruct_args : Ppxlib.expression -> string list option

Sourceval list_fold : f:('a -> 'b -> 'a) -> initer:('b -> 'a) -> 'b list -> 'a

val list_fold_right0 : 
  f:('a -> 'b -> 'b) ->
  initer:('a -> 'b) ->
  'a Base.List.t ->
  'b

val my_list : 
  loc:Ppxlib.location ->
  Ppxlib_ast.Ast.expression Base.List.t ->
  Ppxlib_ast.Ast.expression

Sourceval parse_to_list : Ppxlib.expression -> Ppxlib.expression Base.List.t

Sourceval mapper : Ppxlib.Ast_traverse.map