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=eaf9624bbdbae8050eb43a48c0e79e97160b83b6f65a543ee1beca4c9f4ff4b2

sha512=e55dd7a3026b1dedcd37f55181059dfa44ad6976d241a1199246ee3c1684dcfdf1ae0c1da32165b5b2eb5748cfc57c906a0f0ebab56d03035a5bb87187a63cf7

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