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

Hydra.Sources.Tier3.Tier3

Documentation

tier3Definition :: String -> TTerm a -> TElement a Source #

hydraTier3Module :: Module Source #

traceSummaryDef :: TElement (Trace -> String) Source #