| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Language.PureScript.Ide
- handleCommand :: (PscIde m, MonadLogger m, MonadError PscIdeError m) => Command -> m Success
- findCompletions :: (PscIde m, MonadLogger m) => [Filter] -> Matcher -> m Success
- findType :: (PscIde m, MonadLogger m) => DeclIdent -> [Filter] -> m Success
- findPursuitCompletions :: (Applicative m, MonadIO m, MonadLogger m) => PursuitQuery -> m Success
- findPursuitPackages :: (Applicative m, MonadIO m, MonadLogger m) => PursuitQuery -> m Success
- loadExtern :: (PscIde m, MonadLogger m, MonadError PscIdeError m) => FilePath -> m ()
- printModules :: PscIde m => m Success
- printModules' :: Map ModuleIdent [ExternDecl] -> Success
- listAvailableModules :: PscIde m => m Success
- listAvailableModules' :: [FilePath] -> [Text]
- caseSplit :: (PscIde m, MonadLogger m, MonadError PscIdeError m) => Text -> Int -> Int -> WildcardAnnotations -> Text -> m Success
- addClause :: Text -> WildcardAnnotations -> Success
- importsForFile :: (Applicative m, MonadIO m, MonadLogger m, MonadError PscIdeError m) => FilePath -> m Success
- loadModulesAndDeps :: (PscIde m, MonadLogger m, MonadError PscIdeError m) => [ModuleIdent] -> [ModuleIdent] -> m Success
- loadModuleDependencies :: (PscIde m, MonadLogger m, MonadError PscIdeError m) => ModuleIdent -> m Text
- loadReexports :: (PscIde m, MonadLogger m, MonadError PscIdeError m) => Module -> m [ModuleIdent]
- getDependenciesForModule :: Module -> [ModuleIdent]
- loadModule :: (PscIde m, MonadLogger m, MonadError PscIdeError m) => ModuleIdent -> m Text
- filePathFromModule :: (PscIde m, MonadError PscIdeError m) => ModuleIdent -> m FilePath
- maybeToEither :: MonadError e m => e -> Maybe a -> m a
Documentation
handleCommand :: (PscIde m, MonadLogger m, MonadError PscIdeError m) => Command -> m Success Source
findCompletions :: (PscIde m, MonadLogger m) => [Filter] -> Matcher -> m Success Source
findPursuitCompletions :: (Applicative m, MonadIO m, MonadLogger m) => PursuitQuery -> m Success Source
findPursuitPackages :: (Applicative m, MonadIO m, MonadLogger m) => PursuitQuery -> m Success Source
loadExtern :: (PscIde m, MonadLogger m, MonadError PscIdeError m) => FilePath -> m () Source
printModules :: PscIde m => m Success Source
printModules' :: Map ModuleIdent [ExternDecl] -> Success Source
listAvailableModules :: PscIde m => m Success Source
listAvailableModules' :: [FilePath] -> [Text] Source
caseSplit :: (PscIde m, MonadLogger m, MonadError PscIdeError m) => Text -> Int -> Int -> WildcardAnnotations -> Text -> m Success Source
addClause :: Text -> WildcardAnnotations -> Success Source
importsForFile :: (Applicative m, MonadIO m, MonadLogger m, MonadError PscIdeError m) => FilePath -> m Success Source
loadModulesAndDeps :: (PscIde m, MonadLogger m, MonadError PscIdeError m) => [ModuleIdent] -> [ModuleIdent] -> m Success Source
The first argument is a set of modules to load. The second argument denotes modules for which to load dependencies
loadModuleDependencies :: (PscIde m, MonadLogger m, MonadError PscIdeError m) => ModuleIdent -> m Text Source
loadReexports :: (PscIde m, MonadLogger m, MonadError PscIdeError m) => Module -> m [ModuleIdent] Source
loadModule :: (PscIde m, MonadLogger m, MonadError PscIdeError m) => ModuleIdent -> m Text Source
filePathFromModule :: (PscIde m, MonadError PscIdeError m) => ModuleIdent -> m FilePath Source
Arguments
| :: 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