Cryptol.ModuleSystem.Monad

Documentation

data ImportSource

Constructors

FromModule ModName

FromImport (Located Import)

Instances

Eq ImportSource

Methods

(==) :: ImportSource -> ImportSource -> Bool

(/=) :: ImportSource -> ImportSource -> Bool

Show ImportSource

Methods

showsPrec :: Int -> ImportSource -> ShowS

show :: ImportSource -> String

showList :: [ImportSource] -> ShowS

Generic ImportSource

Associated Types

type Rep ImportSource :: * -> *

Methods

from :: ImportSource -> Rep ImportSource x

to :: Rep ImportSource x -> ImportSource

NFData ImportSource

Methods

rnf :: ImportSource -> ()

PP ImportSource

Methods

ppPrec :: Int -> ImportSource -> Doc

type Rep ImportSource

type Rep ImportSource = D1 (MetaData "ImportSource" "Cryptol.ModuleSystem.Monad" "cryptol-2.5.0-62ntwDPh16AFY461fF3rK" False) ((:+:) (C1 (MetaCons "FromModule" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ModName))) (C1 (MetaCons "FromImport" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Located Import)))))

importedModule :: ImportSource -> ModName

data ModuleError

Constructors

ModuleNotFound ModName [FilePath]

Unable to find the module given, tried looking in these paths

CantFindFile FilePath

Unable to open a file

OtherIOError FilePath IOException

Some other IO error occurred while reading this file

ModuleParseError FilePath ParseError

Generated this parse error when parsing the file for module m

RecursiveModules [ImportSource]

Recursive module group discovered

RenamerErrors ImportSource [RenamerError]

Problems during the renaming phase

NoPatErrors ImportSource [Error]

Problems during the NoPat phase

NoIncludeErrors ImportSource [IncludeError]

Problems during the NoInclude phase

TypeCheckingFailed ImportSource [(Range, Error)]

Problems during type checking

OtherFailure String

Problems after type checking, eg. specialization

ModuleNameMismatch ModName (Located ModName)

Module loaded by 'import' statement has the wrong module name

DuplicateModuleName ModName FilePath FilePath

Two modules loaded from different files have the same module name

Instances

Show ModuleError

Methods

showsPrec :: Int -> ModuleError -> ShowS

show :: ModuleError -> String

showList :: [ModuleError] -> ShowS

NFData ModuleError

Methods

rnf :: ModuleError -> ()

PP ModuleError

Methods

ppPrec :: Int -> ModuleError -> Doc

moduleNotFound :: ModName -> [FilePath] -> ModuleM a

cantFindFile :: FilePath -> ModuleM a

otherIOError :: FilePath -> IOException -> ModuleM a

moduleParseError :: FilePath -> ParseError -> ModuleM a

recursiveModules :: [ImportSource] -> ModuleM a

renamerErrors :: [RenamerError] -> ModuleM a

noPatErrors :: [Error] -> ModuleM a

noIncludeErrors :: [IncludeError] -> ModuleM a

typeCheckingFailed :: [(Range, Error)] -> ModuleM a

moduleNameMismatch :: ModName -> Located ModName -> ModuleM a

duplicateModuleName :: ModName -> FilePath -> FilePath -> ModuleM a

data ModuleWarning

Constructors

TypeCheckWarnings [(Range, Warning)]

RenamerWarnings [RenamerWarning]

Instances

Show ModuleWarning

Methods

showsPrec :: Int -> ModuleWarning -> ShowS

show :: ModuleWarning -> String

showList :: [ModuleWarning] -> ShowS

Generic ModuleWarning

Associated Types

type Rep ModuleWarning :: * -> *

Methods

from :: ModuleWarning -> Rep ModuleWarning x

to :: Rep ModuleWarning x -> ModuleWarning

NFData ModuleWarning

Methods

rnf :: ModuleWarning -> ()

PP ModuleWarning

Methods

ppPrec :: Int -> ModuleWarning -> Doc

type Rep ModuleWarning

type Rep ModuleWarning = D1 (MetaData "ModuleWarning" "Cryptol.ModuleSystem.Monad" "cryptol-2.5.0-62ntwDPh16AFY461fF3rK" False) ((:+:) (C1 (MetaCons "TypeCheckWarnings" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [(Range, Warning)]))) (C1 (MetaCons "RenamerWarnings" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [RenamerWarning]))))

warn :: [ModuleWarning] -> ModuleM ()

typeCheckWarnings :: [(Range, Warning)] -> ModuleM ()

renamerWarnings :: [RenamerWarning] -> ModuleM ()

data RO

Constructors

RO

Fields

• roLoading :: [ImportSource]

emptyRO :: RO

newtype ModuleT m a

Constructors

ModuleT

Fields

• unModuleT :: ReaderT RO (StateT ModuleEnv (ExceptionT ModuleError (WriterT [ModuleWarning] m))) a

Instances

MonadT ModuleT

Methods

lift :: Monad m => m a -> ModuleT m a

Monad m => Monad (ModuleT m)

Methods

(>>=) :: ModuleT m a -> (a -> ModuleT m b) -> ModuleT m b

(>>) :: ModuleT m a -> ModuleT m b -> ModuleT m b

return :: a -> ModuleT m a

fail :: String -> ModuleT m a

Monad m => Functor (ModuleT m)

Methods

fmap :: (a -> b) -> ModuleT m a -> ModuleT m b

(<$) :: a -> ModuleT m b -> ModuleT m a

Monad m => Applicative (ModuleT m)

Methods

pure :: a -> ModuleT m a

(<*>) :: ModuleT m (a -> b) -> ModuleT m a -> ModuleT m b

(*>) :: ModuleT m a -> ModuleT m b -> ModuleT m b

(<*) :: ModuleT m a -> ModuleT m b -> ModuleT m a

MonadIO m => MonadIO (ModuleT m)

Methods

liftIO :: IO a -> ModuleT m a

Monad m => FreshM (ModuleT m)

Methods

liftSupply :: (Supply -> (a, Supply)) -> ModuleT m a

runModuleT :: Monad m => ModuleEnv -> ModuleT m a -> m (Either ModuleError (a, ModuleEnv), [ModuleWarning])

type ModuleM = ModuleT IO

runModuleM :: ModuleEnv -> ModuleM a -> IO (Either ModuleError (a, ModuleEnv), [ModuleWarning])

io :: BaseM m IO => IO a -> ModuleT m a

getModuleEnv :: Monad m => ModuleT m ModuleEnv

setModuleEnv :: Monad m => ModuleEnv -> ModuleT m ()

modifyModuleEnv :: Monad m => (ModuleEnv -> ModuleEnv) -> ModuleT m ()

isLoaded :: ModName -> ModuleM Bool

loadingImport :: Located Import -> ModuleM a -> ModuleM a

loadingModule :: ModName -> ModuleM a -> ModuleM a

interactive :: ModuleM a -> ModuleM a

Push an "interactive" context onto the loading stack. A bit of a hack, as it uses a faked module name

loading :: ImportSource -> ModuleM a -> ModuleM a

getImportSource :: ModuleM ImportSource

Get the currently focused import source.

getIface :: ModName -> ModuleM Iface

getNameSeeds :: ModuleM NameSeeds

getSupply :: ModuleM Supply

getMonoBinds :: ModuleM Bool

setMonoBinds :: Bool -> ModuleM ()

setNameSeeds :: NameSeeds -> ModuleM ()

setSupply :: Supply -> ModuleM ()

unloadModule :: FilePath -> ModuleM ()

Remove a module from the set of loaded module, by its path.

loadedModule :: FilePath -> FilePath -> Module -> ModuleM ()

modifyEvalEnv :: (EvalEnv -> Eval EvalEnv) -> ModuleM ()

getEvalEnv :: ModuleM EvalEnv

getFocusedModule :: ModuleM (Maybe ModName)

setFocusedModule :: ModName -> ModuleM ()

getSearchPath :: ModuleM [FilePath]

withPrependedSearchPath :: [FilePath] -> ModuleM a -> ModuleM a

Run a ModuleM action in a context with a prepended search path. Useful for temporarily looking in other places while resolving imports, for example.

getFocusedEnv :: ModuleM (IfaceDecls, NamingEnv, NameDisp)

getQualifiedEnv :: ModuleM IfaceDecls

getDynEnv :: ModuleM DynamicEnv

setDynEnv :: DynamicEnv -> ModuleM ()

setSolver :: SolverConfig -> ModuleM ()

getSolverConfig :: ModuleM SolverConfig