| Portability | portable |
|---|---|
| Maintainer | Simon Meier <iridcode@gmail.com> |
| Safe Haskell | None |
Theory.Text.Parser
Description
Parsing protocol theories. See the MANUAL for a high-level description of the syntax.
- parseOpenTheory :: [String] -> FilePath -> IO OpenTheory
- parseOpenTheoryString :: [String] -> String -> Either ParseError OpenTheory
- parseLemma :: String -> Either ParseError (Lemma ProofSkeleton)
- parseIntruderRules :: MaudeSig -> FilePath -> IO [IntrRuleAC]
Documentation
Arguments
| :: [String] | Defined flags |
| -> FilePath | |
| -> IO OpenTheory |
Parse a security protocol theory file.
Arguments
| :: [String] | Defined flags. |
| -> String | |
| -> Either ParseError OpenTheory |
Parse a security protocol theory from a string.
parseLemma :: String -> Either ParseError (Lemma ProofSkeleton)Source
Parse a lemma for an open theory from a string.
parseIntruderRules :: MaudeSig -> FilePath -> IO [IntrRuleAC]Source
Parse DH intruder rules.