package OCanren-ppx

You can search for identifiers within the package.

in-package search v0.2.0

Implementation of miniKanren relational (logic) EDSL: PPX extensions

Install

sha256=77dd4b9d2b41f908ee4871612e78f455f9f0200a8c70321fcc82ebb53c86b4f0

sha512=c5dab91f59060f5dd5aecef5665e9235d8317cf071603070b0eef84ba6dc3a6ac027a8cf8aa37262109edb309b83c05f355a53c6718e43438164740c6b8715d4

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_desc -> Ppxlib.expression Base.List.t

Sourceval mapper : Ppxlib.Ast_traverse.map