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

Hydra.Sources.Tier2.Tier2

Documentation

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

hydraTier2Module :: Module Source #

getStateDef :: TElement (Flow s s) Source #

getTermTypeDef :: TElement (Term -> Flow Graph (Maybe Type)) Source #

putStateDef :: TElement (s -> Flow s ()) Source #

requireElementTypeDef :: TElement (Element -> Flow Graph Type) Source #

requireTermTypeDef :: TElement (Term -> Flow Graph Type) Source #

unexpectedDef :: TElement (String -> String -> Flow s x) Source #