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

Hydra.Sources.Tier1.Constants

Documentation

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

hydraConstantsModule :: Module Source #

ignoredVariableDef :: TElement String Source #

placeholderNameDef :: TElement Name Source #

maxTraceDepthDef :: TElement Int Source #