39 lines
1.1 KiB
Plaintext
39 lines
1.1 KiB
Plaintext
cabal-version: 3.4
|
|
name: plan-exporter
|
|
version: 0.1.0.0
|
|
license: MIT OR Apache-2.0
|
|
author: storage-engine-playground
|
|
synopsis: Export conjunctive-query plans as JSON for the Rust plan-runner.
|
|
description:
|
|
Reads a scenario (FlatTheory + facts + a list of QAtoms) from JSON,
|
|
runs Geolog.DB.Plan.planConjunction, and emits a plan IR JSON document
|
|
that crates/plan-runner consumes. The IR is the contract between the
|
|
Haskell frontend and the Rust executor; this tool is currently the only
|
|
producer, but any frontend that emits the same JSON shape can drive the
|
|
runner.
|
|
|
|
build-type: Simple
|
|
|
|
executable plan-export
|
|
main-is: Main.hs
|
|
hs-source-dirs: src
|
|
default-language: GHC2024
|
|
default-extensions:
|
|
BlockArguments
|
|
LambdaCase
|
|
OverloadedRecordDot
|
|
OverloadedStrings
|
|
|
|
ghc-options: -Wall
|
|
|
|
build-depends:
|
|
, aeson >=2.2
|
|
, aeson-pretty >=0.8
|
|
, algebraic-graphs >=0.7
|
|
, base
|
|
, bytestring
|
|
, containers
|
|
, fnotation
|
|
, geolog-lang
|
|
, text
|