Copyright | (c) 2013-2016 Galois Inc. |
---|---|
License | BSD3 |
Maintainer | cryptol@galois.com |
Stability | provisional |
Portability | portable |
Safe Haskell | Safe |
Language | Haskell2010 |
Documentation
removeIncludesModule :: (FilePath -> IO ByteString) -> FilePath -> Module PName -> IO (Either [IncludeError] (Module PName)) Source #
data IncludeError Source #
IncludeFailed (Located FilePath) | |
IncludeDecodeFailed (Located FilePath) UnicodeException | |
IncludeParseError ParseError | |
IncludeCycle [Located FilePath] |
Instances
ppIncludeError :: IncludeError -> Doc Source #