-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | A GHC plugin for automatically importing modules.
--   
--   Imp is a GHC plugin for automatically importing modules.
@package imp
@version 0.2024.3.21

module Imp.Exception.InvalidAlias
newtype InvalidAlias
InvalidAlias :: String -> InvalidAlias
new :: String -> InvalidAlias
instance GHC.Show.Show Imp.Exception.InvalidAlias.InvalidAlias
instance GHC.Classes.Eq Imp.Exception.InvalidAlias.InvalidAlias
instance GHC.Exception.Type.Exception Imp.Exception.InvalidAlias.InvalidAlias

module Imp.Exception.InvalidModuleName
newtype InvalidModuleName
InvalidModuleName :: String -> InvalidModuleName
new :: String -> InvalidModuleName
instance GHC.Show.Show Imp.Exception.InvalidModuleName.InvalidModuleName
instance GHC.Classes.Eq Imp.Exception.InvalidModuleName.InvalidModuleName
instance GHC.Exception.Type.Exception Imp.Exception.InvalidModuleName.InvalidModuleName

module Imp.Exception.InvalidOption
newtype InvalidOption
InvalidOption :: String -> InvalidOption
new :: String -> InvalidOption
instance GHC.Show.Show Imp.Exception.InvalidOption.InvalidOption
instance GHC.Classes.Eq Imp.Exception.InvalidOption.InvalidOption
instance GHC.Exception.Type.Exception Imp.Exception.InvalidOption.InvalidOption

module Imp.Exception.UnexpectedArgument
newtype UnexpectedArgument
UnexpectedArgument :: String -> UnexpectedArgument
new :: String -> UnexpectedArgument
instance GHC.Show.Show Imp.Exception.UnexpectedArgument.UnexpectedArgument
instance GHC.Classes.Eq Imp.Exception.UnexpectedArgument.UnexpectedArgument
instance GHC.Exception.Type.Exception Imp.Exception.UnexpectedArgument.UnexpectedArgument

module Imp.Exception.UnknownOption
newtype UnknownOption
UnknownOption :: String -> UnknownOption
new :: String -> UnknownOption
instance GHC.Show.Show Imp.Exception.UnknownOption.UnknownOption
instance GHC.Classes.Eq Imp.Exception.UnknownOption.UnknownOption
instance GHC.Exception.Type.Exception Imp.Exception.UnknownOption.UnknownOption

module Imp.Extra.Exception
isType :: forall e. Exception e => SomeException -> Bool

module Imp.Extra.ImportDecl
toModuleName :: ImportDecl GhcPs -> ModuleName

module Imp.Extra.ParsedResult
overModule :: Functor f => (HsParsedModule -> f HsParsedModule) -> ParsedResult -> f ParsedResult

module Imp.Extra.ReadP
run :: ReadP a -> String -> Maybe a

module Imp.Extra.ModuleName
fromString :: MonadThrow m => String -> m ModuleName

module Imp.Ghc
type HsModulePs = HsModule GhcPs
newImportDecl :: ModuleName -> ImportDecl GhcPs

module Imp.Extra.HsParsedModule
overModule :: Functor f => (Located HsModulePs -> f (Located HsModulePs)) -> HsParsedModule -> f HsParsedModule

module Imp.Extra.HsModule
overImports :: ([LImportDecl GhcPs] -> [LImportDecl GhcPs]) -> HsModulePs -> HsModulePs

module Imp.Type.Alias
data Alias
Alias :: ModuleName -> ModuleName -> Alias
[source] :: Alias -> ModuleName
[target] :: Alias -> ModuleName
fromString :: MonadThrow m => String -> m Alias
toMap :: [Alias] -> Map ModuleName ModuleName
instance GHC.Show.Show Imp.Type.Alias.Alias
instance GHC.Classes.Eq Imp.Type.Alias.Alias

module Imp.Type.Flag
data Flag
Alias :: String -> Flag
Help :: Bool -> Flag
Version :: Bool -> Flag
options :: [OptDescr Flag]
fromArguments :: MonadThrow m => [String] -> m [Flag]
instance GHC.Show.Show Imp.Type.Flag.Flag
instance GHC.Classes.Eq Imp.Type.Flag.Flag

module Imp.Type.Config
data Config
Config :: [Alias] -> Bool -> Bool -> Config
[aliases] :: Config -> [Alias]
[help] :: Config -> Bool
[version] :: Config -> Bool
initial :: Config
fromFlags :: MonadThrow m => [Flag] -> m Config
applyFlag :: MonadThrow m => Config -> Flag -> m Config
instance GHC.Show.Show Imp.Type.Config.Config
instance GHC.Classes.Eq Imp.Type.Config.Config

module Imp.Exception.ShowHelp
data ShowHelp
ShowHelp :: ShowHelp
new :: ShowHelp
instance GHC.Show.Show Imp.Exception.ShowHelp.ShowHelp
instance GHC.Classes.Eq Imp.Exception.ShowHelp.ShowHelp
instance GHC.Exception.Type.Exception Imp.Exception.ShowHelp.ShowHelp

module Imp.Exception.ShowVersion
data ShowVersion
ShowVersion :: ShowVersion
new :: ShowVersion
instance GHC.Show.Show Imp.Exception.ShowVersion.ShowVersion
instance GHC.Classes.Eq Imp.Exception.ShowVersion.ShowVersion
instance GHC.Exception.Type.Exception Imp.Exception.ShowVersion.ShowVersion

module Imp.Type.Context
newtype Context
Context :: Map ModuleName ModuleName -> Context
[aliases] :: Context -> Map ModuleName ModuleName
fromConfig :: MonadThrow m => Config -> m Context
instance GHC.Show.Show Imp.Type.Context.Context
instance GHC.Classes.Eq Imp.Type.Context.Context

module Imp
plugin :: Plugin
parsedResultAction :: [CommandLineOption] -> modSummary -> ParsedResult -> Hsc ParsedResult
handleException :: SomeException -> IO a
exceptionToExitCode :: SomeException -> ExitCode
imp :: MonadThrow m => [String] -> Located HsModulePs -> m (Located HsModulePs)
biplate :: (Data a, Data b) => a -> [b]
updateImports :: Map ModuleName ModuleName -> Set ModuleName -> [LImportDecl GhcPs] -> [LImportDecl GhcPs]
createImport :: Map ModuleName ModuleName -> ModuleName -> ImportDecl GhcPs