Copyright | (c) 2013-2016 Galois Inc. |
---|---|
License | BSD3 |
Maintainer | cryptol@galois.com |
Stability | provisional |
Portability | portable |
Safe Haskell | Safe |
Language | Haskell2010 |
Cryptol.Parser.NoInclude
Description
Documentation
removeIncludesModule :: FilePath -> Module PName -> IO (Either [IncludeError] (Module PName)) Source #
data IncludeError Source #
Constructors
IncludeFailed (Located FilePath) | |
IncludeParseError ParseError | |
IncludeCycle [Located FilePath] |
Instances
Show IncludeError Source # | |
Defined in Cryptol.Parser.NoInclude Methods showsPrec :: Int -> IncludeError -> ShowS show :: IncludeError -> String showList :: [IncludeError] -> ShowS | |
Generic IncludeError Source # | |
Defined in Cryptol.Parser.NoInclude Associated Types type Rep IncludeError :: Type -> Type | |
NFData IncludeError Source # | |
Defined in Cryptol.Parser.NoInclude Methods rnf :: IncludeError -> () | |
type Rep IncludeError Source # | |
Defined in Cryptol.Parser.NoInclude type Rep IncludeError = D1 ('MetaData "IncludeError" "Cryptol.Parser.NoInclude" "cryptol-2.8.0-8MjdO3NUDs4I9u4d2J06AM" 'False) (C1 ('MetaCons "IncludeFailed" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Located FilePath))) :+: (C1 ('MetaCons "IncludeParseError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ParseError)) :+: C1 ('MetaCons "IncludeCycle" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Located FilePath])))) |
ppIncludeError :: IncludeError -> Doc Source #