tricu.cabal

cabal-version: 1.12

name:           tricu
version:        2.0.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
    tricu.workspace

executable tricu
  main-is: Main.hs
  hs-source-dirs:
    src
  default-extensions:
    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
    , ansi-terminal
    , base16-bytestring
    , base64-bytestring
    , bytestring
    , optparse-applicative
    , containers
    , cryptonite
    , directory
    , exceptions
    , filepath
    , fsnotify
    , haskeline
    , megaparsec
    , memory
    , mtl
    , network
    , stm
    , tasty
    , tasty-hunit
    , text
    , time
    , transformers
    , vector
    , zlib
  other-modules:
    Check
    Check.Core
    Check.IO
    ContentStore
    ContentStore.Alias
    ContentStore.Arboricx
    ContentStore.Bundle
    ContentStore.Filesystem
    ContentStore.Object
    ContentStore.Resolver
    ContentStore.ViewTree
    ContentStore.ViewContract
    Eval
    FileEval
    IODriver
    Lexer
    Module.Manifest
    Module.Resolver
    Module.Workspace
    Parser
    Paths_tricu
    REPL
    Research
    Wire
  default-language: Haskell2010

benchmark tricu-bench
  type:             exitcode-stdio-1.0
  main-is:          Bench.hs
  hs-source-dirs:   bench, src
  default-extensions:
      LambdaCase
      MultiWayIf
      OverloadedStrings
      ScopedTypeVariables
  build-depends:
    base >=4.7
    , ansi-terminal
    , base16-bytestring
    , base64-bytestring
    , bytestring
    , containers
    , criterion
    , cryptonite
    , directory
    , exceptions
    , filepath
    , megaparsec
    , memory
    , mtl
    , network
    , text
    , time
    , transformers
    , vector
    , zlib
  default-language: Haskell2010
  other-modules:
    ApplyStats
    ContentStore
    ContentStore.Alias
    ContentStore.Arboricx
    ContentStore.Bundle
    ContentStore.Filesystem
    ContentStore.Object
    ContentStore.Resolver
    ContentStore.ViewTree
    ContentStore.ViewContract
    Eval
    FileEval
    IODriver
    Lexer
    Module.Manifest
    Module.Resolver
    Module.Workspace
    Parser
    Paths_tricu
    Research
    Wire

test-suite tricu-tests
  type:                exitcode-stdio-1.0
  main-is:             Spec.hs
  hs-source-dirs:      test, src
  default-extensions:
      LambdaCase
      MultiWayIf
      OverloadedStrings
      ScopedTypeVariables
  build-depends:       
    base >=4.7
    , ansi-terminal
    , base16-bytestring
    , base64-bytestring
    , bytestring
    , optparse-applicative
    , containers
    , cryptonite
    , directory
    , exceptions
    , filepath
    , fsnotify
    , haskeline
    , megaparsec
    , memory
    , mtl
    , network
    , stm
    , tasty
    , tasty-hunit
    , temporary
    , text
    , time
    , transformers
    , unix
    , vector
    , zlib
  default-language:    Haskell2010
  other-modules:
    Check
    Check.Core
    Check.IO
    ContentStore
    ContentStore.Alias
    ContentStore.Arboricx
    ContentStore.Bundle
    ContentStore.Filesystem
    ContentStore.Object
    ContentStore.Resolver
    ContentStore.ViewTree
    ContentStore.ViewContract
    Eval
    FileEval
    IODriver
    Lexer
    Module.Manifest
    Module.Resolver
    Module.Workspace
    Parser
    Paths_tricu
    REPL
    Research
    Wire
Initialize Repo Working (but likely buggy!) lexing, parsing, and evaluation of Tree Calculus terms 2024-12-18 18:55:51 -06:00			`cabal-version: 1.12`

Rename from sapling to tricu 2024-12-29 08:29:25 -06:00			`name: tricu`
Tricu 2.0.0 Sorry for squashing all of this but :shrug: 2026-05-25 12:43:15 -05:00			`version: 2.0.0`
Picking development back up Merge Kiselyov optimizations and De Bruijn indices General clean up 2026-05-05 14:51:42 -05:00			`description: A language for exploring Tree Calculus`
Initialize Repo Working (but likely buggy!) lexing, parsing, and evaluation of Tree Calculus terms 2024-12-18 18:55:51 -06:00			`author: James Eversole`
			`maintainer: james@eversole.co`
			`copyright: James Eversole`
			`license: ISC`
			`license-file: LICENSE`
			`build-type: Simple`
			`extra-source-files:`
Clean up 2024-12-18 19:41:12 -06:00			`README.md`
Tricu 2.0.0 Sorry for squashing all of this but :shrug: 2026-05-25 12:43:15 -05:00			`tricu.workspace`
Initialize Repo Working (but likely buggy!) lexing, parsing, and evaluation of Tree Calculus terms 2024-12-18 18:55:51 -06:00
Rename from sapling to tricu 2024-12-29 08:29:25 -06:00			`executable tricu`
Initialize Repo Working (but likely buggy!) lexing, parsing, and evaluation of Tree Calculus terms 2024-12-18 18:55:51 -06:00			`main-is: Main.hs`
			`hs-source-dirs:`
Zero Warnings Plan Zero GHC warnings with new opts. General cleanup and updates. 2026-05-05 18:30:14 -05:00			`src`
Initialize Repo Working (but likely buggy!) lexing, parsing, and evaluation of Tree Calculus terms 2024-12-18 18:55:51 -06:00			`default-extensions:`
Zero Warnings Plan Zero GHC warnings with new opts. General cleanup and updates. 2026-05-05 18:30:14 -05:00			`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`
Initialize Repo Working (but likely buggy!) lexing, parsing, and evaluation of Tree Calculus terms 2024-12-18 18:55:51 -06:00			`build-depends:`
			`base >=4.7`
Merge content store 2025-05-22 16:13:57 -05:00			`, ansi-terminal`
Picking development back up Merge Kiselyov optimizations and De Bruijn indices General clean up 2026-05-05 14:51:42 -05:00			`, base16-bytestring`
Merge content store 2025-05-22 16:13:57 -05:00			`, base64-bytestring`
			`, bytestring`
feat(haskell): CLI rewrite 2026-05-11 15:29:12 -05:00			`, optparse-applicative`
Initialize Repo Working (but likely buggy!) lexing, parsing, and evaluation of Tree Calculus terms 2024-12-18 18:55:51 -06:00			`, containers`
Merge content store 2025-05-22 16:13:57 -05:00			`, cryptonite`
			`, directory`
Better handling of interrupts in REPL 2025-01-27 16:46:41 -06:00			`, exceptions`
Caller-relative imports; smart deduping in imports 2025-01-30 17:56:46 -06:00			`, filepath`
Merge content store 2025-05-22 16:13:57 -05:00			`, fsnotify`
Update lambda handling; better default decode out 2024-12-27 20:46:30 -06:00			`, haskeline`
Initialize Repo Working (but likely buggy!) lexing, parsing, and evaluation of Tree Calculus terms 2024-12-18 18:55:51 -06:00			`, megaparsec`
Full Merkle tree resolution 2026-05-05 12:43:03 -05:00			`, memory`
Initialize Repo Working (but likely buggy!) lexing, parsing, and evaluation of Tree Calculus terms 2024-12-18 18:55:51 -06:00			`, mtl`
Event loop! 2026-05-19 17:00:36 -05:00			`, network`
feat: HTTP server for exporting Arborix bundles 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`. 2026-05-06 14:09:56 -05:00			`, stm`
Merge content store 2025-05-22 16:13:57 -05:00			`, tasty`
			`, tasty-hunit`
Add "SimpleT" `t` output form This new output form allows easy piping to the decode function of the tricu executable. Includes a new test for roundtrip evaluation of map, compilation to tree calculus terms, and decoding back to a human readable string. 2024-12-31 10:00:52 -06:00			`, text`
Merge content store 2025-05-22 16:13:57 -05:00			`, time`
REPL namespaces; lib function for pattern matching Adds support for REPL namespacing, primarily to avoid `main` collisions. Also adds a library function for an ergonomic pattern matching function that I've been noodling on. I might explore ways to make list syntax less annoying specifically for pattern matching like this. 2025-02-02 10:50:28 -06:00			`, transformers`
Arboricx bundle format 1.1 We don't need SHA verification or Merkle dags in our transport bundle. Content stores can handle both bundle and term verification and hashing. 2026-05-11 19:53:37 -05:00			`, vector`
Merge content store 2025-05-22 16:13:57 -05:00			`, zlib`
Initialize Repo Working (but likely buggy!) lexing, parsing, and evaluation of Tree Calculus terms 2024-12-18 18:55:51 -06:00			`other-modules:`
Tricu 2.0.0 Sorry for squashing all of this but :shrug: 2026-05-25 12:43:15 -05:00			`Check`
			`Check.Core`
			`Check.IO`
Zero Warnings Plan Zero GHC warnings with new opts. General cleanup and updates. 2026-05-05 18:30:14 -05:00			`ContentStore`
Tricu 2.0.0 Sorry for squashing all of this but :shrug: 2026-05-25 12:43:15 -05:00			`ContentStore.Alias`
			`ContentStore.Arboricx`
			`ContentStore.Bundle`
			`ContentStore.Filesystem`
			`ContentStore.Object`
			`ContentStore.Resolver`
			`ContentStore.ViewTree`
			`ContentStore.ViewContract`
Initialize Repo Working (but likely buggy!) lexing, parsing, and evaluation of Tree Calculus terms 2024-12-18 18:55:51 -06:00			`Eval`
Rename "compiler" functionality to Evaluator Allows for stdin input for evaluation when no input file is provided. 2025-01-01 08:17:05 -06:00			`FileEval`
feat(haskell): Interaction Tree IO oops, now we have purely modelled IO :shrug: 2026-05-12 18:38:24 -05:00			`IODriver`
Initialize Repo Working (but likely buggy!) lexing, parsing, and evaluation of Tree Calculus terms 2024-12-18 18:55:51 -06:00			`Lexer`
Tricu 2.0.0 Sorry for squashing all of this but :shrug: 2026-05-25 12:43:15 -05:00			`Module.Manifest`
			`Module.Resolver`
			`Module.Workspace`
Initialize Repo Working (but likely buggy!) lexing, parsing, and evaluation of Tree Calculus terms 2024-12-18 18:55:51 -06:00			`Parser`
Zero Warnings Plan Zero GHC warnings with new opts. General cleanup and updates. 2026-05-05 18:30:14 -05:00			`Paths_tricu`
0.2.0 Includes better error handling, additional tests, parsing and lexing fixes to match the desired behavior defined by the new tests, and a very basic REPL implementation. 2024-12-20 11:38:09 -06:00			`REPL`
Initialize Repo Working (but likely buggy!) lexing, parsing, and evaluation of Tree Calculus terms 2024-12-18 18:55:51 -06:00			`Research`
Wire prepped and basics tested 2026-05-05 20:16:27 -05:00			`Wire`
Initialize Repo Working (but likely buggy!) lexing, parsing, and evaluation of Tree Calculus terms 2024-12-18 18:55:51 -06:00			`default-language: Haskell2010`

Interaction Trees in Zig and simple benchmarks 2026-05-15 21:41:19 -05:00			`benchmark tricu-bench`
			`type: exitcode-stdio-1.0`
			`main-is: Bench.hs`
			`hs-source-dirs: bench, src`
			`default-extensions:`
			`LambdaCase`
			`MultiWayIf`
			`OverloadedStrings`
			`ScopedTypeVariables`
			`build-depends:`
			`base >=4.7`
			`, ansi-terminal`
			`, base16-bytestring`
			`, base64-bytestring`
			`, bytestring`
			`, containers`
			`, criterion`
			`, cryptonite`
			`, directory`
			`, exceptions`
			`, filepath`
			`, megaparsec`
			`, memory`
			`, mtl`
Event loop! 2026-05-19 17:00:36 -05:00			`, network`
Interaction Trees in Zig and simple benchmarks 2026-05-15 21:41:19 -05:00			`, text`
			`, time`
			`, transformers`
			`, vector`
			`, zlib`
			`default-language: Haskell2010`
			`other-modules:`
			`ApplyStats`
			`ContentStore`
Tricu 2.0.0 Sorry for squashing all of this but :shrug: 2026-05-25 12:43:15 -05:00			`ContentStore.Alias`
			`ContentStore.Arboricx`
			`ContentStore.Bundle`
			`ContentStore.Filesystem`
			`ContentStore.Object`
			`ContentStore.Resolver`
			`ContentStore.ViewTree`
			`ContentStore.ViewContract`
Interaction Trees in Zig and simple benchmarks 2026-05-15 21:41:19 -05:00			`Eval`
			`FileEval`
			`IODriver`
			`Lexer`
Tricu 2.0.0 Sorry for squashing all of this but :shrug: 2026-05-25 12:43:15 -05:00			`Module.Manifest`
			`Module.Resolver`
			`Module.Workspace`
Interaction Trees in Zig and simple benchmarks 2026-05-15 21:41:19 -05:00			`Parser`
			`Paths_tricu`
			`Research`
			`Wire`

Rename from sapling to tricu 2024-12-29 08:29:25 -06:00			`test-suite tricu-tests`
Initialize Repo Working (but likely buggy!) lexing, parsing, and evaluation of Tree Calculus terms 2024-12-18 18:55:51 -06:00			`type: exitcode-stdio-1.0`
			`main-is: Spec.hs`
			`hs-source-dirs: test, src`
Add "SimpleT" `t` output form This new output form allows easy piping to the decode function of the tricu executable. Includes a new test for roundtrip evaluation of map, compilation to tree calculus terms, and decoding back to a human readable string. 2024-12-31 10:00:52 -06:00			`default-extensions:`
Inline pattern matching in Parser 2025-01-21 14:21:47 -06:00			`LambdaCase`
General refactor for legibility Priming to update all source to lhs and document extensively 2025-01-19 14:41:25 -06:00			`MultiWayIf`
Add "SimpleT" `t` output form This new output form allows easy piping to the decode function of the tricu executable. Includes a new test for roundtrip evaluation of map, compilation to tree calculus terms, and decoding back to a human readable string. 2024-12-31 10:00:52 -06:00			`OverloadedStrings`
Merge content store 2025-05-22 16:13:57 -05:00			`ScopedTypeVariables`
Initialize Repo Working (but likely buggy!) lexing, parsing, and evaluation of Tree Calculus terms 2024-12-18 18:55:51 -06:00			`build-depends:`
Merge content store 2025-05-22 16:13:57 -05:00			`base >=4.7`
			`, ansi-terminal`
Picking development back up Merge Kiselyov optimizations and De Bruijn indices General clean up 2026-05-05 14:51:42 -05:00			`, base16-bytestring`
Merge content store 2025-05-22 16:13:57 -05:00			`, base64-bytestring`
			`, bytestring`
feat(haskell): CLI rewrite 2026-05-11 15:29:12 -05:00			`, optparse-applicative`
Initialize Repo Working (but likely buggy!) lexing, parsing, and evaluation of Tree Calculus terms 2024-12-18 18:55:51 -06:00			`, containers`
Merge content store 2025-05-22 16:13:57 -05:00			`, cryptonite`
			`, directory`
Better handling of interrupts in REPL 2025-01-27 16:46:41 -06:00			`, exceptions`
Caller-relative imports; smart deduping in imports 2025-01-30 17:56:46 -06:00			`, filepath`
Merge content store 2025-05-22 16:13:57 -05:00			`, fsnotify`
Update lambda handling; better default decode out 2024-12-27 20:46:30 -06:00			`, haskeline`
Initialize Repo Working (but likely buggy!) lexing, parsing, and evaluation of Tree Calculus terms 2024-12-18 18:55:51 -06:00			`, megaparsec`
Full Merkle tree resolution 2026-05-05 12:43:03 -05:00			`, memory`
Initialize Repo Working (but likely buggy!) lexing, parsing, and evaluation of Tree Calculus terms 2024-12-18 18:55:51 -06:00			`, mtl`
Event loop! 2026-05-19 17:00:36 -05:00			`, network`
feat: HTTP server for exporting Arborix bundles 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`. 2026-05-06 14:09:56 -05:00			`, stm`
Initialize Repo Working (but likely buggy!) lexing, parsing, and evaluation of Tree Calculus terms 2024-12-18 18:55:51 -06:00			`, tasty`
			`, tasty-hunit`
feat(haskell): Interaction Tree IO oops, now we have purely modelled IO :shrug: 2026-05-12 18:38:24 -05:00			`, temporary`
Add "SimpleT" `t` output form This new output form allows easy piping to the decode function of the tricu executable. Includes a new test for roundtrip evaluation of map, compilation to tree calculus terms, and decoding back to a human readable string. 2024-12-31 10:00:52 -06:00			`, text`
Merge content store 2025-05-22 16:13:57 -05:00			`, time`
REPL namespaces; lib function for pattern matching Adds support for REPL namespacing, primarily to avoid `main` collisions. Also adds a library function for an ergonomic pattern matching function that I've been noodling on. I might explore ways to make list syntax less annoying specifically for pattern matching like this. 2025-02-02 10:50:28 -06:00			`, transformers`
feat(haskell): Interaction Tree IO oops, now we have purely modelled IO :shrug: 2026-05-12 18:38:24 -05:00			`, unix`
Arboricx bundle format 1.1 We don't need SHA verification or Merkle dags in our transport bundle. Content stores can handle both bundle and term verification and hashing. 2026-05-11 19:53:37 -05:00			`, vector`
Merge content store 2025-05-22 16:13:57 -05:00			`, zlib`
Initialize Repo Working (but likely buggy!) lexing, parsing, and evaluation of Tree Calculus terms 2024-12-18 18:55:51 -06:00			`default-language: Haskell2010`
			`other-modules:`
Tricu 2.0.0 Sorry for squashing all of this but :shrug: 2026-05-25 12:43:15 -05:00			`Check`
			`Check.Core`
			`Check.IO`
Zero Warnings Plan Zero GHC warnings with new opts. General cleanup and updates. 2026-05-05 18:30:14 -05:00			`ContentStore`
Tricu 2.0.0 Sorry for squashing all of this but :shrug: 2026-05-25 12:43:15 -05:00			`ContentStore.Alias`
			`ContentStore.Arboricx`
			`ContentStore.Bundle`
			`ContentStore.Filesystem`
			`ContentStore.Object`
			`ContentStore.Resolver`
			`ContentStore.ViewTree`
			`ContentStore.ViewContract`
Initialize Repo Working (but likely buggy!) lexing, parsing, and evaluation of Tree Calculus terms 2024-12-18 18:55:51 -06:00			`Eval`
Rename "compiler" functionality to Evaluator Allows for stdin input for evaluation when no input file is provided. 2025-01-01 08:17:05 -06:00			`FileEval`
feat(haskell): Interaction Tree IO oops, now we have purely modelled IO :shrug: 2026-05-12 18:38:24 -05:00			`IODriver`
Initialize Repo Working (but likely buggy!) lexing, parsing, and evaluation of Tree Calculus terms 2024-12-18 18:55:51 -06:00			`Lexer`
Tricu 2.0.0 Sorry for squashing all of this but :shrug: 2026-05-25 12:43:15 -05:00			`Module.Manifest`
			`Module.Resolver`
			`Module.Workspace`
Initialize Repo Working (but likely buggy!) lexing, parsing, and evaluation of Tree Calculus terms 2024-12-18 18:55:51 -06:00			`Parser`
Zero Warnings Plan Zero GHC warnings with new opts. General cleanup and updates. 2026-05-05 18:30:14 -05:00			`Paths_tricu`
0.2.0 Includes better error handling, additional tests, parsing and lexing fixes to match the desired behavior defined by the new tests, and a very basic REPL implementation. 2024-12-20 11:38:09 -06:00			`REPL`
Initialize Repo Working (but likely buggy!) lexing, parsing, and evaluation of Tree Calculus terms 2024-12-18 18:55:51 -06:00			`Research`
Wire prepped and basics tested 2026-05-05 20:16:27 -05:00			`Wire`