| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Hermod.ReCon.LTL.Formula.Yaml
Documentation
type YamlReadError = Text Source #
readPropValues :: FilePath -> IO (Either YamlReadError (Map Text Domain)) Source #
readFormulas :: FilePath -> Context -> Parser ty -> IO (Either YamlReadError [Formula event ty]) Source #