Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Hydra.Sources.Tier2.Tier2
Documentation
tier2Definition :: String -> Datum a -> Definition a 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 #