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

Hydra.CoreLanguage

Description

Core language constraints of Hydra. These constraints are trivial; all types and all terms are supported.

Documentation

hydraCoreLanguage :: Language m Source #