package OCanren-ppx

  1. Overview
  2. Docs
Implementation of miniKanren relational (logic) EDSL: PPX extensions

Install

github.com Readme Changelog LGPL-2.1 License Edit opam file

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-alpha1.tar.gz
sha256=d530d7e64c2858796c9c3b366702d2afa96097ea0815c0c7b9b185c41c0c7db9
sha512=ff200d35f72d9ce50c862d63291c3bc6a0e9544426cf72678e2a28553110ca88382a13868af16e62526a3f8d8ba33193be023b2a8a60053f3cb21794063411f4

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)

Published: 14 Feb 2022

Dependencies (9)

  1. GT
  2. OCanren >= "0.3.0~"
  3. ppx_expect
  4. ppx_inline_test
  5. base
  6. ppxlib >= "0.22" & <= "0.24"
  7. dune-configurator
  8. ocaml >= "4.10"
  9. dune >= "2.8"

Dev Dependencies (2)

  1. odoc with-doc
  2. ocamlformat with-test

Used by (1)

  1. noCanren >= "0.3.0~alpha1"

Conflicts

None