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

Dune Dependency

github.com Readme Edit opam file Versions (2)

Authors

Maintainers

D

Dmitrii Kosarev Kakadu@pm.me

Sources

0.3.0.tar.gz

sha256=eaf9624bbdbae8050eb43a48c0e79e97160b83b6f65a543ee1beca4c9f4ff4b2

sha512=e55dd7a3026b1dedcd37f55181059dfa44ad6976d241a1199246ee3c1684dcfdf1ae0c1da32165b5b2eb5748cfc57c906a0f0ebab56d03035a5bb87187a63cf7

doc/ppx_deriving_reify/Ppx_deriving_reify/Deriving_reify/index.html

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

Install

Dune Dependency

Authors

Maintainers

Sources

doc/ppx_deriving_reify/Ppx_deriving_reify/Deriving_reify/index.html

Module Ppx_deriving_reify.Deriving_reifySource

Module `Ppx_deriving_reify.Deriving_reify`Source