cryptol-2.6.0: Cryptol: The Language of Cryptography

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 # |
Instance details Defined in Cryptol.Parser.NoInclude Methods showsPrec :: Int -> IncludeError -> ShowS Source # show :: IncludeError -> String Source # showList :: [IncludeError] -> ShowS Source #
Generic IncludeError Source # |
Instance details Defined in Cryptol.Parser.NoInclude Associated Types type Rep IncludeError :: Type -> Type Source # Methods from :: IncludeError -> Rep IncludeError x Source # to :: Rep IncludeError x -> IncludeError Source #
NFData IncludeError Source # |
Instance details Defined in Cryptol.Parser.NoInclude Methods rnf :: IncludeError -> () Source #
type Rep IncludeError Source # |

Instance details

Defined in Cryptol.Parser.NoInclude

type Rep IncludeError = D1 (MetaData "IncludeError" "Cryptol.Parser.NoInclude" "cryptol-2.6.0-FO78l5UWBYr51eDL1ksQpO" 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 #