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

Hydra.Sources.Tier2.Tier2

Documentation

tier2Definition :: String -> Datum a -> Definition a Source #

hydraTier2Module :: Module Source #

getStateDef :: Definition (Flow s s) Source #

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

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

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

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

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