James Eversole
a36ff638a9
Introduces a read-only HTTP server (WAI/Warp) backed by the content store, exposing three bundle-export endpoints: - GET /bundle/name/:name — export by stored term name - GET /bundle/hash/:hash — export by full Merkle hash - GET /terms — plain-text listing (debug) Also adds `tricu server` (aka `--serve`) CLI mode, move `resolveExportTarget` / `namesForHash` / `looksLikeHash` out of `Main.hs` into `ContentStore.hs`, and cleans up unused exports and imports across `FileEval.hs` and `Wire.hs`.
135 lines
2.2 KiB
Plaintext
135 lines
2.2 KiB
Plaintext
cabal-version: 1.12
|
|
|
|
name: tricu
|
|
version: 1.1.0
|
|
description: A language for exploring Tree Calculus
|
|
author: James Eversole
|
|
maintainer: james@eversole.co
|
|
copyright: James Eversole
|
|
license: ISC
|
|
license-file: LICENSE
|
|
build-type: Simple
|
|
extra-source-files:
|
|
README.md
|
|
|
|
executable tricu
|
|
main-is: Main.hs
|
|
hs-source-dirs:
|
|
src
|
|
default-extensions:
|
|
DeriveDataTypeable
|
|
LambdaCase
|
|
MultiWayIf
|
|
OverloadedStrings
|
|
ScopedTypeVariables
|
|
ghc-options:
|
|
-Wall
|
|
-Wcompat
|
|
-Wunused-imports
|
|
-Wunused-top-binds
|
|
-Wunused-local-binds
|
|
-Wunused-matches
|
|
-Wredundant-constraints
|
|
-threaded
|
|
-rtsopts
|
|
-with-rtsopts=-N
|
|
-optl-pthread
|
|
-fPIC
|
|
build-depends:
|
|
base >=4.7
|
|
, aeson
|
|
, ansi-terminal
|
|
, base16-bytestring
|
|
, base64-bytestring
|
|
, bytestring
|
|
, cereal
|
|
, cmdargs
|
|
, containers
|
|
, cryptonite
|
|
, directory
|
|
, exceptions
|
|
, filepath
|
|
, fsnotify
|
|
, haskeline
|
|
, http-types
|
|
, megaparsec
|
|
, memory
|
|
, mtl
|
|
, servant
|
|
, sqlite-simple
|
|
, stm
|
|
, tasty
|
|
, tasty-hunit
|
|
, text
|
|
, time
|
|
, transformers
|
|
, wai
|
|
, warp
|
|
, zlib
|
|
other-modules:
|
|
ContentStore
|
|
Eval
|
|
FileEval
|
|
Lexer
|
|
Parser
|
|
Paths_tricu
|
|
REPL
|
|
Research
|
|
Server
|
|
Wire
|
|
default-language: Haskell2010
|
|
|
|
test-suite tricu-tests
|
|
type: exitcode-stdio-1.0
|
|
main-is: Spec.hs
|
|
hs-source-dirs: test, src
|
|
default-extensions:
|
|
DeriveDataTypeable
|
|
LambdaCase
|
|
MultiWayIf
|
|
OverloadedStrings
|
|
ScopedTypeVariables
|
|
build-depends:
|
|
base >=4.7
|
|
, aeson
|
|
, ansi-terminal
|
|
, base16-bytestring
|
|
, base64-bytestring
|
|
, bytestring
|
|
, cereal
|
|
, cmdargs
|
|
, containers
|
|
, cryptonite
|
|
, directory
|
|
, exceptions
|
|
, filepath
|
|
, fsnotify
|
|
, haskeline
|
|
, http-types
|
|
, megaparsec
|
|
, memory
|
|
, mtl
|
|
, servant
|
|
, sqlite-simple
|
|
, stm
|
|
, tasty
|
|
, tasty-hunit
|
|
, text
|
|
, time
|
|
, transformers
|
|
, warp
|
|
, wai
|
|
, zlib
|
|
default-language: Haskell2010
|
|
other-modules:
|
|
ContentStore
|
|
Eval
|
|
FileEval
|
|
Lexer
|
|
Parser
|
|
Paths_tricu
|
|
REPL
|
|
Research
|
|
Server
|
|
Wire
|