cryptol-2.7.0: Cryptol: The Language of Cryptography

Copyright(c) 2013-2016 Galois Inc.
LicenseBSD3
Maintainercryptol@galois.com
Stabilityprovisional
Portabilityportable
Safe HaskellSafe
LanguageHaskell2010

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 #

show :: IncludeError -> String #

showList :: [IncludeError] -> ShowS #

Generic IncludeError Source # 
Instance details

Defined in Cryptol.Parser.NoInclude

Associated Types

type Rep IncludeError :: Type -> Type #

Methods

from :: IncludeError -> Rep IncludeError x #

to :: Rep IncludeError x -> IncludeError #

NFData IncludeError Source # 
Instance details

Defined in Cryptol.Parser.NoInclude

Methods

rnf :: IncludeError -> () #

type Rep IncludeError Source # 
Instance details

Defined in Cryptol.Parser.NoInclude

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