package OCanren-ppx

Not available on OCaml 5.5
  1. Overview
  2. Docs
Implementation of miniKanren relational (logic) EDSL: PPX extensions

Install 

dune-project
 Dependency

github.com Readme Edit opam file Versions (2)

Authors

  1. D
    Dmitrii Kosarev https://github.com/Kakadu
  2. J
    JetBrains Research https://research.jetbrains.org

Maintainers

  1. D
    Dmitrii Kosarev Kakadu@pm.me

Sources

0.3.0.tar.gz
sha256=eaf9624bbdbae8050eb43a48c0e79e97160b83b6f65a543ee1beca4c9f4ff4b2
sha512=e55dd7a3026b1dedcd37f55181059dfa44ad6976d241a1199246ee3c1684dcfdf1ae0c1da32165b5b2eb5748cfc57c906a0f0ebab56d03035a5bb87187a63cf7

Description

PPX rewriters for writing relational programs more conveniently.

  1. ppx_fresh -- a clone of original miniKanren syntax

fresh (x...) goal

expands into

Fresh.numeral (fun x ... -> goal)

  1. ppx_distrib for easier generation of type-safe smart constructors and reifiers...

[%%distrib type nonrec _ t = fully_abstract_type type ground = ... ]

  1. ppx_repr for testing. Expands REPR(expr) to (string_of_expr expr, expr)

Added to opam-repository:

README

OCanren License JB Research

OCanren is a strongly-typed embedding of relational programming language miniKanren into OCaml. Nowadays, the implementation of OCanren strongly reminds faster-miniKanren. Previous implementation was based on microKanren with disequality constraints.

See installation instructions, API documentation for more details, and ReadTheDocs for detailed information.

Check our template repository for OCanren projects for faster startup!

Installation

OCanren is available in main OPAM repository

  opam install OCanren --yes

To try out developer version use

  opam pin add OCanren --dev-repo --yes

Dependencies (7)

  1. ppx_expect
  2. ppx_inline_test
  3. base < "v0.17"
  4. ppxlib >= "0.22"
  5. dune-configurator
  6. ocaml >= "4.10"
  7. dune >= "2.9"

Dev Dependencies (1)

  1. odoc with-doc

Optional Dependencies

None

Conflicts

None

Build status

Results of building OCanren-ppx with each compiler on check.ci.ocaml.org, run of against opam-repository 7cdc698. All results for this package.

Each result links to its build log. To keep crawlers from overloading the site, build logs require a GitHub sign-in (see ocurrent/opam-health-check). On your first log, GitHub asks you to “Authorize opam-health-check”, the OCurrent app that runs these checks; it sees only your public profile, not your repositories. The sign-in lasts 30 days.

Version OCaml 4.11 OCaml 4.14 OCaml 5.2 OCaml 5.4 OCaml 5.5
0.3.0 (this version) good good good n/a n/a
  • good Package successfully built
  • partial One of the dependencies failed to build
  • bad Package failed to build
  • n/a Package is not available in this environment
  • internal Internal failure