Hackage :: [Package]

hydra-kernel: The Hydra kernel: core types, terms, inference, and DSL runtime

[ apache, data, library ] [ Propose Tags ] [ Report a vulnerability ]

Hydra is an implementation of the LambdaGraph data model, which takes advantage of an isomorphism between labeled hypergraphs and typed lambda calculus: in Hydra, "graphs are programs, and programs are graphs". This package is the Hydra kernel: the core type and term model, type inference, the term rewriting and reduction engine, the primitive library, and the DSL runtime — the code that must be present in every Hydra implementation. The convenient entry point is the Hydra.Kernel module, which re-exports the kernel's collision-free surface.

Modules

[Index] [Quick Jump]

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.16.0, 0.16.1, 0.17.0, 0.17.1, 0.17.2, 0.17.3, 0.17.4, 0.17.5, 0.17.6, 0.17.7, 0.18.0
Change log CHANGELOG.md
Dependencies base (>=4.19.0 && <4.22), base64-bytestring (>=1.2.1 && <1.3), bytestring (>=0.11.5 && <0.13), containers (>=0.6.7 && <0.8), directory (>=1.3.6 && <1.4), process (>=1.6.0 && <1.7), regex-tdfa (>=1.3.2 && <1.4), scientific (>=0.3.7 && <0.4), SHA (>=1.6.4 && <1.7), split (>=0.2.3 && <0.3), text (>=2.0.2 && <2.2), time (>=1.12.0 && <1.13), unix (>=2.8.0 && <2.9) [details]
License Apache-2.0
Author Joshua Shinavier <josh@fortytwo.net>
Maintainer Joshua Shinavier <josh@fortytwo.net>
Uploaded by joshsh at 2026-09-30T21:03:54Z
Category Data
Home page https://github.com/CategoricalData/hydra#readme
Bug tracker https://github.com/CategoricalData/hydra/issues
Source repo head: git clone https://github.com/CategoricalData/hydra
Distributions
Reverse Dependencies 16 direct, 0 indirect [details]
Downloads 85 total (31 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]