Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
A proxy for the Hydra kernel, i.e. the code which must be present in every Hydra implementation. This currently includes most modules in the top-level Hydra.* namespace, as well as some Hydra.Util.* modules. The adapter and inference frameworks, as well as Hydra.CoreDecoding, Hydra.CoreEncoding, Hydra.Meta, and Hydra.Reduction are logically part of the kernel, but are excluded for now due to circular dependencies.
Documentation
module Hydra.Adapters.Utils
module Hydra.Basics
module Hydra.Common
module Hydra.Compute
module Hydra.Core
module Hydra.CoreLanguage
module Hydra.Grammar
module Hydra.Lexical
module Hydra.Mantle
module Hydra.Module
module Hydra.Monads
module Hydra.Phantoms
module Hydra.Rewriting
module Hydra.Util.Debug
module Hydra.Util.Formatting
module Hydra.Util.Sorting