hydra-0.1.1: Type-aware transformations for data and programs
Safe HaskellSafe-Inferred
LanguageHaskell2010

Hydra.Kernel

Description

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.Core