| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Tip.HaskellFrontend
Description
The Haskell frontend to Tip
- readHaskellFile :: FilePath -> Params -> IO (Either String (Theory Id))
- readHaskellOrTipFile :: FilePath -> Params -> IO (Either String (Theory (Either Id Id)))
- data Id
- data Params = Params {
- include :: [FilePath]
- debug_flags :: [DebugFlag]
- prop_names :: Maybe [String]
- extra_names :: [String]
- commaSep :: [String] -> [String]
- parseParams :: Parser Params
- defaultParams :: Params
- data DebugFlag
- debugHelp :: DebugFlag -> String
Documentation
readHaskellFile :: FilePath -> Params -> IO (Either String (Theory Id)) Source
Transforms a Haskell file to a Tip Theory or an error
readHaskellOrTipFile :: FilePath -> Params -> IO (Either String (Theory (Either Id Id))) Source
If the file cannot be read as a TIP file, it is instead read as a Haskell file.
A representation of identifiers that come from GHC.
The PrettyVar instance is one way to print the names.
Parameters
Constructors
| Params | |
Fields
| |
defaultParams :: Params Source
Default (empty) parameters
Debugging flags
Constructors
| PrintCore | |
| PrintInitialTheory |