Safe Haskell | None |
---|---|
Language | Haskell2010 |
- type PscIde = StateT PscState IO
- getAllDecls :: PscIde [ExternDecl]
- getAllModules :: PscIde [Module]
- findCompletions :: [Filter] -> Matcher -> PscIde Success
- findType :: DeclIdent -> [Filter] -> PscIde Success
- findPursuitCompletions :: Text -> PscIde [Completion]
- loadExtern :: FilePath -> PscIde (Either Error ())
- getDependenciesForModule :: ModuleIdent -> PscIde (Maybe [ModuleIdent])
- moduleFromDecls :: [ExternDecl] -> Either Error Module
- stateFromDecls :: [[ExternDecl]] -> Either Error PscState
- printModules :: PscIde Success
- loadModulesAndDeps :: [ModuleIdent] -> [ModuleIdent] -> PscIde (Either Error Success)
- loadModuleDependencies :: ModuleIdent -> PscIde (Either Error Text)
- loadModule :: ModuleIdent -> PscIde (Either Error Text)
- filePathFromModule :: ModuleIdent -> IO (Either Error FilePath)
- maybeToEither :: MonadError e m => e -> Maybe a -> m a
Documentation
getAllModules :: PscIde [Module] Source
findPursuitCompletions :: Text -> PscIde [Completion] Source
moduleFromDecls :: [ExternDecl] -> Either Error Module Source
stateFromDecls :: [[ExternDecl]] -> Either Error PscState Source
loadModulesAndDeps :: [ModuleIdent] -> [ModuleIdent] -> PscIde (Either Error Success) Source
The first argument is a set of modules to load. The second argument denotes modules for which to load dependencies
loadModule :: ModuleIdent -> PscIde (Either Error Text) Source
filePathFromModule :: ModuleIdent -> IO (Either Error FilePath) Source
:: MonadError e m | |
=> e | (Left e) will be returned if the Maybe value is Nothing |
-> Maybe a | (Right a) will be returned if this is (Just a) |
-> m a |
Taken from Data.Either.Utils