cryptol-2.8.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 #

Instances

Instances details
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

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.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]))))