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


-- | Haskell development library
--   
--   Haskell development library and tool with support of autocompletion,
--   symbol info, go to declaration, find references, hayoo search etc.
@package hsdev
@version 0.3.4.0

module Control.Apply.Util
(&) :: a -> (a -> b) -> b
chain :: [a -> a] -> a -> a

module Control.Concurrent.FiniteChan

-- | <a>Chan</a> is stoppable channel
data Chan a
newChan :: IO (Chan a)

-- | Is channel opened
openedChan :: Chan a -> IO Bool

-- | Is channel closed
closedChan :: Chan a -> IO Bool

-- | Is channel closed and all data consumed
doneChan :: Chan a -> IO Bool

-- | Write data to channel if it is open
sendChan :: Chan a -> a -> IO Bool

-- | Get data from channel
getChan :: Chan a -> IO (Maybe a)

-- | Close channel
closeChan :: Chan a -> IO ()

-- | Close channel and read all messages
stopChan :: Chan a -> IO [a]

module Control.Concurrent.Util
fork :: MonadIO m => IO () -> m ()
timeout :: Int -> IO a -> IO (Maybe a)
sync :: MonadIO m => (IO () -> m a) -> m a

module Control.Concurrent.Worker
data Worker m
Worker :: Chan (Async (), m ()) -> MVar (Async ()) -> Worker m
[workerChan] :: Worker m -> Chan (Async (), m ())
[workerTask] :: Worker m -> MVar (Async ())
data WorkerStopped
WorkerStopped :: WorkerStopped

-- | Create new worker
startWorker :: MonadIO m => (m () -> IO ()) -> (m () -> m ()) -> (m () -> m ()) -> IO (Worker m)

-- | Check whether worker alive
workerAlive :: Worker m -> IO Bool
workerDone :: Worker m -> IO Bool
sendTask :: (MonadCatch m, MonadIO m) => Worker m -> m a -> IO (Async a)

-- | Close worker channel
stopWorker :: Worker m -> IO ()

-- | Stop worker and wait for it
joinWorker :: Worker m -> IO ()

-- | Send empty task and wait until worker run it
syncTask :: (MonadCatch m, MonadIO m) => Worker m -> IO ()

-- | Run action in worker and wait for result
inWorkerWith :: (MonadIO m, MonadCatch m, MonadIO n) => (SomeException -> n a) -> Worker m -> m a -> n a

-- | Run action in worker and wait for result
inWorker :: (MonadIO m, MonadCatch m) => Worker m -> m a -> IO a
instance GHC.Show.Show Control.Concurrent.Worker.WorkerStopped
instance GHC.Exception.Type.Exception Control.Concurrent.Worker.WorkerStopped

module Data.Deps

-- | Dependency map
newtype Deps a
Deps :: Map a [a] -> Deps a
[_depsMap] :: Deps a -> Map a [a]
depsMap :: Lens (Deps a) (Deps b) (Map a [a]) (Map b [b])
mapDeps :: Ord b => (a -> b) -> Deps a -> Deps b

-- | Make single dependency
dep :: a -> a -> Deps a

-- | Make dependency for one target, note that order of dependencies is
--   matter
deps :: a -> [a] -> Deps a

-- | Inverse dependencies, i.e. make map where keys are dependencies and
--   elements are targets depends on it
inverse :: Ord a => Deps a -> Deps a
newtype DepsError a

-- | Dependency cycle, list is cycle, where last item depends on first
CyclicDeps :: [a] -> DepsError a

-- | Flatten dependencies so that there will be no indirect dependencies
flatten :: Ord a => Deps a -> Either (DepsError a) (Deps a)
selfDepend :: Deps a -> Deps a

-- | Linearize dependencies so that all items can be processed in this
--   order, i.e. for each item all its dependencies goes before
linearize :: Ord a => Deps a -> Either (DepsError a) [a]
instance GHC.Read.Read a => GHC.Read.Read (Data.Deps.DepsError a)
instance GHC.Classes.Ord a => GHC.Classes.Ord (Data.Deps.DepsError a)
instance GHC.Classes.Eq a => GHC.Classes.Eq (Data.Deps.DepsError a)
instance GHC.Show.Show a => GHC.Show.Show (Data.Deps.DepsError a)
instance GHC.Classes.Ord a => GHC.Base.Semigroup (Data.Deps.Deps a)
instance GHC.Classes.Ord a => GHC.Base.Monoid (Data.Deps.Deps a)
instance GHC.Show.Show a => GHC.Show.Show (Data.Deps.Deps a)
instance GHC.Classes.Ord a => Control.Lens.At.Ixed (Data.Deps.Deps a)
instance GHC.Classes.Ord a => Control.Lens.At.At (Data.Deps.Deps a)

module Data.Help
class Help a
brief :: Help a => a -> Text
help :: Help a => a -> [Text]
indent :: Text -> Text
indentHelp :: [Text] -> [Text]
detailed :: Help a => a -> [Text]
indented :: Help a => a -> [Text]

module Data.Lisp
data Lisp
Null :: Lisp
Bool :: Bool -> Lisp
Symbol :: String -> Lisp
String :: String -> Lisp
Number :: Scientific -> Lisp
List :: [Lisp] -> Lisp
lisp :: Int -> ReadP Lisp
encodeLisp :: ToJSON a => a -> ByteString
decodeLisp :: FromJSON a => ByteString -> Either String a
instance GHC.Classes.Eq Data.Lisp.Lisp
instance GHC.Read.Read Data.Lisp.Lisp
instance GHC.Show.Show Data.Lisp.Lisp
instance Data.Aeson.Types.ToJSON.ToJSON Data.Lisp.Lisp
instance Data.Aeson.Types.FromJSON.FromJSON Data.Lisp.Lisp

module Data.LookupTable

-- | k-v table
type LookupTable k v = MVar (Map k v)
newLookupTable :: (Ord k, MonadIO m) => m (LookupTable k v)

-- | Lookup, or insert if not exists
lookupTable :: (Ord k, MonadIO m) => k -> v -> LookupTable k v -> m v

-- | Lookup, or insert if not exists
lookupTableM :: (Ord k, MonadIO m) => k -> m v -> LookupTable k v -> m v

-- | <tt>lookupTableM</tt> with swapped args
cacheInTableM :: (Ord k, MonadIO m) => LookupTable k v -> k -> m v -> m v

-- | Just check existable
hasLookupTable :: (Ord k, MonadIO m) => k -> LookupTable k v -> m (Maybe v)

-- | Make function caching results in <tt>LookupTable</tt>
cachedInTable :: (Ord k, MonadIO m) => LookupTable k v -> (k -> m v) -> k -> m v

-- | Insert value into table and return it
insertTable :: (Ord k, MonadIO m) => k -> v -> LookupTable k v -> m v

-- | Insert value into table and return it
insertTableM :: (Ord k, MonadIO m) => k -> m v -> LookupTable k v -> m v

-- | <tt>insertTable</tt> with flipped args
storeInTable :: (Ord k, MonadIO m) => LookupTable k v -> k -> v -> m v

-- | <tt>insertTable</tt> with flipped args
storeInTableM :: (Ord k, MonadIO m) => LookupTable k v -> k -> m v -> m v

module Data.Maybe.JustIf

-- | Return <tt>Just</tt> if True
justIf :: a -> Bool -> Maybe a

-- | Calls function when value is <tt>Just</tt>
whenJust :: Applicative m => Maybe a -> (a -> m b) -> m ()

-- | Calls function when monad returns <tt>Just</tt>
whenJustM :: Monad m => m (Maybe a) -> (a -> m b) -> m ()

module HsDev.Database.SQLite.Schema.TH
schemaExp :: ExpQ

module HsDev.Database.SQLite.Schema
schema :: Text
commands :: [Query]

module HsDev.Database.SQLite.Select
data Select a
Select :: [a] -> [a] -> [a] -> Select a
[selectColumns] :: Select a -> [a]
[selectTables] :: Select a -> [a]
[selectConditions] :: Select a -> [a]
select_ :: [a] -> Select a
from_ :: [a] -> Select a
where_ :: [a] -> Select a
buildQuery :: Select Text -> String
toQuery :: Select Text -> Query
qSymbolId :: Select Text
qSymbol :: Select Text
qModuleLocation :: Text -> Select Text
qModuleId :: Select Text
qImport :: Text -> Select Text
qBuildInfo :: Select Text

-- | Symbol from haskell-names
qNSymbol :: Text -> Text -> Select Text
qNote :: Text -> Text -> Select Text
instance Data.Traversable.Traversable HsDev.Database.SQLite.Select.Select
instance Data.Foldable.Foldable HsDev.Database.SQLite.Select.Select
instance GHC.Base.Functor HsDev.Database.SQLite.Select.Select
instance GHC.Show.Show a => GHC.Show.Show (HsDev.Database.SQLite.Select.Select a)
instance GHC.Read.Read a => GHC.Read.Read (HsDev.Database.SQLite.Select.Select a)
instance GHC.Classes.Ord a => GHC.Classes.Ord (HsDev.Database.SQLite.Select.Select a)
instance GHC.Classes.Eq a => GHC.Classes.Eq (HsDev.Database.SQLite.Select.Select a)
instance GHC.Base.Semigroup (HsDev.Database.SQLite.Select.Select a)
instance GHC.Base.Monoid (HsDev.Database.SQLite.Select.Select a)

module HsDev.Project.Compat
showVer :: Version -> String
componentName :: UnqualComponentName -> Text
testSuiteEnabled :: TestSuite -> Bool
flattenCondTree :: Monoid a => (c -> a -> a) -> CondTree v c a -> a
parsePackageDesc :: String -> Either String GenericPackageDescription

module HsDev.Server.Message.Lisp
type Msg a = (Bool, a)
isLisp :: Lens' (Msg a) Bool
msg :: Lens (Msg a) (Msg b) a b
jsonMsg :: a -> Msg a
lispMsg :: a -> Msg a

-- | Decode lisp or json
decodeMsg :: FromJSON a => ByteString -> Either (Msg String) (Msg a)

-- | Encode lisp or json
encodeMsg :: ToJSON a => Msg a -> ByteString

module HsDev.Symbols.Name

-- | Qualified name
type Name = QName ()
qualName :: String -> String -> Name
unqualName :: String -> Name
nameModule :: Name -> Maybe Text
nameIdent :: Name -> Text
pattern Name :: Maybe Text -> Text -> Name
fromName_ :: Name () -> Text
toName_ :: Text -> Name ()
toModuleName_ :: Text -> ModuleName ()
fromModuleName_ :: ModuleName () -> Text
fromName :: Name -> Text
toName :: Text -> Name
name_ :: Iso' (Name ()) Text
moduleName_ :: Iso' (ModuleName ()) Text

module HsDev.Tools.Ghc.Compat
pkgDatabase :: DynFlags -> Maybe [PackageConfig]
type TcId = GhcTc
type UnitId = UnitId
type InstalledUnitId = InstalledUnitId
toInstalledUnitId :: UnitId -> InstalledUnitId
unitId :: PackageConfig -> InstalledUnitId
moduleUnitId :: Module -> UnitId
depends :: DynFlags -> PackageConfig -> [InstalledUnitId]
getPackageDetails :: DynFlags -> InstalledUnitId -> PackageConfig
patSynType :: PatSyn -> Type
cleanupHandler :: DynFlags -> m a -> m a
renderStyle :: Mode -> Int -> Doc -> String
type LogAction = DynFlags -> Severity -> SrcSpan -> MsgDoc -> IO ()
setLogAction :: LogAction -> DynFlags -> DynFlags
addLogAction :: LogAction -> DynFlags -> DynFlags
languages :: [String]
flags :: [String]
recSelParent :: RecSelParent -> String
recSelCtors :: RecSelParent -> [String]
getFixity :: Fixity -> (Int, FixityDirection)
unqualStyle :: DynFlags -> PprStyle
exposedModuleName :: (a, Maybe b) -> a
exprType :: GhcMonad m => String -> m Type
modSummaries :: ModuleGraph -> [ModSummary]
lookupModule :: DynFlags -> ModuleName -> [Module]
cleanTemps :: DynFlags -> IO ()
mgArgTys :: MatchGroup TcId (LHsExpr TcId) -> Maybe [Type]
mgResTy :: MatchGroup TcId (LHsExpr TcId) -> Maybe Type
mkFunTy :: Type -> Type -> Type
mkFunTys :: [Type] -> Type -> Type

module HsDev.Tools.Ghc.MGhc
data Session s d
Session :: s -> d -> Session s d
[_sessionKey] :: Session s d -> s
[_sessionData] :: Session s d -> d
sessionKey :: Lens' (Session s d) s
sessionData :: Lens' (Session s d) d
data SessionState s d
SessionState :: Maybe (Session s d) -> Map s (HscEnv, d) -> SessionState s d
[_sessionActive] :: SessionState s d -> Maybe (Session s d)
[_sessionMap] :: SessionState s d -> Map s (HscEnv, d)
sessionActive :: Lens' (SessionState s d) (Maybe (Session s d))
sessionMap :: Lens' (SessionState s d) (Map s (HscEnv, d))

-- | Multi-session ghc monad
newtype MGhcT s d m a
MGhcT :: GhcT (ReaderT (Maybe FilePath) (StateT (SessionState s d) m)) a -> MGhcT s d m a
[unMGhcT] :: MGhcT s d m a -> GhcT (ReaderT (Maybe FilePath) (StateT (SessionState s d) m)) a

-- | Run multi-session ghc
runMGhcT :: (MonadIO m, ExceptionMonad m, Ord s, Monoid d) => Maybe FilePath -> MGhcT s d m a -> m a

-- | Lift <a>Ghc</a> monad onto <tt>MGhc</tt>
liftGhc :: MonadIO m => Ghc a -> MGhcT s d m a

-- | Get current session
currentSession :: MonadIO m => MGhcT s d m (Maybe (Session s d))

-- | Get current session data
getSessionData :: MonadIO m => MGhcT s d m (Maybe d)

-- | Set current session data
setSessionData :: MonadIO m => d -> MGhcT s d m ()

-- | Does session exist
hasSession :: (MonadIO m, Ord s) => s -> MGhcT s d m Bool

-- | Find session
findSession :: (MonadIO m, Ord s) => s -> MGhcT s d m (Maybe (Session s d))

-- | Find session by
findSessionBy :: MonadIO m => (s -> Bool) -> MGhcT s d m [Session s d]

-- | Save current session
saveSession :: (MonadIO m, ExceptionMonad m, Ord s) => MGhcT s d m (Maybe (Session s d))

-- | Initialize new session
initSession :: (MonadIO m, ExceptionMonad m, Ord s) => MGhcT s d m ()

-- | Create new named session, deleting existing session
newSession :: (MonadIO m, ExceptionMonad m, Ord s, Monoid d) => s -> MGhcT s d m ()

-- | Switch to session, creating if not exist, returns True if session was
--   created
switchSession :: (MonadIO m, ExceptionMonad m, Ord s, Monoid d) => s -> MGhcT s d m Bool

-- | Switch to session, creating if not exist and initializing with passed
--   function
switchSession_ :: (MonadIO m, ExceptionMonad m, Ord s, Monoid d) => s -> Maybe (MGhcT s d m ()) -> MGhcT s d m ()

-- | Delete existing session
deleteSession :: (MonadIO m, ExceptionMonad m, Ord s, Monoid d) => s -> MGhcT s d m ()

-- | Save and restore session
restoreSession :: (MonadIO m, MonadMask m, ExceptionMonad m, Ord s, Monoid d) => MGhcT s d m a -> MGhcT s d m a

-- | Run action using session, restoring session back
usingSession :: (MonadIO m, MonadMask m, ExceptionMonad m, Ord s, Monoid d) => s -> MGhcT s d m a -> MGhcT s d m a

-- | Run with temporary session, like <tt>usingSession</tt>, but deletes
--   self session
tempSession :: (MonadIO m, MonadMask m, ExceptionMonad m, Ord s, Monoid d) => s -> MGhcT s d m a -> MGhcT s d m a
instance (GHC.Show.Show s, GHC.Show.Show d) => GHC.Show.Show (HsDev.Tools.Ghc.MGhc.Session s d)
instance (GHC.Read.Read s, GHC.Read.Read d) => GHC.Read.Read (HsDev.Tools.Ghc.MGhc.Session s d)
instance (GHC.Classes.Ord s, GHC.Classes.Ord d) => GHC.Classes.Ord (HsDev.Tools.Ghc.MGhc.Session s d)
instance (GHC.Classes.Eq s, GHC.Classes.Eq d) => GHC.Classes.Eq (HsDev.Tools.Ghc.MGhc.Session s d)
instance System.Log.Simple.Monad.MonadLog m => System.Log.Simple.Monad.MonadLog (HsDev.Tools.Ghc.MGhc.MGhcT s d m)
instance Control.Monad.Catch.MonadMask m => Control.Monad.Catch.MonadMask (HsDev.Tools.Ghc.MGhc.MGhcT s d m)
instance Control.Monad.Catch.MonadCatch m => Control.Monad.Catch.MonadCatch (HsDev.Tools.Ghc.MGhc.MGhcT s d m)
instance Control.Monad.Catch.MonadThrow m => Control.Monad.Catch.MonadThrow (HsDev.Tools.Ghc.MGhc.MGhcT s d m)
instance GHC.Base.Monad m => Control.Monad.Reader.Class.MonadReader (GHC.Maybe.Maybe GHC.IO.FilePath) (HsDev.Tools.Ghc.MGhc.MGhcT s d m)
instance GHC.Base.Monad m => Control.Monad.State.Class.MonadState (HsDev.Tools.Ghc.MGhc.SessionState s d) (HsDev.Tools.Ghc.MGhc.MGhcT s d m)
instance Exception.ExceptionMonad m => GhcMonad.GhcMonad (HsDev.Tools.Ghc.MGhc.MGhcT s d m)
instance Control.Monad.IO.Class.MonadIO m => DynFlags.HasDynFlags (HsDev.Tools.Ghc.MGhc.MGhcT s d m)
instance Exception.ExceptionMonad m => Exception.ExceptionMonad (HsDev.Tools.Ghc.MGhc.MGhcT s d m)
instance Control.Monad.IO.Class.MonadIO m => Control.Monad.IO.Class.MonadIO (HsDev.Tools.Ghc.MGhc.MGhcT s d m)
instance Control.Monad.Fail.MonadFail m => Control.Monad.Fail.MonadFail (HsDev.Tools.Ghc.MGhc.MGhcT s d m)
instance GHC.Base.Monad m => GHC.Base.Monad (HsDev.Tools.Ghc.MGhc.MGhcT s d m)
instance GHC.Base.Monad m => GHC.Base.Applicative (HsDev.Tools.Ghc.MGhc.MGhcT s d m)
instance GHC.Base.Functor m => GHC.Base.Functor (HsDev.Tools.Ghc.MGhc.MGhcT s d m)
instance Data.Default.Class.Default (HsDev.Tools.Ghc.MGhc.SessionState s d)
instance Exception.ExceptionMonad m => Exception.ExceptionMonad (Control.Monad.Trans.State.Lazy.StateT s m)
instance Exception.ExceptionMonad m => Exception.ExceptionMonad (Control.Monad.Trans.Reader.ReaderT r m)
instance Control.Monad.Trans.Class.MonadTrans GhcMonad.GhcT
instance Control.Monad.Morph.MFunctor GhcMonad.GhcT
instance Control.Monad.Fail.MonadFail m => Control.Monad.Fail.MonadFail (GhcMonad.GhcT m)
instance Control.Monad.State.Class.MonadState st m => Control.Monad.State.Class.MonadState st (GhcMonad.GhcT m)
instance Control.Monad.Reader.Class.MonadReader r m => Control.Monad.Reader.Class.MonadReader r (GhcMonad.GhcT m)
instance Control.Monad.Catch.MonadThrow m => Control.Monad.Catch.MonadThrow (GhcMonad.GhcT m)
instance Control.Monad.Catch.MonadCatch m => Control.Monad.Catch.MonadCatch (GhcMonad.GhcT m)
instance Control.Monad.Catch.MonadMask m => Control.Monad.Catch.MonadMask (GhcMonad.GhcT m)

module HsDev.Tools.Ghc.Prelude

-- | Reduce list to one element
reduce :: ([a] -> a) -> [a] -> [a]

-- | Trim string
trim :: String -> String

-- | Match regex
rx :: String -> String -> Maybe String

-- | Replace regex
srx :: String -> String -> String -> String

-- | Split by regex
splitRx :: String -> String -> [String]
lowerCase :: String -> String
upperCase :: String -> String

-- | Convert to title case
titleCase :: String -> String

-- | Convert to camel case
camelCase :: String -> String

-- | Convert to underscore case
underscoreCase :: String -> String

-- | Append two lists, i.e.,
--   
--   <pre>
--   [x1, ..., xm] ++ [y1, ..., yn] == [x1, ..., xm, y1, ..., yn]
--   [x1, ..., xm] ++ [y1, ...] == [x1, ..., xm, y1, ...]
--   </pre>
--   
--   If the first list is not finite, the result is the first list.
(++) :: [a] -> [a] -> [a]
infixr 5 ++

-- | &lt;math&gt;. <a>filter</a>, applied to a predicate and a list,
--   returns the list of those elements that satisfy the predicate; i.e.,
--   
--   <pre>
--   filter p xs = [ x | x &lt;- xs, p x]
--   </pre>
--   
--   <pre>
--   &gt;&gt;&gt; filter odd [1, 2, 3]
--   [1,3]
--   </pre>
filter :: (a -> Bool) -> [a] -> [a]

-- | &lt;math&gt;. <a>zip</a> takes two lists and returns a list of
--   corresponding pairs.
--   
--   <pre>
--   zip [1, 2] ['a', 'b'] = [(1, 'a'), (2, 'b')]
--   </pre>
--   
--   If one input list is short, excess elements of the longer list are
--   discarded:
--   
--   <pre>
--   zip [1] ['a', 'b'] = [(1, 'a')]
--   zip [1, 2] ['a'] = [(1, 'a')]
--   </pre>
--   
--   <a>zip</a> is right-lazy:
--   
--   <pre>
--   zip [] _|_ = []
--   zip _|_ [] = _|_
--   </pre>
--   
--   <a>zip</a> is capable of list fusion, but it is restricted to its
--   first list argument and its resulting list.
zip :: [a] -> [b] -> [(a, b)]

-- | &lt;math&gt;. <a>map</a> <tt>f xs</tt> is the list obtained by
--   applying <tt>f</tt> to each element of <tt>xs</tt>, i.e.,
--   
--   <pre>
--   map f [x1, x2, ..., xn] == [f x1, f x2, ..., f xn]
--   map f [x1, x2, ...] == [f x1, f x2, ...]
--   </pre>
--   
--   <pre>
--   &gt;&gt;&gt; map (+1) [1, 2, 3]
--   </pre>
map :: (a -> b) -> [a] -> [b]

-- | A variant of <a>foldl</a> that has no base case, and thus may only be
--   applied to non-empty structures.
--   
--   <pre>
--   <a>foldl1</a> f = <a>foldl1</a> f . <a>toList</a>
--   </pre>
foldl1 :: Foldable t => (a -> a -> a) -> t a -> a

-- | A variant of <a>foldr</a> that has no base case, and thus may only be
--   applied to non-empty structures.
--   
--   <pre>
--   <a>foldr1</a> f = <a>foldr1</a> f . <a>toList</a>
--   </pre>
foldr1 :: Foldable t => (a -> a -> a) -> t a -> a

-- | Right-associative fold of a structure.
--   
--   In the case of lists, <a>foldr</a>, when applied to a binary operator,
--   a starting value (typically the right-identity of the operator), and a
--   list, reduces the list using the binary operator, from right to left:
--   
--   <pre>
--   foldr f z [x1, x2, ..., xn] == x1 `f` (x2 `f` ... (xn `f` z)...)
--   </pre>
--   
--   Note that, since the head of the resulting expression is produced by
--   an application of the operator to the first element of the list,
--   <a>foldr</a> can produce a terminating expression from an infinite
--   list.
--   
--   For a general <a>Foldable</a> structure this should be semantically
--   identical to,
--   
--   <pre>
--   foldr f z = <a>foldr</a> f z . <a>toList</a>
--   </pre>
foldr :: Foldable t => (a -> b -> b) -> b -> t a -> b

-- | Left-associative fold of a structure.
--   
--   In the case of lists, <a>foldl</a>, when applied to a binary operator,
--   a starting value (typically the left-identity of the operator), and a
--   list, reduces the list using the binary operator, from left to right:
--   
--   <pre>
--   foldl f z [x1, x2, ..., xn] == (...((z `f` x1) `f` x2) `f`...) `f` xn
--   </pre>
--   
--   Note that to produce the outermost application of the operator the
--   entire input list must be traversed. This means that <a>foldl'</a>
--   will diverge if given an infinite list.
--   
--   Also note that if you want an efficient left-fold, you probably want
--   to use <a>foldl'</a> instead of <a>foldl</a>. The reason for this is
--   that latter does not force the "inner" results (e.g. <tt>z `f` x1</tt>
--   in the above example) before applying them to the operator (e.g. to
--   <tt>(`f` x2)</tt>). This results in a thunk chain &lt;math&gt;
--   elements long, which then must be evaluated from the outside-in.
--   
--   For a general <a>Foldable</a> structure this should be semantically
--   identical to,
--   
--   <pre>
--   foldl f z = <a>foldl</a> f z . <a>toList</a>
--   </pre>
foldl :: Foldable t => (b -> a -> b) -> b -> t a -> b

-- | Left-associative fold of a structure but with strict application of
--   the operator.
--   
--   This ensures that each step of the fold is forced to weak head normal
--   form before being applied, avoiding the collection of thunks that
--   would otherwise occur. This is often what you want to strictly reduce
--   a finite list to a single, monolithic result (e.g. <a>length</a>).
--   
--   For a general <a>Foldable</a> structure this should be semantically
--   identical to,
--   
--   <pre>
--   foldl' f z = <a>foldl'</a> f z . <a>toList</a>
--   </pre>
foldl' :: Foldable t => (b -> a -> b) -> b -> t a -> b

-- | Test whether the structure is empty. The default implementation is
--   optimized for structures that are similar to cons-lists, because there
--   is no general way to do better.
null :: Foldable t => t a -> Bool

-- | Returns the size/length of a finite structure as an <a>Int</a>. The
--   default implementation is optimized for structures that are similar to
--   cons-lists, because there is no general way to do better.
length :: Foldable t => t a -> Int

-- | Does the element occur in the structure?
elem :: (Foldable t, Eq a) => a -> t a -> Bool
infix 4 `elem`

-- | The largest element of a non-empty structure.
maximum :: (Foldable t, Ord a) => t a -> a

-- | The least element of a non-empty structure.
minimum :: (Foldable t, Ord a) => t a -> a

-- | The <a>product</a> function computes the product of the numbers of a
--   structure.
product :: (Foldable t, Num a) => t a -> a

-- | The <a>sum</a> function computes the sum of the numbers of a
--   structure.
sum :: (Foldable t, Num a) => t a -> a

-- | &lt;math&gt;. <a>scanl</a> is similar to <a>foldl</a>, but returns a
--   list of successive reduced values from the left:
--   
--   <pre>
--   scanl f z [x1, x2, ...] == [z, z `f` x1, (z `f` x1) `f` x2, ...]
--   </pre>
--   
--   Note that
--   
--   <pre>
--   last (scanl f z xs) == foldl f z xs.
--   </pre>
scanl :: (b -> a -> b) -> b -> [a] -> [b]

-- | &lt;math&gt;. <a>scanl1</a> is a variant of <a>scanl</a> that has no
--   starting value argument:
--   
--   <pre>
--   scanl1 f [x1, x2, ...] == [x1, x1 `f` x2, ...]
--   </pre>
scanl1 :: (a -> a -> a) -> [a] -> [a]

-- | &lt;math&gt;. <a>scanr</a> is the right-to-left dual of <a>scanl</a>.
--   Note that
--   
--   <pre>
--   head (scanr f z xs) == foldr f z xs.
--   </pre>
scanr :: (a -> b -> b) -> b -> [a] -> [b]

-- | &lt;math&gt;. <a>scanr1</a> is a variant of <a>scanr</a> that has no
--   starting value argument.
scanr1 :: (a -> a -> a) -> [a] -> [a]

-- | <a>iterate</a> <tt>f x</tt> returns an infinite list of repeated
--   applications of <tt>f</tt> to <tt>x</tt>:
--   
--   <pre>
--   iterate f x == [x, f x, f (f x), ...]
--   </pre>
--   
--   Note that <a>iterate</a> is lazy, potentially leading to thunk
--   build-up if the consumer doesn't force each iterate. See
--   <a>iterate'</a> for a strict variant of this function.
iterate :: (a -> a) -> a -> [a]

-- | <a>repeat</a> <tt>x</tt> is an infinite list, with <tt>x</tt> the
--   value of every element.
repeat :: a -> [a]

-- | <a>replicate</a> <tt>n x</tt> is a list of length <tt>n</tt> with
--   <tt>x</tt> the value of every element. It is an instance of the more
--   general <a>genericReplicate</a>, in which <tt>n</tt> may be of any
--   integral type.
replicate :: Int -> a -> [a]

-- | <a>cycle</a> ties a finite list into a circular one, or equivalently,
--   the infinite repetition of the original list. It is the identity on
--   infinite lists.
cycle :: [a] -> [a]

-- | <a>takeWhile</a>, applied to a predicate <tt>p</tt> and a list
--   <tt>xs</tt>, returns the longest prefix (possibly empty) of
--   <tt>xs</tt> of elements that satisfy <tt>p</tt>:
--   
--   <pre>
--   takeWhile (&lt; 3) [1,2,3,4,1,2,3,4] == [1,2]
--   takeWhile (&lt; 9) [1,2,3] == [1,2,3]
--   takeWhile (&lt; 0) [1,2,3] == []
--   </pre>
takeWhile :: (a -> Bool) -> [a] -> [a]

-- | <a>dropWhile</a> <tt>p xs</tt> returns the suffix remaining after
--   <a>takeWhile</a> <tt>p xs</tt>:
--   
--   <pre>
--   dropWhile (&lt; 3) [1,2,3,4,5,1,2,3] == [3,4,5,1,2,3]
--   dropWhile (&lt; 9) [1,2,3] == []
--   dropWhile (&lt; 0) [1,2,3] == [1,2,3]
--   </pre>
dropWhile :: (a -> Bool) -> [a] -> [a]

-- | <a>take</a> <tt>n</tt>, applied to a list <tt>xs</tt>, returns the
--   prefix of <tt>xs</tt> of length <tt>n</tt>, or <tt>xs</tt> itself if
--   <tt>n &gt; <a>length</a> xs</tt>:
--   
--   <pre>
--   take 5 "Hello World!" == "Hello"
--   take 3 [1,2,3,4,5] == [1,2,3]
--   take 3 [1,2] == [1,2]
--   take 3 [] == []
--   take (-1) [1,2] == []
--   take 0 [1,2] == []
--   </pre>
--   
--   It is an instance of the more general <a>genericTake</a>, in which
--   <tt>n</tt> may be of any integral type.
take :: Int -> [a] -> [a]

-- | <a>drop</a> <tt>n xs</tt> returns the suffix of <tt>xs</tt> after the
--   first <tt>n</tt> elements, or <tt>[]</tt> if <tt>n &gt; <a>length</a>
--   xs</tt>:
--   
--   <pre>
--   drop 6 "Hello World!" == "World!"
--   drop 3 [1,2,3,4,5] == [4,5]
--   drop 3 [1,2] == []
--   drop 3 [] == []
--   drop (-1) [1,2] == [1,2]
--   drop 0 [1,2] == [1,2]
--   </pre>
--   
--   It is an instance of the more general <a>genericDrop</a>, in which
--   <tt>n</tt> may be of any integral type.
drop :: Int -> [a] -> [a]

-- | <a>splitAt</a> <tt>n xs</tt> returns a tuple where first element is
--   <tt>xs</tt> prefix of length <tt>n</tt> and second element is the
--   remainder of the list:
--   
--   <pre>
--   splitAt 6 "Hello World!" == ("Hello ","World!")
--   splitAt 3 [1,2,3,4,5] == ([1,2,3],[4,5])
--   splitAt 1 [1,2,3] == ([1],[2,3])
--   splitAt 3 [1,2,3] == ([1,2,3],[])
--   splitAt 4 [1,2,3] == ([1,2,3],[])
--   splitAt 0 [1,2,3] == ([],[1,2,3])
--   splitAt (-1) [1,2,3] == ([],[1,2,3])
--   </pre>
--   
--   It is equivalent to <tt>(<a>take</a> n xs, <a>drop</a> n xs)</tt> when
--   <tt>n</tt> is not <tt>_|_</tt> (<tt>splitAt _|_ xs = _|_</tt>).
--   <a>splitAt</a> is an instance of the more general
--   <a>genericSplitAt</a>, in which <tt>n</tt> may be of any integral
--   type.
splitAt :: Int -> [a] -> ([a], [a])

-- | <a>span</a>, applied to a predicate <tt>p</tt> and a list <tt>xs</tt>,
--   returns a tuple where first element is longest prefix (possibly empty)
--   of <tt>xs</tt> of elements that satisfy <tt>p</tt> and second element
--   is the remainder of the list:
--   
--   <pre>
--   span (&lt; 3) [1,2,3,4,1,2,3,4] == ([1,2],[3,4,1,2,3,4])
--   span (&lt; 9) [1,2,3] == ([1,2,3],[])
--   span (&lt; 0) [1,2,3] == ([],[1,2,3])
--   </pre>
--   
--   <a>span</a> <tt>p xs</tt> is equivalent to <tt>(<a>takeWhile</a> p xs,
--   <a>dropWhile</a> p xs)</tt>
span :: (a -> Bool) -> [a] -> ([a], [a])

-- | <a>break</a>, applied to a predicate <tt>p</tt> and a list
--   <tt>xs</tt>, returns a tuple where first element is longest prefix
--   (possibly empty) of <tt>xs</tt> of elements that <i>do not satisfy</i>
--   <tt>p</tt> and second element is the remainder of the list:
--   
--   <pre>
--   break (&gt; 3) [1,2,3,4,1,2,3,4] == ([1,2,3],[4,1,2,3,4])
--   break (&lt; 9) [1,2,3] == ([],[1,2,3])
--   break (&gt; 9) [1,2,3] == ([1,2,3],[])
--   </pre>
--   
--   <a>break</a> <tt>p</tt> is equivalent to <tt><a>span</a> (<a>not</a> .
--   p)</tt>.
break :: (a -> Bool) -> [a] -> ([a], [a])

-- | <a>reverse</a> <tt>xs</tt> returns the elements of <tt>xs</tt> in
--   reverse order. <tt>xs</tt> must be finite.
reverse :: [a] -> [a]

-- | &lt;math&gt;. <a>lookup</a> <tt>key assocs</tt> looks up a key in an
--   association list.
--   
--   <pre>
--   &gt;&gt;&gt; lookup 2 [(1, "first"), (2, "second"), (3, "third")]
--   Just "second"
--   </pre>
lookup :: Eq a => a -> [(a, b)] -> Maybe b

-- | List index (subscript) operator, starting from 0. It is an instance of
--   the more general <a>genericIndex</a>, which takes an index of any
--   integral type.
(!!) :: [a] -> Int -> a
infixl 9 !!

-- | <a>zip3</a> takes three lists and returns a list of triples, analogous
--   to <a>zip</a>. It is capable of list fusion, but it is restricted to
--   its first list argument and its resulting list.
zip3 :: [a] -> [b] -> [c] -> [(a, b, c)]

-- | &lt;math&gt;. <a>zipWith</a> generalises <a>zip</a> by zipping with
--   the function given as the first argument, instead of a tupling
--   function. For example, <tt><a>zipWith</a> (+)</tt> is applied to two
--   lists to produce the list of corresponding sums:
--   
--   <pre>
--   &gt;&gt;&gt; zipWith (+) [1, 2, 3] [4, 5, 6]
--   [5,7,9]
--   </pre>
--   
--   <a>zipWith</a> is right-lazy:
--   
--   <pre>
--   zipWith f [] _|_ = []
--   </pre>
--   
--   <a>zipWith</a> is capable of list fusion, but it is restricted to its
--   first list argument and its resulting list.
zipWith :: (a -> b -> c) -> [a] -> [b] -> [c]

-- | The <a>zipWith3</a> function takes a function which combines three
--   elements, as well as three lists and returns a list of their
--   point-wise combination, analogous to <a>zipWith</a>. It is capable of
--   list fusion, but it is restricted to its first list argument and its
--   resulting list.
zipWith3 :: (a -> b -> c -> d) -> [a] -> [b] -> [c] -> [d]

-- | <a>unzip</a> transforms a list of pairs into a list of first
--   components and a list of second components.
unzip :: [(a, b)] -> ([a], [b])

-- | The <a>unzip3</a> function takes a list of triples and returns three
--   lists, analogous to <a>unzip</a>.
unzip3 :: [(a, b, c)] -> ([a], [b], [c])

-- | &lt;math&gt;. The <a>isPrefixOf</a> function takes two lists and
--   returns <a>True</a> iff the first list is a prefix of the second.
--   
--   <pre>
--   &gt;&gt;&gt; "Hello" `isPrefixOf` "Hello World!"
--   True
--   </pre>
--   
--   <pre>
--   &gt;&gt;&gt; "Hello" `isPrefixOf` "Wello Horld!"
--   False
--   </pre>
isPrefixOf :: Eq a => [a] -> [a] -> Bool

-- | The <a>isSuffixOf</a> function takes two lists and returns <a>True</a>
--   iff the first list is a suffix of the second. The second list must be
--   finite.
--   
--   <pre>
--   &gt;&gt;&gt; "ld!" `isSuffixOf` "Hello World!"
--   True
--   </pre>
--   
--   <pre>
--   &gt;&gt;&gt; "World" `isSuffixOf` "Hello World!"
--   False
--   </pre>
isSuffixOf :: Eq a => [a] -> [a] -> Bool

-- | The <a>isInfixOf</a> function takes two lists and returns <a>True</a>
--   iff the first list is contained, wholly and intact, anywhere within
--   the second.
--   
--   <pre>
--   &gt;&gt;&gt; isInfixOf "Haskell" "I really like Haskell."
--   True
--   </pre>
--   
--   <pre>
--   &gt;&gt;&gt; isInfixOf "Ial" "I really like Haskell."
--   False
--   </pre>
isInfixOf :: Eq a => [a] -> [a] -> Bool

-- | &lt;math&gt;. The <a>nub</a> function removes duplicate elements from
--   a list. In particular, it keeps only the first occurrence of each
--   element. (The name <a>nub</a> means `essence'.) It is a special case
--   of <a>nubBy</a>, which allows the programmer to supply their own
--   equality test.
--   
--   <pre>
--   &gt;&gt;&gt; nub [1,2,3,4,3,2,1,2,4,3,5]
--   [1,2,3,4,5]
--   </pre>
nub :: Eq a => [a] -> [a]

-- | The <a>nubBy</a> function behaves just like <a>nub</a>, except it uses
--   a user-supplied equality predicate instead of the overloaded <a>==</a>
--   function.
--   
--   <pre>
--   &gt;&gt;&gt; nubBy (\x y -&gt; mod x 3 == mod y 3) [1,2,4,5,6]
--   [1,2,6]
--   </pre>
nubBy :: (a -> a -> Bool) -> [a] -> [a]

-- | &lt;math&gt;. The <a>intersperse</a> function takes an element and a
--   list and `intersperses' that element between the elements of the list.
--   For example,
--   
--   <pre>
--   &gt;&gt;&gt; intersperse ',' "abcde"
--   "a,b,c,d,e"
--   </pre>
intersperse :: a -> [a] -> [a]

-- | <a>intercalate</a> <tt>xs xss</tt> is equivalent to <tt>(<a>concat</a>
--   (<a>intersperse</a> xs xss))</tt>. It inserts the list <tt>xs</tt> in
--   between the lists in <tt>xss</tt> and concatenates the result.
--   
--   <pre>
--   &gt;&gt;&gt; intercalate ", " ["Lorem", "ipsum", "dolor"]
--   "Lorem, ipsum, dolor"
--   </pre>
intercalate :: [a] -> [[a]] -> [a]

-- | The <a>sort</a> function implements a stable sorting algorithm. It is
--   a special case of <a>sortBy</a>, which allows the programmer to supply
--   their own comparison function.
--   
--   Elements are arranged from lowest to highest, keeping duplicates in
--   the order they appeared in the input.
--   
--   <pre>
--   &gt;&gt;&gt; sort [1,6,4,3,2,5]
--   [1,2,3,4,5,6]
--   </pre>
sort :: Ord a => [a] -> [a]

-- | The <a>sortBy</a> function is the non-overloaded version of
--   <a>sort</a>.
--   
--   <pre>
--   &gt;&gt;&gt; sortBy (\(a,_) (b,_) -&gt; compare a b) [(2, "world"), (4, "!"), (1, "Hello")]
--   [(1,"Hello"),(2,"world"),(4,"!")]
--   </pre>
sortBy :: (a -> a -> Ordering) -> [a] -> [a]

-- | The <a>unfoldr</a> function is a `dual' to <a>foldr</a>: while
--   <a>foldr</a> reduces a list to a summary value, <a>unfoldr</a> builds
--   a list from a seed value. The function takes the element and returns
--   <a>Nothing</a> if it is done producing the list or returns <a>Just</a>
--   <tt>(a,b)</tt>, in which case, <tt>a</tt> is a prepended to the list
--   and <tt>b</tt> is used as the next element in a recursive call. For
--   example,
--   
--   <pre>
--   iterate f == unfoldr (\x -&gt; Just (x, f x))
--   </pre>
--   
--   In some cases, <a>unfoldr</a> can undo a <a>foldr</a> operation:
--   
--   <pre>
--   unfoldr f' (foldr f z xs) == xs
--   </pre>
--   
--   if the following holds:
--   
--   <pre>
--   f' (f x y) = Just (x,y)
--   f' z       = Nothing
--   </pre>
--   
--   A simple use of unfoldr:
--   
--   <pre>
--   &gt;&gt;&gt; unfoldr (\b -&gt; if b == 0 then Nothing else Just (b, b-1)) 10
--   [10,9,8,7,6,5,4,3,2,1]
--   </pre>
unfoldr :: (b -> Maybe (a, b)) -> b -> [a]

-- | <a>lines</a> breaks a string up into a list of strings at newline
--   characters. The resulting strings do not contain newlines.
--   
--   Note that after splitting the string at newline characters, the last
--   part of the string is considered a line even if it doesn't end with a
--   newline. For example,
--   
--   <pre>
--   &gt;&gt;&gt; lines ""
--   []
--   </pre>
--   
--   <pre>
--   &gt;&gt;&gt; lines "\n"
--   [""]
--   </pre>
--   
--   <pre>
--   &gt;&gt;&gt; lines "one"
--   ["one"]
--   </pre>
--   
--   <pre>
--   &gt;&gt;&gt; lines "one\n"
--   ["one"]
--   </pre>
--   
--   <pre>
--   &gt;&gt;&gt; lines "one\n\n"
--   ["one",""]
--   </pre>
--   
--   <pre>
--   &gt;&gt;&gt; lines "one\ntwo"
--   ["one","two"]
--   </pre>
--   
--   <pre>
--   &gt;&gt;&gt; lines "one\ntwo\n"
--   ["one","two"]
--   </pre>
--   
--   Thus <tt><a>lines</a> s</tt> contains at least as many elements as
--   newlines in <tt>s</tt>.
lines :: String -> [String]

-- | <a>unlines</a> is an inverse operation to <a>lines</a>. It joins
--   lines, after appending a terminating newline to each.
--   
--   <pre>
--   &gt;&gt;&gt; unlines ["Hello", "World", "!"]
--   "Hello\nWorld\n!\n"
--   </pre>
unlines :: [String] -> String

-- | <a>words</a> breaks a string up into a list of words, which were
--   delimited by white space.
--   
--   <pre>
--   &gt;&gt;&gt; words "Lorem ipsum\ndolor"
--   ["Lorem","ipsum","dolor"]
--   </pre>
words :: String -> [String]

-- | <a>unwords</a> is an inverse operation to <a>words</a>. It joins words
--   with separating spaces.
--   
--   <pre>
--   &gt;&gt;&gt; unwords ["Lorem", "ipsum", "dolor"]
--   "Lorem ipsum dolor"
--   </pre>
unwords :: [String] -> String

-- | The concatenation of all the elements of a container of lists.
concat :: Foldable t => t [a] -> [a]

-- | Map a function over all the elements of a container and concatenate
--   the resulting lists.
concatMap :: Foldable t => (a -> [b]) -> t a -> [b]

-- | <a>and</a> returns the conjunction of a container of Bools. For the
--   result to be <a>True</a>, the container must be finite; <a>False</a>,
--   however, results from a <a>False</a> value finitely far from the left
--   end.
and :: Foldable t => t Bool -> Bool

-- | <a>or</a> returns the disjunction of a container of Bools. For the
--   result to be <a>False</a>, the container must be finite; <a>True</a>,
--   however, results from a <a>True</a> value finitely far from the left
--   end.
or :: Foldable t => t Bool -> Bool

-- | Determines whether any element of the structure satisfies the
--   predicate.
any :: Foldable t => (a -> Bool) -> t a -> Bool

-- | Determines whether all elements of the structure satisfy the
--   predicate.
all :: Foldable t => (a -> Bool) -> t a -> Bool

-- | <a>notElem</a> is the negation of <a>elem</a>.
notElem :: (Foldable t, Eq a) => a -> t a -> Bool
infix 4 `notElem`

-- | The <a>find</a> function takes a predicate and a structure and returns
--   the leftmost element of the structure matching the predicate, or
--   <a>Nothing</a> if there is no such element.
find :: Foldable t => (a -> Bool) -> t a -> Maybe a

-- | The <a>isSubsequenceOf</a> function takes two lists and returns
--   <a>True</a> if all the elements of the first list occur, in order, in
--   the second. The elements do not have to occur consecutively.
--   
--   <tt><a>isSubsequenceOf</a> x y</tt> is equivalent to <tt><a>elem</a> x
--   (<a>subsequences</a> y)</tt>.
--   
--   <h4><b>Examples</b></h4>
--   
--   <pre>
--   &gt;&gt;&gt; isSubsequenceOf "GHC" "The Glorious Haskell Compiler"
--   True
--   
--   &gt;&gt;&gt; isSubsequenceOf ['a','d'..'z'] ['a'..'z']
--   True
--   
--   &gt;&gt;&gt; isSubsequenceOf [1..10] [10,9..0]
--   False
--   </pre>
isSubsequenceOf :: Eq a => [a] -> [a] -> Bool

-- | The <a>mapAccumR</a> function behaves like a combination of
--   <a>fmap</a> and <a>foldr</a>; it applies a function to each element of
--   a structure, passing an accumulating parameter from right to left, and
--   returning a final value of this accumulator together with the new
--   structure.
mapAccumR :: Traversable t => (a -> b -> (a, c)) -> a -> t b -> (a, t c)

-- | The <a>mapAccumL</a> function behaves like a combination of
--   <a>fmap</a> and <a>foldl</a>; it applies a function to each element of
--   a structure, passing an accumulating parameter from left to right, and
--   returning a final value of this accumulator together with the new
--   structure.
mapAccumL :: Traversable t => (a -> b -> (a, c)) -> a -> t b -> (a, t c)

-- | The least element of a non-empty structure with respect to the given
--   comparison function.
minimumBy :: Foldable t => (a -> a -> Ordering) -> t a -> a

-- | The largest element of a non-empty structure with respect to the given
--   comparison function.
maximumBy :: Foldable t => (a -> a -> Ordering) -> t a -> a

-- | Sort a list by comparing the results of a key function applied to each
--   element. <tt>sortOn f</tt> is equivalent to <tt>sortBy (comparing
--   f)</tt>, but has the performance advantage of only evaluating
--   <tt>f</tt> once for each element in the input list. This is called the
--   decorate-sort-undecorate paradigm, or Schwartzian transform.
--   
--   Elements are arranged from from lowest to highest, keeping duplicates
--   in the order they appeared in the input.
--   
--   <pre>
--   &gt;&gt;&gt; sortOn fst [(2, "world"), (4, "!"), (1, "Hello")]
--   [(1,"Hello"),(2,"world"),(4,"!")]
--   </pre>
sortOn :: Ord b => (a -> b) -> [a] -> [a]

-- | The <a>permutations</a> function returns the list of all permutations
--   of the argument.
--   
--   <pre>
--   &gt;&gt;&gt; permutations "abc"
--   ["abc","bac","cba","bca","cab","acb"]
--   </pre>
permutations :: [a] -> [[a]]

-- | The <a>subsequences</a> function returns the list of all subsequences
--   of the argument.
--   
--   <pre>
--   &gt;&gt;&gt; subsequences "abc"
--   ["","a","b","ab","c","ac","bc","abc"]
--   </pre>
subsequences :: [a] -> [[a]]

-- | &lt;math&gt;. The <a>tails</a> function returns all final segments of
--   the argument, longest first. For example,
--   
--   <pre>
--   &gt;&gt;&gt; tails "abc"
--   ["abc","bc","c",""]
--   </pre>
--   
--   Note that <a>tails</a> has the following strictness property:
--   <tt>tails _|_ = _|_ : _|_</tt>
tails :: [a] -> [[a]]

-- | The <a>inits</a> function returns all initial segments of the
--   argument, shortest first. For example,
--   
--   <pre>
--   &gt;&gt;&gt; inits "abc"
--   ["","a","ab","abc"]
--   </pre>
--   
--   Note that <a>inits</a> has the following strictness property:
--   <tt>inits (xs ++ _|_) = inits xs ++ _|_</tt>
--   
--   In particular, <tt>inits _|_ = [] : _|_</tt>
inits :: [a] -> [[a]]

-- | The <a>groupBy</a> function is the non-overloaded version of
--   <a>group</a>.
groupBy :: (a -> a -> Bool) -> [a] -> [[a]]

-- | The <a>group</a> function takes a list and returns a list of lists
--   such that the concatenation of the result is equal to the argument.
--   Moreover, each sublist in the result contains only equal elements. For
--   example,
--   
--   <pre>
--   &gt;&gt;&gt; group "Mississippi"
--   ["M","i","ss","i","ss","i","pp","i"]
--   </pre>
--   
--   It is a special case of <a>groupBy</a>, which allows the programmer to
--   supply their own equality test.
group :: Eq a => [a] -> [[a]]

-- | The <a>deleteFirstsBy</a> function takes a predicate and two lists and
--   returns the first list with the first occurrence of each element of
--   the second list removed.
deleteFirstsBy :: (a -> a -> Bool) -> [a] -> [a] -> [a]

-- | The <a>unzip7</a> function takes a list of seven-tuples and returns
--   seven lists, analogous to <a>unzip</a>.
unzip7 :: [(a, b, c, d, e, f, g)] -> ([a], [b], [c], [d], [e], [f], [g])

-- | The <a>unzip6</a> function takes a list of six-tuples and returns six
--   lists, analogous to <a>unzip</a>.
unzip6 :: [(a, b, c, d, e, f)] -> ([a], [b], [c], [d], [e], [f])

-- | The <a>unzip5</a> function takes a list of five-tuples and returns
--   five lists, analogous to <a>unzip</a>.
unzip5 :: [(a, b, c, d, e)] -> ([a], [b], [c], [d], [e])

-- | The <a>unzip4</a> function takes a list of quadruples and returns four
--   lists, analogous to <a>unzip</a>.
unzip4 :: [(a, b, c, d)] -> ([a], [b], [c], [d])

-- | The <a>zipWith7</a> function takes a function which combines seven
--   elements, as well as seven lists and returns a list of their
--   point-wise combination, analogous to <a>zipWith</a>. It is capable of
--   list fusion, but it is restricted to its first list argument and its
--   resulting list.
zipWith7 :: (a -> b -> c -> d -> e -> f -> g -> h) -> [a] -> [b] -> [c] -> [d] -> [e] -> [f] -> [g] -> [h]

-- | The <a>zipWith6</a> function takes a function which combines six
--   elements, as well as six lists and returns a list of their point-wise
--   combination, analogous to <a>zipWith</a>. It is capable of list
--   fusion, but it is restricted to its first list argument and its
--   resulting list.
zipWith6 :: (a -> b -> c -> d -> e -> f -> g) -> [a] -> [b] -> [c] -> [d] -> [e] -> [f] -> [g]

-- | The <a>zipWith5</a> function takes a function which combines five
--   elements, as well as five lists and returns a list of their point-wise
--   combination, analogous to <a>zipWith</a>. It is capable of list
--   fusion, but it is restricted to its first list argument and its
--   resulting list.
zipWith5 :: (a -> b -> c -> d -> e -> f) -> [a] -> [b] -> [c] -> [d] -> [e] -> [f]

-- | The <a>zipWith4</a> function takes a function which combines four
--   elements, as well as four lists and returns a list of their point-wise
--   combination, analogous to <a>zipWith</a>. It is capable of list
--   fusion, but it is restricted to its first list argument and its
--   resulting list.
zipWith4 :: (a -> b -> c -> d -> e) -> [a] -> [b] -> [c] -> [d] -> [e]

-- | The <a>zip7</a> function takes seven lists and returns a list of
--   seven-tuples, analogous to <a>zip</a>. It is capable of list fusion,
--   but it is restricted to its first list argument and its resulting
--   list.
zip7 :: [a] -> [b] -> [c] -> [d] -> [e] -> [f] -> [g] -> [(a, b, c, d, e, f, g)]

-- | The <a>zip6</a> function takes six lists and returns a list of
--   six-tuples, analogous to <a>zip</a>. It is capable of list fusion, but
--   it is restricted to its first list argument and its resulting list.
zip6 :: [a] -> [b] -> [c] -> [d] -> [e] -> [f] -> [(a, b, c, d, e, f)]

-- | The <a>zip5</a> function takes five lists and returns a list of
--   five-tuples, analogous to <a>zip</a>. It is capable of list fusion,
--   but it is restricted to its first list argument and its resulting
--   list.
zip5 :: [a] -> [b] -> [c] -> [d] -> [e] -> [(a, b, c, d, e)]

-- | The <a>zip4</a> function takes four lists and returns a list of
--   quadruples, analogous to <a>zip</a>. It is capable of list fusion, but
--   it is restricted to its first list argument and its resulting list.
zip4 :: [a] -> [b] -> [c] -> [d] -> [(a, b, c, d)]

-- | The <a>genericReplicate</a> function is an overloaded version of
--   <a>replicate</a>, which accepts any <a>Integral</a> value as the
--   number of repetitions to make.
genericReplicate :: Integral i => i -> a -> [a]

-- | The <a>genericIndex</a> function is an overloaded version of
--   <a>!!</a>, which accepts any <a>Integral</a> value as the index.
genericIndex :: Integral i => [a] -> i -> a

-- | The <a>genericSplitAt</a> function is an overloaded version of
--   <a>splitAt</a>, which accepts any <a>Integral</a> value as the
--   position at which to split.
genericSplitAt :: Integral i => i -> [a] -> ([a], [a])

-- | The <a>genericDrop</a> function is an overloaded version of
--   <a>drop</a>, which accepts any <a>Integral</a> value as the number of
--   elements to drop.
genericDrop :: Integral i => i -> [a] -> [a]

-- | The <a>genericTake</a> function is an overloaded version of
--   <a>take</a>, which accepts any <a>Integral</a> value as the number of
--   elements to take.
genericTake :: Integral i => i -> [a] -> [a]

-- | &lt;math&gt;. The <a>genericLength</a> function is an overloaded
--   version of <a>length</a>. In particular, instead of returning an
--   <a>Int</a>, it returns any type which is an instance of <a>Num</a>. It
--   is, however, less efficient than <a>length</a>.
--   
--   <pre>
--   &gt;&gt;&gt; genericLength [1, 2, 3] :: Int
--   3
--   
--   &gt;&gt;&gt; genericLength [1, 2, 3] :: Float
--   3.0
--   </pre>
genericLength :: Num i => [a] -> i

-- | &lt;math&gt;. The non-overloaded version of <a>insert</a>.
insertBy :: (a -> a -> Ordering) -> a -> [a] -> [a]

-- | &lt;math&gt;. The <a>insert</a> function takes an element and a list
--   and inserts the element into the list at the first position where it
--   is less than or equal to the next element. In particular, if the list
--   is sorted before the call, the result will also be sorted. It is a
--   special case of <a>insertBy</a>, which allows the programmer to supply
--   their own comparison function.
--   
--   <pre>
--   &gt;&gt;&gt; insert 4 [1,2,3,5,6,7]
--   [1,2,3,4,5,6,7]
--   </pre>
insert :: Ord a => a -> [a] -> [a]

-- | The <a>partition</a> function takes a predicate a list and returns the
--   pair of lists of elements which do and do not satisfy the predicate,
--   respectively; i.e.,
--   
--   <pre>
--   partition p xs == (filter p xs, filter (not . p) xs)
--   </pre>
--   
--   <pre>
--   &gt;&gt;&gt; partition (`elem` "aeiou") "Hello World!"
--   ("eoo","Hll Wrld!")
--   </pre>
partition :: (a -> Bool) -> [a] -> ([a], [a])

-- | The <a>transpose</a> function transposes the rows and columns of its
--   argument. For example,
--   
--   <pre>
--   &gt;&gt;&gt; transpose [[1,2,3],[4,5,6]]
--   [[1,4],[2,5],[3,6]]
--   </pre>
--   
--   If some of the rows are shorter than the following rows, their
--   elements are skipped:
--   
--   <pre>
--   &gt;&gt;&gt; transpose [[10,11],[20],[],[30,31,32]]
--   [[10,20,30],[11,31],[32]]
--   </pre>
transpose :: [[a]] -> [[a]]

-- | The <a>intersectBy</a> function is the non-overloaded version of
--   <a>intersect</a>.
intersectBy :: (a -> a -> Bool) -> [a] -> [a] -> [a]

-- | The <a>intersect</a> function takes the list intersection of two
--   lists. For example,
--   
--   <pre>
--   &gt;&gt;&gt; [1,2,3,4] `intersect` [2,4,6,8]
--   [2,4]
--   </pre>
--   
--   If the first list contains duplicates, so will the result.
--   
--   <pre>
--   &gt;&gt;&gt; [1,2,2,3,4] `intersect` [6,4,4,2]
--   [2,2,4]
--   </pre>
--   
--   It is a special case of <a>intersectBy</a>, which allows the
--   programmer to supply their own equality test. If the element is found
--   in both the first and the second list, the element from the first list
--   will be used.
intersect :: Eq a => [a] -> [a] -> [a]

-- | The <a>unionBy</a> function is the non-overloaded version of
--   <a>union</a>.
unionBy :: (a -> a -> Bool) -> [a] -> [a] -> [a]

-- | The <a>union</a> function returns the list union of the two lists. For
--   example,
--   
--   <pre>
--   &gt;&gt;&gt; "dog" `union` "cow"
--   "dogcw"
--   </pre>
--   
--   Duplicates, and elements of the first list, are removed from the the
--   second list, but if the first list contains duplicates, so will the
--   result. It is a special case of <a>unionBy</a>, which allows the
--   programmer to supply their own equality test.
union :: Eq a => [a] -> [a] -> [a]

-- | The <a>\\</a> function is list difference (non-associative). In the
--   result of <tt>xs</tt> <a>\\</a> <tt>ys</tt>, the first occurrence of
--   each element of <tt>ys</tt> in turn (if any) has been removed from
--   <tt>xs</tt>. Thus
--   
--   <pre>
--   (xs ++ ys) \\ xs == ys.
--   </pre>
--   
--   <pre>
--   &gt;&gt;&gt; "Hello World!" \\ "ell W"
--   "Hoorld!"
--   </pre>
--   
--   It is a special case of <a>deleteFirstsBy</a>, which allows the
--   programmer to supply their own equality test.
(\\) :: Eq a => [a] -> [a] -> [a]
infix 5 \\

-- | &lt;math&gt;. The <a>deleteBy</a> function behaves like <a>delete</a>,
--   but takes a user-supplied equality predicate.
--   
--   <pre>
--   &gt;&gt;&gt; deleteBy (&lt;=) 4 [1..10]
--   [1,2,3,5,6,7,8,9,10]
--   </pre>
deleteBy :: (a -> a -> Bool) -> a -> [a] -> [a]

-- | &lt;math&gt;. <a>delete</a> <tt>x</tt> removes the first occurrence of
--   <tt>x</tt> from its list argument. For example,
--   
--   <pre>
--   &gt;&gt;&gt; delete 'a' "banana"
--   "bnana"
--   </pre>
--   
--   It is a special case of <a>deleteBy</a>, which allows the programmer
--   to supply their own equality test.
delete :: Eq a => a -> [a] -> [a]

-- | The <a>findIndices</a> function extends <a>findIndex</a>, by returning
--   the indices of all elements satisfying the predicate, in ascending
--   order.
--   
--   <pre>
--   &gt;&gt;&gt; findIndices (`elem` "aeiou") "Hello World!"
--   [1,4,7]
--   </pre>
findIndices :: (a -> Bool) -> [a] -> [Int]

-- | The <a>findIndex</a> function takes a predicate and a list and returns
--   the index of the first element in the list satisfying the predicate,
--   or <a>Nothing</a> if there is no such element.
--   
--   <pre>
--   &gt;&gt;&gt; findIndex isSpace "Hello World!"
--   Just 5
--   </pre>
findIndex :: (a -> Bool) -> [a] -> Maybe Int

-- | The <a>elemIndices</a> function extends <a>elemIndex</a>, by returning
--   the indices of all elements equal to the query element, in ascending
--   order.
--   
--   <pre>
--   &gt;&gt;&gt; elemIndices 'o' "Hello World"
--   [4,7]
--   </pre>
elemIndices :: Eq a => a -> [a] -> [Int]

-- | The <a>elemIndex</a> function returns the index of the first element
--   in the given list which is equal (by <a>==</a>) to the query element,
--   or <a>Nothing</a> if there is no such element.
--   
--   <pre>
--   &gt;&gt;&gt; elemIndex 4 [0..]
--   Just 4
--   </pre>
elemIndex :: Eq a => a -> [a] -> Maybe Int

-- | &lt;math&gt;. The <a>stripPrefix</a> function drops the given prefix
--   from a list. It returns <a>Nothing</a> if the list did not start with
--   the prefix given, or <a>Just</a> the list after the prefix, if it
--   does.
--   
--   <pre>
--   &gt;&gt;&gt; stripPrefix "foo" "foobar"
--   Just "bar"
--   </pre>
--   
--   <pre>
--   &gt;&gt;&gt; stripPrefix "foo" "foo"
--   Just ""
--   </pre>
--   
--   <pre>
--   &gt;&gt;&gt; stripPrefix "foo" "barfoo"
--   Nothing
--   </pre>
--   
--   <pre>
--   &gt;&gt;&gt; stripPrefix "foo" "barfoobaz"
--   Nothing
--   </pre>
stripPrefix :: Eq a => [a] -> [a] -> Maybe [a]

-- | The <a>dropWhileEnd</a> function drops the largest suffix of a list in
--   which the given predicate holds for all elements. For example:
--   
--   <pre>
--   &gt;&gt;&gt; dropWhileEnd isSpace "foo\n"
--   "foo"
--   </pre>
--   
--   <pre>
--   &gt;&gt;&gt; dropWhileEnd isSpace "foo bar"
--   "foo bar"
--   </pre>
--   
--   <pre>
--   dropWhileEnd isSpace ("foo\n" ++ undefined) == "foo" ++ undefined
--   </pre>
dropWhileEnd :: (a -> Bool) -> [a] -> [a]

-- | <a>iterate'</a> is the strict version of <a>iterate</a>.
--   
--   It ensures that the result of each application of force to weak head
--   normal form before proceeding.
iterate' :: (a -> a) -> a -> [a]

-- | &lt;math&gt;. A strictly accumulating version of <a>scanl</a>
scanl' :: (b -> a -> b) -> b -> [a] -> [b]

-- | A strict version of <a>foldl1</a>
foldl1' :: (a -> a -> a) -> [a] -> a

-- | &lt;math&gt;. Return all the elements of a list except the last one.
--   The list must be non-empty.
init :: [a] -> [a]

-- | &lt;math&gt;. Extract the last element of a list, which must be finite
--   and non-empty.
last :: [a] -> a

-- | &lt;math&gt;. Extract the elements after the head of a list, which
--   must be non-empty.
tail :: [a] -> [a]

-- | &lt;math&gt;. Extract the first element of a list, which must be
--   non-empty.
head :: [a] -> a

module HsDev.Version
cabalVersion :: ExpQ

module HsDev.Util

-- | Run action with current directory set
withCurrentDirectory :: (MonadIO m, MonadMask m) => FilePath -> m a -> m a

-- | Get directory contents safely: no fail, ignoring symbolic links, also
--   prepends paths with dir name
directoryContents :: FilePath -> IO [FilePath]

-- | Collect all file names in directory recursively
traverseDirectory :: FilePath -> IO [FilePath]

-- | Search something up
searchPath :: (MonadIO m, MonadPlus m) => FilePath -> (FilePath -> m a) -> m a

-- | Is haskell source?
haskellSource :: FilePath -> Bool

-- | Is cabal file?
cabalFile :: FilePath -> Bool

-- | Add N tabs to line
tab :: Int -> String -> String

-- | Trim string
trim :: String -> String

-- | Split list
split :: (a -> Bool) -> [a] -> [[a]]

-- | nub is quadratic, <a>https://github.com/nh2/haskell-ordnub/#ordnub</a>
ordNub :: Ord a => [a] -> [a]
uniqueBy :: Ord b => (a -> b) -> [a] -> [a]
mapBy :: Ord b => (a -> b) -> [a] -> Map b a

-- | Workaround, sometimes we get HM.lookup "foo" v == Nothing, but lookup
--   "foo" (HM.toList v) == Just smth
(.::) :: FromJSON a => HashMap Text Value -> Text -> Parser a

-- | Returns <tt>Nothing</tt> when key doesn't exist or value is
--   <tt>Null</tt>
(.::?) :: FromJSON a => HashMap Text Value -> Text -> Parser (Maybe a)

-- | Same as <tt>.::?</tt> for list, returns empty list for non-existant
--   key or <tt>Null</tt> value
(.::?!) :: FromJSON a => HashMap Text Value -> Text -> Parser [a]

-- | Union two JSON objects
objectUnion :: Value -> Value -> Value

-- | No Nulls in JSON object
noNulls :: [Pair] -> [Pair]

-- | Try convert json to value
fromJSON' :: FromJSON a => Value -> Maybe a

-- | Lift IO exception to ExceptT
liftException :: MonadCatch m => m a -> ExceptT String m a

-- | Same as <tt>liftException</tt>
liftE :: MonadCatch m => m a -> ExceptT String m a

-- | Run actions ignoring errors
tries :: MonadPlus m => [m a] -> m [a]
triesMap :: MonadPlus m => (a -> m b) -> [a] -> m [b]

-- | Lift IO exceptions to ExceptT
liftIOErrors :: MonadCatch m => ExceptT String m a -> ExceptT String m a

-- | Log exceptions and ignore
logAll :: (MonadLog m, MonadCatch m) => m () -> m ()
fromUtf8 :: ByteString -> String
toUtf8 :: String -> ByteString

-- | Read file in UTF8
readFileUtf8 :: FilePath -> IO Text
writeFileUtf8 :: FilePath -> Text -> IO ()
hGetLineBS :: Handle -> IO ByteString
logIO :: MonadCatch m => String -> (String -> m ()) -> m () -> m ()
ignoreIO :: MonadCatch m => m () -> m ()
logAsync :: (MonadIO m, MonadCatch m) => (String -> m ()) -> m () -> m ()
class FromCmd a
cmdP :: FromCmd a => Parser a
cmdJson :: String -> [Pair] -> Value
guardCmd :: String -> Object -> Parser ()

-- | Add help command to parser
withHelp :: Parser a -> Parser a

-- | Subcommand
cmd :: String -> String -> Parser a -> Mod CommandFields a

-- | Parse arguments or return help
parseArgs :: String -> ParserInfo a -> [String] -> Either String a

-- | Get hsdev version as list of integers
version :: Maybe [Int]

-- | Parse Distribution.Text
parseDT :: (MonadFail m, Monad m, Parsec a) => String -> String -> m a

-- | Measure time of action
timer :: MonadLog m => Text -> m a -> m a

-- | Monads in which <a>IO</a> computations may be embedded. Any monad
--   built by applying a sequence of monad transformers to the <a>IO</a>
--   monad will be an instance of this class.
--   
--   Instances should satisfy the following laws, which state that
--   <a>liftIO</a> is a transformer of monads:
--   
--   <ul>
--   <li><pre><a>liftIO</a> . <a>return</a> = <a>return</a></pre></li>
--   <li><pre><a>liftIO</a> (m &gt;&gt;= f) = <a>liftIO</a> m &gt;&gt;=
--   (<a>liftIO</a> . f)</pre></li>
--   </ul>
class Monad m => MonadIO (m :: Type -> Type)

-- | Lift a computation from the <a>IO</a> monad.
liftIO :: MonadIO m => IO a -> m a

module HsDev.Tools.ClearImports

-- | Dump minimal imports
dumpMinimalImports :: [String] -> FilePath -> ExceptT String IO String

-- | Read imports from file
waitImports :: FilePath -> IO [String]

-- | Clean temporary files
cleanTmpImports :: FilePath -> IO ()

-- | Dump and read imports
findMinimalImports :: [String] -> FilePath -> ExceptT String IO [String]

-- | Groups several lines related to one import by indents
groupImports :: [String] -> [[String]]

-- | Split import to import and import-list
splitImport :: [String] -> (String, String)

-- | Returns minimal imports for file specified
clearImports :: [String] -> FilePath -> ExceptT String IO [(String, String)]

module System.Directory.Paths

-- | Takes much less memory than <a>FilePath</a>
type Path = Text
path :: Lens' Path FilePath
fromFilePath :: FilePath -> Path
joinPaths :: [Path] -> Path
splitPaths :: Path -> [Path]
normPath :: Path -> Path
subPath :: Path -> Path -> Path

-- | Make path relative
relPathTo :: Path -> Path -> Path
dirExists :: Path -> IO Bool
fileExists :: Path -> IO Bool
takeDir :: Path -> Path

-- | Is one path parent of another
isParent :: Path -> Path -> Bool

-- | Something with paths inside
class Paths a
paths :: Paths a => Traversal' a FilePath

-- | Canonicalize all paths
canonicalize :: Paths a => a -> IO a

-- | Absolutise paths
absolutise :: Paths a => Path -> a -> a

-- | Relativise paths
relativise :: Paths a => Path -> a -> a

-- | Normalize paths, with workaround for Windows drives
normalize :: Paths a => a -> a
instance System.Directory.Paths.Paths GHC.IO.FilePath
instance System.Directory.Paths.Paths System.Directory.Paths.Path

module HsDev.Display
class Display a
display :: Display a => a -> String
displayType :: Display a => a -> String
instance HsDev.Display.Display GHC.IO.FilePath
instance HsDev.Display.Display System.Directory.Paths.Path

module HsDev.PackageDb.Types
data PackageDb
GlobalDb :: PackageDb
UserDb :: PackageDb
PackageDb :: Path -> PackageDb
[_packageDb] :: PackageDb -> Path
packageDb :: Traversal' PackageDb Path

-- | Stack of PackageDb in reverse order
newtype PackageDbStack
PackageDbStack :: [PackageDb] -> PackageDbStack
[_packageDbStack] :: PackageDbStack -> [PackageDb]
packageDbStack :: Iso' PackageDbStack [PackageDb]

-- | Make <tt>PackageDbStack</tt> from list of <tt>PackageDb</tt>
mkPackageDbStack :: [PackageDb] -> PackageDbStack

-- | Global db stack
globalDb :: PackageDbStack

-- | User db stack
userDb :: PackageDbStack

-- | Make package-db stack from paths
fromPackageDbs :: [Path] -> PackageDbStack

-- | Get top package-db for package-db stack
topPackageDb :: PackageDbStack -> PackageDb

-- | Get list of package-db in stack, adds additional global-db at bottom
packageDbs :: PackageDbStack -> [PackageDb]

-- | Get stacks for each package-db in stack
packageDbStacks :: PackageDbStack -> [PackageDbStack]

-- | Is one package-db stack substack of another
isSubStack :: PackageDbStack -> PackageDbStack -> Bool

-- | Get ghc options for package-db
packageDbOpt :: PackageDb -> String

-- | Get ghc options for package-db stack
packageDbStackOpts :: PackageDbStack -> [String]
instance Control.DeepSeq.NFData HsDev.PackageDb.Types.PackageDbStack
instance HsDev.Display.Display HsDev.PackageDb.Types.PackageDbStack
instance Text.Format.Formattable HsDev.PackageDb.Types.PackageDbStack
instance Data.Aeson.Types.ToJSON.ToJSON HsDev.PackageDb.Types.PackageDbStack
instance Data.Aeson.Types.FromJSON.FromJSON HsDev.PackageDb.Types.PackageDbStack
instance System.Directory.Paths.Paths HsDev.PackageDb.Types.PackageDbStack
instance GHC.Show.Show HsDev.PackageDb.Types.PackageDbStack
instance GHC.Classes.Ord HsDev.PackageDb.Types.PackageDbStack
instance GHC.Classes.Eq HsDev.PackageDb.Types.PackageDbStack
instance Control.DeepSeq.NFData HsDev.PackageDb.Types.PackageDb
instance GHC.Show.Show HsDev.PackageDb.Types.PackageDb
instance HsDev.Display.Display HsDev.PackageDb.Types.PackageDb
instance Text.Format.Formattable HsDev.PackageDb.Types.PackageDb
instance Data.Aeson.Types.ToJSON.ToJSON HsDev.PackageDb.Types.PackageDb
instance Data.Aeson.Types.FromJSON.FromJSON HsDev.PackageDb.Types.PackageDb
instance System.Directory.Paths.Paths HsDev.PackageDb.Types.PackageDb
instance GHC.Classes.Ord HsDev.PackageDb.Types.PackageDb
instance GHC.Classes.Eq HsDev.PackageDb.Types.PackageDb

module HsDev.Project.Types

-- | Project build tool
data BuildTool
CabalTool :: BuildTool
StackTool :: BuildTool
data Sandbox
Sandbox :: BuildTool -> Path -> Sandbox
[_sandboxType] :: Sandbox -> BuildTool
[_sandbox] :: Sandbox -> Path
sandboxType :: Lens' Sandbox BuildTool
sandbox :: Lens' Sandbox Path

-- | Cabal project
data Project
Project :: Text -> Path -> Path -> Maybe ProjectDescription -> BuildTool -> Maybe PackageDbStack -> Project
[_projectName] :: Project -> Text
[_projectPath] :: Project -> Path
[_projectCabal] :: Project -> Path
[_projectDescription] :: Project -> Maybe ProjectDescription
[_projectBuildTool] :: Project -> BuildTool
[_projectPackageDbStack] :: Project -> Maybe PackageDbStack
projectName :: Lens' Project Text
projectPath :: Lens' Project Path
projectCabal :: Lens' Project Path
projectDescription :: Lens' Project (Maybe ProjectDescription)
projectBuildTool :: Lens' Project BuildTool
projectPackageDbStack :: Lens' Project (Maybe PackageDbStack)

-- | Make project by .cabal file
project :: FilePath -> Project
data ProjectDescription
ProjectDescription :: Text -> Maybe Library -> [Executable] -> [Test] -> ProjectDescription
[_projectVersion] :: ProjectDescription -> Text
[_projectLibrary] :: ProjectDescription -> Maybe Library
[_projectExecutables] :: ProjectDescription -> [Executable]
[_projectTests] :: ProjectDescription -> [Test]
projectVersion :: Lens' ProjectDescription Text
projectLibrary :: Lens' ProjectDescription (Maybe Library)
projectExecutables :: Lens' ProjectDescription [Executable]
projectTests :: Lens' ProjectDescription [Test]

-- | Build target infos
infos :: Traversal' ProjectDescription Info

-- | Build target infos, more detailed
targetInfos :: ProjectDescription -> [TargetInfo]
class Target a
targetName :: Target a => Traversal' a Text
buildInfo :: Target a => Lens' a Info
targetMain :: Target a => a -> Maybe Path
targetModules :: Target a => a -> [[Text]]
data TargetInfo
TargetInfo :: Maybe Text -> Info -> Maybe Path -> [[Text]] -> TargetInfo
[_targetInfoName] :: TargetInfo -> Maybe Text
[_targetBuildInfo] :: TargetInfo -> Info
[_targetInfoMain] :: TargetInfo -> Maybe Path
[_targetInfoModules] :: TargetInfo -> [[Text]]
targetInfoName :: Lens' TargetInfo (Maybe Text)
targetBuildInfo :: Lens' TargetInfo Info
targetInfoMain :: Lens' TargetInfo (Maybe Path)
targetInfoModules :: Lens' TargetInfo [[Text]]
targetInfo :: Target a => a -> TargetInfo

-- | Library in project
data Library
Library :: [[Text]] -> Info -> Library
[_libraryModules] :: Library -> [[Text]]
[_libraryBuildInfo] :: Library -> Info
libraryModules :: Lens' Library [[Text]]
libraryBuildInfo :: Lens' Library Info

-- | Executable
data Executable
Executable :: Text -> Path -> Info -> Executable
[_executableName] :: Executable -> Text
[_executablePath] :: Executable -> Path
[_executableBuildInfo] :: Executable -> Info
executableName :: Lens' Executable Text
executablePath :: Lens' Executable Path
executableBuildInfo :: Lens' Executable Info

-- | Test
data Test
Test :: Text -> Bool -> Maybe Path -> Info -> Test
[_testName] :: Test -> Text
[_testEnabled] :: Test -> Bool
[_testMain] :: Test -> Maybe Path
[_testBuildInfo] :: Test -> Info
testName :: Lens' Test Text
testEnabled :: Lens' Test Bool
testBuildInfo :: Lens' Test Info
testMain :: Lens' Test (Maybe Path)

-- | Build info
data Info
Info :: [Text] -> Maybe Language -> [Extension] -> [Text] -> [Path] -> [[Text]] -> Info
[_infoDepends] :: Info -> [Text]
[_infoLanguage] :: Info -> Maybe Language
[_infoExtensions] :: Info -> [Extension]
[_infoGHCOptions] :: Info -> [Text]
[_infoSourceDirs] :: Info -> [Path]
[_infoOtherModules] :: Info -> [[Text]]
infoDepends :: Lens' Info [Text]
infoLanguage :: Lens' Info (Maybe Language)
infoExtensions :: Lens' Info [Extension]
infoGHCOptions :: Lens' Info [Text]
infoSourceDirs :: Lens' Info [Path]
infoOtherModules :: Lens' Info [[Text]]

-- | Entity with project extensions
data Extensions a
Extensions :: [Extension] -> [Text] -> a -> Extensions a
[_extensions] :: Extensions a -> [Extension]
[_ghcOptions] :: Extensions a -> [Text]
[_entity] :: Extensions a -> a
extensions :: forall a_a19Au. Lens' (Extensions a_a19Au) [Extension]
ghcOptions :: forall a_a19Au. Lens' (Extensions a_a19Au) [Text]
entity :: forall a_a19Au a_a1aZ7. Lens (Extensions a_a19Au) (Extensions a_a1aZ7) a_a19Au a_a1aZ7
instance HsDev.Project.Types.Target HsDev.Project.Types.Library
instance HsDev.Project.Types.Target HsDev.Project.Types.Executable
instance HsDev.Project.Types.Target HsDev.Project.Types.Test
instance HsDev.Project.Types.Target HsDev.Project.Types.TargetInfo
instance GHC.Read.Read HsDev.Project.Types.Info
instance GHC.Classes.Eq HsDev.Project.Types.Info
instance GHC.Read.Read HsDev.Project.Types.Test
instance GHC.Classes.Eq HsDev.Project.Types.Test
instance GHC.Read.Read HsDev.Project.Types.Executable
instance GHC.Classes.Eq HsDev.Project.Types.Executable
instance GHC.Read.Read HsDev.Project.Types.Library
instance GHC.Classes.Eq HsDev.Project.Types.Library
instance GHC.Read.Read HsDev.Project.Types.ProjectDescription
instance GHC.Classes.Eq HsDev.Project.Types.ProjectDescription
instance GHC.Show.Show HsDev.Project.Types.TargetInfo
instance GHC.Classes.Ord HsDev.Project.Types.TargetInfo
instance GHC.Classes.Eq HsDev.Project.Types.TargetInfo
instance GHC.Show.Show a => GHC.Show.Show (HsDev.Project.Types.Extensions a)
instance GHC.Read.Read a => GHC.Read.Read (HsDev.Project.Types.Extensions a)
instance GHC.Classes.Eq a => GHC.Classes.Eq (HsDev.Project.Types.Extensions a)
instance GHC.Classes.Ord a => GHC.Classes.Ord (HsDev.Project.Types.Extensions a)
instance GHC.Base.Functor HsDev.Project.Types.Extensions
instance GHC.Base.Applicative HsDev.Project.Types.Extensions
instance Data.Foldable.Foldable HsDev.Project.Types.Extensions
instance Data.Traversable.Traversable HsDev.Project.Types.Extensions
instance System.Directory.Paths.Paths HsDev.Project.Types.TargetInfo
instance Control.DeepSeq.NFData HsDev.Project.Types.Project
instance GHC.Classes.Eq HsDev.Project.Types.Project
instance GHC.Classes.Ord HsDev.Project.Types.Project
instance GHC.Show.Show HsDev.Project.Types.Project
instance HsDev.Display.Display HsDev.Project.Types.Project
instance Text.Format.Formattable HsDev.Project.Types.Project
instance Data.Aeson.Types.ToJSON.ToJSON HsDev.Project.Types.Project
instance Data.Aeson.Types.FromJSON.FromJSON HsDev.Project.Types.Project
instance System.Directory.Paths.Paths HsDev.Project.Types.Project
instance GHC.Show.Show HsDev.Project.Types.ProjectDescription
instance Data.Aeson.Types.ToJSON.ToJSON HsDev.Project.Types.ProjectDescription
instance Data.Aeson.Types.FromJSON.FromJSON HsDev.Project.Types.ProjectDescription
instance System.Directory.Paths.Paths HsDev.Project.Types.ProjectDescription
instance GHC.Show.Show HsDev.Project.Types.Library
instance Data.Aeson.Types.ToJSON.ToJSON HsDev.Project.Types.Library
instance Data.Aeson.Types.FromJSON.FromJSON HsDev.Project.Types.Library
instance System.Directory.Paths.Paths HsDev.Project.Types.Library
instance GHC.Show.Show HsDev.Project.Types.Executable
instance Data.Aeson.Types.ToJSON.ToJSON HsDev.Project.Types.Executable
instance Data.Aeson.Types.FromJSON.FromJSON HsDev.Project.Types.Executable
instance System.Directory.Paths.Paths HsDev.Project.Types.Executable
instance GHC.Show.Show HsDev.Project.Types.Test
instance Data.Aeson.Types.ToJSON.ToJSON HsDev.Project.Types.Test
instance Data.Aeson.Types.FromJSON.FromJSON HsDev.Project.Types.Test
instance System.Directory.Paths.Paths HsDev.Project.Types.Test
instance GHC.Base.Semigroup HsDev.Project.Types.Info
instance GHC.Base.Monoid HsDev.Project.Types.Info
instance GHC.Classes.Ord HsDev.Project.Types.Info
instance GHC.Show.Show HsDev.Project.Types.Info
instance Data.Aeson.Types.ToJSON.ToJSON HsDev.Project.Types.Info
instance Data.Aeson.Types.FromJSON.FromJSON HsDev.Project.Types.Info
instance System.Directory.Paths.Paths HsDev.Project.Types.Info
instance Control.DeepSeq.NFData HsDev.Project.Types.Sandbox
instance GHC.Show.Show HsDev.Project.Types.Sandbox
instance HsDev.Display.Display HsDev.Project.Types.Sandbox
instance Text.Format.Formattable HsDev.Project.Types.Sandbox
instance Data.Aeson.Types.ToJSON.ToJSON HsDev.Project.Types.Sandbox
instance Data.Aeson.Types.FromJSON.FromJSON HsDev.Project.Types.Sandbox
instance System.Directory.Paths.Paths HsDev.Project.Types.Sandbox
instance Data.Aeson.Types.ToJSON.ToJSON Language.Haskell.Extension.Language
instance Data.Aeson.Types.FromJSON.FromJSON Language.Haskell.Extension.Language
instance Data.Aeson.Types.ToJSON.ToJSON Language.Haskell.Extension.Extension
instance Data.Aeson.Types.FromJSON.FromJSON Language.Haskell.Extension.Extension
instance GHC.Enum.Bounded HsDev.Project.Types.BuildTool
instance GHC.Enum.Enum HsDev.Project.Types.BuildTool
instance GHC.Show.Show HsDev.Project.Types.BuildTool
instance GHC.Read.Read HsDev.Project.Types.BuildTool
instance GHC.Classes.Ord HsDev.Project.Types.BuildTool
instance GHC.Classes.Eq HsDev.Project.Types.BuildTool
instance GHC.Classes.Ord HsDev.Project.Types.Sandbox
instance GHC.Classes.Eq HsDev.Project.Types.Sandbox
instance Control.DeepSeq.NFData HsDev.Project.Types.BuildTool
instance HsDev.Display.Display HsDev.Project.Types.BuildTool
instance Text.Format.Formattable HsDev.Project.Types.BuildTool
instance Data.Aeson.Types.ToJSON.ToJSON HsDev.Project.Types.BuildTool
instance Data.Aeson.Types.FromJSON.FromJSON HsDev.Project.Types.BuildTool

module HsDev.Symbols.Location

-- | Just package name and version without its location
data ModulePackage
ModulePackage :: Text -> Text -> ModulePackage
[_packageName] :: ModulePackage -> Text
[_packageVersion] :: ModulePackage -> Text
mkPackage :: Text -> ModulePackage
data PackageConfig
PackageConfig :: ModulePackage -> [Text] -> Bool -> PackageConfig
[_package] :: PackageConfig -> ModulePackage
[_packageModules] :: PackageConfig -> [Text]
[_packageExposed] :: PackageConfig -> Bool

-- | Location of module
data ModuleLocation
FileModule :: Path -> Maybe Project -> ModuleLocation
[_moduleFile] :: ModuleLocation -> Path
[_moduleProject] :: ModuleLocation -> Maybe Project
InstalledModule :: [Path] -> ModulePackage -> Text -> Bool -> ModuleLocation
[_moduleInstallDirs] :: ModuleLocation -> [Path]
[_modulePackage] :: ModuleLocation -> ModulePackage
[_installedModuleName] :: ModuleLocation -> Text
[_installedModuleExposed] :: ModuleLocation -> Bool
OtherLocation :: Text -> ModuleLocation
[_otherLocationName] :: ModuleLocation -> Text
NoLocation :: ModuleLocation
locationId :: ModuleLocation -> Text
noLocation :: ModuleLocation
data ModuleId
ModuleId :: Text -> ModuleLocation -> ModuleId
[_moduleName] :: ModuleId -> Text
[_moduleLocation] :: ModuleId -> ModuleLocation
moduleName :: Lens' ModuleId Text
moduleLocation :: Lens' ModuleId ModuleLocation

-- | Symbol
data SymbolId
SymbolId :: Text -> ModuleId -> SymbolId
[_symbolName] :: SymbolId -> Text
[_symbolModule] :: SymbolId -> ModuleId
symbolName :: Lens' SymbolId Text
symbolModule :: Lens' SymbolId ModuleId
data Position
Position :: Int -> Int -> Position
[_positionLine] :: Position -> Int
[_positionColumn] :: Position -> Int
data Region
Region :: Position -> Position -> Region
[_regionFrom] :: Region -> Position
[_regionTo] :: Region -> Position
region :: Position -> Position -> Region
regionAt :: Position -> Region
regionLines :: Region -> Int

-- | Get string at region
regionStr :: Region -> Text -> Text

-- | Location of symbol
data Location
Location :: ModuleLocation -> Maybe Position -> Location
[_locationModule] :: Location -> ModuleLocation
[_locationPosition] :: Location -> Maybe Position
packageName :: Lens' ModulePackage Text
packageVersion :: Lens' ModulePackage Text
package :: Lens' PackageConfig ModulePackage
packageModules :: Lens' PackageConfig [Text]
packageExposed :: Lens' PackageConfig Bool
moduleFile :: Traversal' ModuleLocation Path
moduleProject :: Traversal' ModuleLocation (Maybe Project)
moduleInstallDirs :: Traversal' ModuleLocation [Path]
modulePackage :: Traversal' ModuleLocation ModulePackage
installedModuleName :: Traversal' ModuleLocation Text
installedModuleExposed :: Traversal' ModuleLocation Bool
otherLocationName :: Traversal' ModuleLocation Text
positionLine :: Lens' Position Int
positionColumn :: Lens' Position Int
regionFrom :: Lens' Region Position
regionTo :: Lens' Region Position
locationModule :: Lens' Location ModuleLocation
locationPosition :: Lens' Location (Maybe Position)

-- | Get source module root directory, i.e. for "...srcFooBar.hs" with
--   module <a>Bar</a> will return "...src"
sourceModuleRoot :: Text -> Path -> Path

-- | Path to module source &gt;importPath <a>Quux.Blah</a> = "Quux/Blah.hs"
importPath :: Text -> Path

-- | Root of sources, package dir or root directory of standalone modules
sourceRoot :: ModuleId -> Maybe Path
sourceRoot_ :: ModuleId -> Path

-- | Recalc positions to interpret 't' as one symbol instead of N
class RecalcTabs a

-- | Interpret 't' as one symbol instead of N
recalcTabs :: RecalcTabs a => Text -> Int -> a -> a

-- | Inverse of <a>recalcTabs</a>: interpret 't' as N symbols instead of 1
calcTabs :: RecalcTabs a => Text -> Int -> a -> a
instance HsDev.Symbols.Location.RecalcTabs HsDev.Symbols.Location.Position
instance HsDev.Symbols.Location.RecalcTabs HsDev.Symbols.Location.Region
instance Control.DeepSeq.NFData HsDev.Symbols.Location.Location
instance GHC.Show.Show HsDev.Symbols.Location.Location
instance Data.Aeson.Types.ToJSON.ToJSON HsDev.Symbols.Location.Location
instance Data.Aeson.Types.FromJSON.FromJSON HsDev.Symbols.Location.Location
instance GHC.Classes.Ord HsDev.Symbols.Location.Location
instance GHC.Classes.Eq HsDev.Symbols.Location.Location
instance Control.DeepSeq.NFData HsDev.Symbols.Location.Region
instance GHC.Show.Show HsDev.Symbols.Location.Region
instance Data.Aeson.Types.ToJSON.ToJSON HsDev.Symbols.Location.Region
instance Data.Aeson.Types.FromJSON.FromJSON HsDev.Symbols.Location.Region
instance GHC.Read.Read HsDev.Symbols.Location.Region
instance GHC.Classes.Ord HsDev.Symbols.Location.Region
instance GHC.Classes.Eq HsDev.Symbols.Location.Region
instance Control.DeepSeq.NFData HsDev.Symbols.Location.Position
instance GHC.Show.Show HsDev.Symbols.Location.Position
instance Data.Aeson.Types.ToJSON.ToJSON HsDev.Symbols.Location.Position
instance Data.Aeson.Types.FromJSON.FromJSON HsDev.Symbols.Location.Position
instance GHC.Read.Read HsDev.Symbols.Location.Position
instance GHC.Classes.Ord HsDev.Symbols.Location.Position
instance GHC.Classes.Eq HsDev.Symbols.Location.Position
instance Control.DeepSeq.NFData HsDev.Symbols.Location.SymbolId
instance GHC.Show.Show HsDev.Symbols.Location.SymbolId
instance Data.Aeson.Types.ToJSON.ToJSON HsDev.Symbols.Location.SymbolId
instance Data.Aeson.Types.FromJSON.FromJSON HsDev.Symbols.Location.SymbolId
instance GHC.Classes.Ord HsDev.Symbols.Location.SymbolId
instance GHC.Classes.Eq HsDev.Symbols.Location.SymbolId
instance Control.DeepSeq.NFData HsDev.Symbols.Location.ModuleId
instance GHC.Show.Show HsDev.Symbols.Location.ModuleId
instance Data.Aeson.Types.ToJSON.ToJSON HsDev.Symbols.Location.ModuleId
instance Data.Aeson.Types.FromJSON.FromJSON HsDev.Symbols.Location.ModuleId
instance GHC.Classes.Ord HsDev.Symbols.Location.ModuleId
instance GHC.Classes.Eq HsDev.Symbols.Location.ModuleId
instance Control.DeepSeq.NFData HsDev.Symbols.Location.ModuleLocation
instance GHC.Show.Show HsDev.Symbols.Location.ModuleLocation
instance HsDev.Display.Display HsDev.Symbols.Location.ModuleLocation
instance Text.Format.Formattable HsDev.Symbols.Location.ModuleLocation
instance Data.Aeson.Types.ToJSON.ToJSON HsDev.Symbols.Location.ModuleLocation
instance Data.Aeson.Types.FromJSON.FromJSON HsDev.Symbols.Location.ModuleLocation
instance System.Directory.Paths.Paths HsDev.Symbols.Location.ModuleLocation
instance GHC.Classes.Eq HsDev.Symbols.Location.ModuleLocation
instance GHC.Classes.Ord HsDev.Symbols.Location.ModuleLocation
instance Control.DeepSeq.NFData HsDev.Symbols.Location.PackageConfig
instance Data.Aeson.Types.ToJSON.ToJSON HsDev.Symbols.Location.PackageConfig
instance Data.Aeson.Types.FromJSON.FromJSON HsDev.Symbols.Location.PackageConfig
instance GHC.Show.Show HsDev.Symbols.Location.PackageConfig
instance GHC.Read.Read HsDev.Symbols.Location.PackageConfig
instance GHC.Classes.Ord HsDev.Symbols.Location.PackageConfig
instance GHC.Classes.Eq HsDev.Symbols.Location.PackageConfig
instance Control.DeepSeq.NFData HsDev.Symbols.Location.ModulePackage
instance GHC.Show.Show HsDev.Symbols.Location.ModulePackage
instance GHC.Read.Read HsDev.Symbols.Location.ModulePackage
instance Data.Aeson.Types.ToJSON.ToJSON HsDev.Symbols.Location.ModulePackage
instance Data.Aeson.Types.FromJSON.FromJSON HsDev.Symbols.Location.ModulePackage
instance GHC.Classes.Ord HsDev.Symbols.Location.ModulePackage
instance GHC.Classes.Eq HsDev.Symbols.Location.ModulePackage

module HsDev.Types

-- | hsdev exception type
data HsDevError
HsDevFailure :: HsDevError
ModuleNotSource :: ModuleLocation -> HsDevError
BrowseNoModuleInfo :: String -> HsDevError
FileNotFound :: Path -> HsDevError
ToolNotFound :: String -> HsDevError
ProjectNotFound :: Text -> HsDevError
PackageNotFound :: Text -> HsDevError
ToolError :: String -> String -> HsDevError
NotInspected :: ModuleLocation -> HsDevError
InspectError :: String -> HsDevError
InspectCabalError :: FilePath -> String -> HsDevError
IOFailed :: String -> HsDevError
GhcError :: String -> HsDevError
RequestError :: String -> String -> HsDevError
ResponseError :: String -> String -> HsDevError
SQLiteError :: String -> HsDevError
OtherError :: String -> HsDevError
UnhandledError :: String -> HsDevError
instance Control.DeepSeq.NFData HsDev.Types.HsDevError
instance GHC.Show.Show HsDev.Types.HsDevError
instance GHC.Base.Semigroup HsDev.Types.HsDevError
instance GHC.Base.Monoid HsDev.Types.HsDevError
instance Text.Format.Formattable HsDev.Types.HsDevError
instance Data.Aeson.Types.ToJSON.ToJSON HsDev.Types.HsDevError
instance Data.Aeson.Types.FromJSON.FromJSON HsDev.Types.HsDevError
instance GHC.Exception.Type.Exception HsDev.Types.HsDevError

module HsDev.Server.Message

-- | Message with id to link request and response
data Message a
Message :: Maybe String -> a -> Message a
[_messageId] :: Message a -> Maybe String
[_message] :: Message a -> a
messageId :: forall a_a1zQ7. Lens' (Message a_a1zQ7) (Maybe String)
message :: forall a_a1zQ7 a_a1zVo. Lens (Message a_a1zQ7) (Message a_a1zVo) a_a1zQ7 a_a1zVo

-- | Get messages by id
messagesById :: Maybe String -> [Message a] -> [a]

-- | Notification from server
newtype Notification
Notification :: Value -> Notification

-- | Result from server
data Result

-- | Result
Result :: Value -> Result

-- | Error
Error :: HsDevError -> Result

-- | Part of result list, returns via notification
newtype ResultPart
ResultPart :: Value -> ResultPart
newtype Response
Response :: Either Notification Result -> Response
[unResponse] :: Response -> Either Notification Result
isNotification :: Response -> Bool
result :: ToJSON a => a -> Response
responseError :: HsDevError -> Response
groupResponses :: [Response] -> [([Notification], Result)]

-- | Decode lisp or json request
decodeMessage :: FromJSON a => ByteString -> Either (Msg String) (Msg (Message a))
encodeMessage :: ToJSON a => Msg (Message a) -> ByteString
instance GHC.Show.Show HsDev.Server.Message.Notification
instance GHC.Classes.Eq HsDev.Server.Message.Notification
instance GHC.Show.Show HsDev.Server.Message.Result
instance GHC.Show.Show HsDev.Server.Message.Response
instance Data.Aeson.Types.ToJSON.ToJSON HsDev.Server.Message.Response
instance Data.Aeson.Types.FromJSON.FromJSON HsDev.Server.Message.Response
instance Data.Aeson.Types.ToJSON.ToJSON HsDev.Server.Message.ResultPart
instance Data.Aeson.Types.FromJSON.FromJSON HsDev.Server.Message.ResultPart
instance Data.Aeson.Types.ToJSON.ToJSON HsDev.Server.Message.Result
instance Data.Aeson.Types.FromJSON.FromJSON HsDev.Server.Message.Result
instance Data.Aeson.Types.ToJSON.ToJSON HsDev.Server.Message.Notification
instance Data.Aeson.Types.FromJSON.FromJSON HsDev.Server.Message.Notification
instance Data.Aeson.Types.ToJSON.ToJSON a => Data.Aeson.Types.ToJSON.ToJSON (HsDev.Server.Message.Message a)
instance Data.Aeson.Types.FromJSON.FromJSON a => Data.Aeson.Types.FromJSON.FromJSON (HsDev.Server.Message.Message a)
instance Data.Foldable.Foldable HsDev.Server.Message.Message
instance Data.Traversable.Traversable HsDev.Server.Message.Message
instance GHC.Base.Functor HsDev.Server.Message.Message
instance GHC.Show.Show a => GHC.Show.Show (HsDev.Server.Message.Message a)
instance GHC.Classes.Ord a => GHC.Classes.Ord (HsDev.Server.Message.Message a)
instance GHC.Classes.Eq a => GHC.Classes.Eq (HsDev.Server.Message.Message a)

module HsDev.Error

-- | Throw <a>HsDevError</a>
hsdevError :: MonadThrow m => HsDevError -> m a

-- | Throw as <a>OtherError</a>
hsdevOtherError :: (Exception e, MonadThrow m) => e -> m a

-- | Throw as <a>OtherError</a>
hsdevLift :: MonadThrow m => ExceptT String m a -> m a

-- | Throw as some <a>HsDevError</a>
hsdevLiftWith :: MonadThrow m => (String -> HsDevError) -> ExceptT String m a -> m a
hsdevCatch :: MonadCatch m => m a -> m (Either HsDevError a)

-- | Rethrow IO exceptions as <a>HsDevError</a>
hsdevLiftIO :: MonadCatch m => m a -> m a

-- | Rethrow IO exceptions
hsdevLiftIOWith :: MonadCatch m => (String -> HsDevError) -> m a -> m a

-- | Ignore hsdev exception
hsdevIgnore :: MonadCatch m => a -> m a -> m a

-- | Handle hsdev exception
hsdevHandle :: MonadCatch m => (HsDevError -> m a) -> m a -> m a

module HsDev.Tools.Types

-- | Note severity
data Severity
Error :: Severity
Warning :: Severity
Hint :: Severity

-- | Note over some region
data Note a
Note :: ModuleLocation -> Region -> Maybe Severity -> a -> Note a
[_noteSource] :: Note a -> ModuleLocation
[_noteRegion] :: Note a -> Region
[_noteLevel] :: Note a -> Maybe Severity
[_note] :: Note a -> a
noteSource :: forall a_a1D3R. Lens' (Note a_a1D3R) ModuleLocation
noteRegion :: forall a_a1D3R. Lens' (Note a_a1D3R) Region
noteLevel :: forall a_a1D3R. Lens' (Note a_a1D3R) (Maybe Severity)
note :: forall a_a1D3R a_a1Dfc. Lens (Note a_a1D3R) (Note a_a1Dfc) a_a1D3R a_a1Dfc

-- | Output message from some tool (ghc, ghc-mod, hlint) with optional
--   suggestion
data OutputMessage
OutputMessage :: Text -> Maybe Text -> OutputMessage
[_message] :: OutputMessage -> Text
[_messageSuggestion] :: OutputMessage -> Maybe Text
message :: Lens' OutputMessage Text
messageSuggestion :: Lens' OutputMessage (Maybe Text)
outputMessage :: Text -> OutputMessage
instance GHC.Show.Show HsDev.Tools.Types.OutputMessage
instance GHC.Read.Read HsDev.Tools.Types.OutputMessage
instance GHC.Classes.Ord HsDev.Tools.Types.OutputMessage
instance GHC.Classes.Eq HsDev.Tools.Types.OutputMessage
instance Control.DeepSeq.NFData HsDev.Tools.Types.OutputMessage
instance Data.Aeson.Types.ToJSON.ToJSON HsDev.Tools.Types.OutputMessage
instance Data.Aeson.Types.FromJSON.FromJSON HsDev.Tools.Types.OutputMessage
instance GHC.Classes.Ord a => GHC.Classes.Ord (HsDev.Tools.Types.Note a)
instance GHC.Base.Functor HsDev.Tools.Types.Note
instance Control.DeepSeq.NFData a => Control.DeepSeq.NFData (HsDev.Tools.Types.Note a)
instance Data.Aeson.Types.ToJSON.ToJSON a => Data.Aeson.Types.ToJSON.ToJSON (HsDev.Tools.Types.Note a)
instance Data.Aeson.Types.FromJSON.FromJSON a => Data.Aeson.Types.FromJSON.FromJSON (HsDev.Tools.Types.Note a)
instance HsDev.Symbols.Location.RecalcTabs (HsDev.Tools.Types.Note a)
instance System.Directory.Paths.Paths (HsDev.Tools.Types.Note a)
instance GHC.Show.Show HsDev.Tools.Types.Severity
instance GHC.Read.Read HsDev.Tools.Types.Severity
instance GHC.Classes.Ord HsDev.Tools.Types.Severity
instance GHC.Classes.Eq HsDev.Tools.Types.Severity
instance GHC.Enum.Bounded HsDev.Tools.Types.Severity
instance GHC.Enum.Enum HsDev.Tools.Types.Severity
instance GHC.Show.Show a => GHC.Show.Show (HsDev.Tools.Types.Note a)
instance GHC.Classes.Eq a => GHC.Classes.Eq (HsDev.Tools.Types.Note a)
instance Control.DeepSeq.NFData HsDev.Tools.Types.Severity
instance Data.Aeson.Types.ToJSON.ToJSON HsDev.Tools.Types.Severity
instance Data.Aeson.Types.FromJSON.FromJSON HsDev.Tools.Types.Severity

module HsDev.Tools.Base

-- | Run tool, throwing HsDevError on fail
runTool :: FilePath -> [String] -> String -> IO String

-- | Run tool with not stdin
runTool_ :: FilePath -> [String] -> IO String
type Result = Either String String
type ToolM a = ExceptT String IO a

-- | Run command and wait for result
runWait :: FilePath -> [String] -> String -> IO Result

-- | Run command with no input
runWait_ :: FilePath -> [String] -> IO Result

-- | Tool
tool :: FilePath -> [String] -> String -> ToolM String

-- | Tool with no input
tool_ :: FilePath -> [String] -> ToolM String
matchRx :: String -> String -> Maybe (Int -> Maybe String)
splitRx :: String -> String -> [String]
replaceRx :: String -> String -> String -> String
at :: (Int -> Maybe a) -> Int -> a
at_ :: IsString s => (Int -> Maybe s) -> Int -> s

module HsDev.Tools.Cabal
data CabalPackage
CabalPackage :: String -> Maybe String -> Maybe Version -> [Version] -> Maybe String -> Maybe License -> CabalPackage
[cabalPackageName] :: CabalPackage -> String
[cabalPackageSynopsis] :: CabalPackage -> Maybe String
[cabalPackageDefaultVersion] :: CabalPackage -> Maybe Version
[cabalPackageInstalledVersions] :: CabalPackage -> [Version]
[cabalPackageHomepage] :: CabalPackage -> Maybe String
[cabalPackageLicense] :: CabalPackage -> Maybe License
cabalList :: [String] -> ToolM [CabalPackage]

-- | A <a>Version</a> represents the version of a software entity.
--   
--   Instances of <a>Eq</a> and <a>Ord</a> are provided, which gives exact
--   equality and lexicographic ordering of the version number components
--   (i.e. 2.1 &gt; 2.0, 1.2.3 &gt; 1.2.2, etc.).
--   
--   This type is opaque and distinct from the <a>Version</a> type in
--   <a>Data.Version</a> since <tt>Cabal-2.0</tt>. The difference extends
--   to the <a>Binary</a> instance using a different (and more compact)
--   encoding.
data Version

-- | Indicates the license under which a package's source code is released.
--   Versions of the licenses not listed here will be rejected by Hackage
--   and cause <tt>cabal check</tt> to issue a warning.
data License

-- | GNU General Public License, <a>version 2</a> or <a>version 3</a>.
GPL :: Maybe Version -> License

-- | <a>GNU Affero General Public License, version 3</a>.
AGPL :: Maybe Version -> License

-- | GNU Lesser General Public License, <a>version 2.1</a> or <a>version
--   3</a>.
LGPL :: Maybe Version -> License

-- | <a>2-clause BSD license</a>.
BSD2 :: License

-- | <a>3-clause BSD license</a>.
BSD3 :: License

-- | <a>4-clause BSD license</a>. This license has not been approved by the
--   OSI and is incompatible with the GNU GPL. It is provided for
--   historical reasons and should be avoided.
BSD4 :: License

-- | <a>MIT license</a>.
MIT :: License

-- | <a>ISC license</a>
ISC :: License

-- | <a>Mozilla Public License, version 2.0</a>.
MPL :: Version -> License

-- | <a>Apache License, version 2.0</a>.
Apache :: Maybe Version -> License

-- | The author of a package disclaims any copyright to its source code and
--   dedicates it to the public domain. This is not a software license.
--   Please note that it is not possible to dedicate works to the public
--   domain in every jurisdiction, nor is a work that is in the public
--   domain in one jurisdiction necessarily in the public domain elsewhere.
PublicDomain :: License

-- | Explicitly 'All Rights Reserved', eg for proprietary software. The
--   package may not be legally modified or redistributed by anyone but the
--   rightsholder.
AllRightsReserved :: License

-- | No license specified which legally defaults to 'All Rights Reserved'.
--   The package may not be legally modified or redistributed by anyone but
--   the rightsholder.
UnspecifiedLicense :: License

-- | Any other software license.
OtherLicense :: License

-- | Indicates an erroneous license name.
UnknownLicense :: String -> License
instance GHC.Show.Show HsDev.Tools.Cabal.CabalPackage
instance GHC.Read.Read HsDev.Tools.Cabal.CabalPackage
instance GHC.Classes.Eq HsDev.Tools.Cabal.CabalPackage
instance Data.Aeson.Types.ToJSON.ToJSON HsDev.Tools.Cabal.CabalPackage
instance Data.Aeson.Types.FromJSON.FromJSON HsDev.Tools.Cabal.CabalPackage

module HsDev.Tools.Tabs

-- | Some tools counts tab as 8 symbols and return such file positions;
--   convert them (consider tab = one symbol)
recalcNotesTabs :: Map Path Text -> [Note a] -> IO [Note a]

module HsDev.Tools.Refact
data Refact
Refact :: Text -> Replace Text -> Refact
[_refactMessage] :: Refact -> Text
[_refactAction] :: Refact -> Replace Text
refactMessage :: Lens' Refact Text
refactAction :: Lens' Refact (Replace Text)
refact :: [Refact] -> Text -> Text
update :: Regioned a => [Refact] -> [a] -> [a]

-- | Replace region with data
replace :: EditAction e s => Region -> s -> e s

-- | Cuts region
cut :: EditAction e s => Region -> e s

-- | Pastes <a>Contents</a> at some <a>Point</a>
paste :: EditAction e s => Point -> s -> e s
fromRegion :: Region -> Region
fromPosition :: Position -> Point
instance Data.Text.Region.Types.Regioned HsDev.Tools.Refact.Refact
instance GHC.Show.Show HsDev.Tools.Refact.Refact
instance GHC.Classes.Eq HsDev.Tools.Refact.Refact
instance GHC.Classes.Ord HsDev.Tools.Refact.Refact
instance Data.Aeson.Types.ToJSON.ToJSON HsDev.Tools.Refact.Refact
instance Data.Aeson.Types.FromJSON.FromJSON HsDev.Tools.Refact.Refact

module HsDev.Tools.AutoFix
corrections :: [Note OutputMessage] -> [Note Refact]
type CorrectorMatch = Note OutputMessage -> Maybe (Note Refact)
correctors :: [CorrectorMatch]
match :: String -> ((Int -> Maybe Text) -> Region -> Refact) -> CorrectorMatch
findCorrector :: Note OutputMessage -> Maybe (Note Refact)

-- | Lazily generate all elements of a <a>Cyclic</a> group using its
--   <a>generator</a>.
--   
--   <i>Note:</i> Fuses, terminates if the underlying group is finite.
generated' :: (Eq a, Cyclic a) => [a]

-- | Generate all elements of a <a>Cyclic</a> group using its
--   <a>generator</a>.
--   
--   <i>Note:</i> Fuses, does not terminate even for finite groups.
generated :: Cyclic a => [a]

-- | A <a>Group</a> is a <a>Monoid</a> plus a function, <a>invert</a>, such
--   that:
--   
--   <pre>
--   a &lt;&gt; invert a == mempty
--   </pre>
--   
--   <pre>
--   invert a &lt;&gt; a == mempty
--   </pre>
class Monoid m => Group m
invert :: Group m => m -> m

-- | Group subtraction: <tt>x ~~ y == x &lt;&gt; invert y</tt>
(~~) :: Group m => m -> m -> m

-- | <pre>
--   <a>pow</a> a n == a &lt;&gt; a &lt;&gt; ... &lt;&gt; a
--   </pre>
--   
--   <pre>
--   (n lots of a)
--   </pre>
--   
--   If n is negative, the result is inverted.
pow :: (Group m, Integral x) => m -> x -> m
infixl 7 ~~

-- | An <a>Abelian</a> group is a <a>Group</a> that follows the rule:
--   
--   <pre>
--   a &lt;&gt; b == b &lt;&gt; a
--   </pre>
class Group g => Abelian g

-- | A <a>Group</a> G is <a>Cyclic</a> if there exists an element x of G
--   such that for all y in G, there exists an n, such that
--   
--   <pre>
--   y = pow x n
--   </pre>
class Group a => Cyclic a

-- | The generator of the <a>Cyclic</a> group.
generator :: Cyclic a => a

-- | Get undo
undo :: Editable s => Edit s -> s -> Edit s

-- | <a>perform</a> for <a>Edit</a>
apply :: Editable s => Edit s -> s -> s

-- | Overwrites <a>Contents</a> at some <a>Point</a>
overwrite :: EditAction e s => Point -> s -> e s

-- | Pastes <a>Contents</a> at some <a>Point</a>
paste :: EditAction e s => Point -> s -> e s

-- | Cuts region
cut :: EditAction e s => Region -> e s

-- | Replace region with data
replace :: EditAction e s => Region -> s -> e s

-- | Update second region position as if it was data inserted at first
--   region (region sets insertion point and data size) Region tries not to
--   extend if data inserted at region bound except when region is empty
--   This allows define replace as cut and insert in special case when we
--   replace region itself
insertRegion :: Region -> Region -> Region

-- | Update second <a>Region</a> position as if it was data cutted at first
--   <a>Region</a>
cutRegion :: Region -> Region -> Region

-- | Opposite to <a>cutMap</a>
insertMap :: Region -> Map

-- | Cut <a>Region</a> mapping
cutMap :: Region -> Map
applyMap :: Map -> Region -> Region

-- | Does regions overlaps
overlaps :: Region -> Region -> Bool

-- | Get contents at <a>Region</a>
atRegion :: Editable s => Region -> Lens' (Contents s) (Contents s)

-- | Expand <a>Region</a> to contain full lines
expandLines :: Region -> Region

-- | Make <a>Region</a> by start position and <a>Size</a>
regionSize :: Point -> Size -> Region

-- | n'th line region, starts at the beginning of line and ends on the next
--   line
line :: Int -> Region

-- | Is <a>Region</a> empty
emptyRegion :: Region -> Bool
regionLines :: Lens' Region Int

-- | Distance of <tt>n</tt> lines
linesSize :: Int -> Size

-- | Region from one <a>Point</a> to another
till :: Point -> Point -> Region

-- | Regions length
regionLength :: Lens' Region Size

-- | <a>Point</a> at the beginning of line
lineStart :: Int -> Point

-- | <a>Point</a> at the beginning
start :: Point

-- | Make <a>Point</a> from line and column
pt :: Int -> Int -> Point
class Editable s => EditAction (e :: Type -> Type) s

-- | Make replace action over <a>Region</a> and <a>Contents</a>
replaceAction :: EditAction e s => Region -> Contents s -> e s

-- | Make <a>Map</a> from action
actionMap :: EditAction e s => e s -> Map

-- | Perform action, modifying <a>Contents</a>
perform :: EditAction e s => e s -> Contents s -> Contents s

-- | Get action undo
inversed :: EditAction e s => e s -> Contents s -> e s
replaces :: Iso (Edit s1) (Edit s2) [Replace s1] [Replace s2]
class Regioned a
regions :: Regioned a => Traversal' a Region
replaceWith :: Lens (Replace s1) (Replace s2) (Contents s1) (Contents s2)
replaceRegion :: Lens' (Replace s) Region

-- | Edit is several replace actions, applied simultaneously, must not
--   overlap
newtype Edit s
Edit :: [Replace s] -> Edit s
[_replaces] :: Edit s -> [Replace s]

-- | Contents <a>Size</a>
measure :: Editable s => Contents s -> Size
by :: Editable a => a -> Contents a

-- | Get <a>Contents</a> for some <a>Editable</a>, splitting lines
contents :: (Editable a, Editable b) => Iso a b (Contents a) (Contents b)

-- | Get splitted <a>Contents</a> at some <a>Point</a>
splitted :: Editable a => Point -> Iso' (Contents a) (Contents a, Contents a)

-- | Split <a>Contents</a> at some <a>Point</a>
splitCts :: Editable a => Point -> Contents a -> (Contents a, Contents a)
concatCts :: Monoid a => Contents a -> Contents a -> Contents a

-- | Empty contents are contents with one empty line
emptyContents :: Monoid a => Contents a
regionTo :: Lens' Region Point
regionFrom :: Lens' Region Point

-- | Main idea is that there are only two basic actions, that changes
--   regions: inserting and cutting When something is cutted out or
--   inserted in, <a>Region</a> positions must be updated All editings can
--   be represented as many cuts and inserts, so we can combine them to get
--   function which maps source regions to regions on updated data Because
--   insert is dual to cut (and therefore composes something like iso), we
--   can also get function to map regions back Combining this functions
--   while edit, we get function, that maps regions from source data to
--   edited one To get back function, we must also combine opposite
--   actions, or we can represent actions as <a>Iso</a> Same idea goes for
--   modifying contents, represent each action as isomorphism and combine
--   them together This works if we don't use overlapped regions
newtype Map
Map :: Iso' Region Region -> Map
[mapIso] :: Map -> Iso' Region Region

-- | Contents is list of lines, list must have at least one (maybe empty)
--   line
type Contents a = [a]

-- | Something editable, string types implements this
class Monoid a => Editable a

-- | Split editable at some position
splitContents :: Editable a => Int -> a -> (a, a)
contentsLength :: Editable a => a -> Int
splitLines :: Editable a => a -> [a]
joinLines :: Editable a => [a] -> a

-- | Serializable edit action
data Replace s
Replace :: Region -> Contents s -> Replace s

-- | <a>Region</a> to replace
[_replaceRegion] :: Replace s -> Region

-- | <a>Contents</a> to replace with
[_replaceWith] :: Replace s -> Contents s

-- | Opposite to <a>.-.</a>
--   
--   <pre>
--   (pt .-. base) .+. base = pt
--   </pre>
(.+.) :: Point -> Point -> Point

-- | <tt>pt .-. base</tt> is distance from <tt>base</tt> to <tt>pt</tt>
--   Distance can't be less then zero lines and columns
(.-.) :: Point -> Point -> Point

-- | As empty region
pointRegion :: Iso' Point Region
pointLine :: Lens' Point Int
pointColumn :: Lens' Point Int

-- | Distance between <a>Point</a>s is measured in lines and columns. And
--   it is defined, that distance between point at l:c and point (l + 1):0
--   is one line no matter c is because we need to go to new line to reach
--   destination point Columns are taken into account only if points are on
--   the same line
type Size = Point

-- | Point at text: zero-based line and column
data Point
Point :: Int -> Int -> Point
[_pointLine] :: Point -> Int
[_pointColumn] :: Point -> Int
instance Data.Text.Region.Types.Regioned a => Data.Text.Region.Types.Regioned (HsDev.Tools.Types.Note a)

module HsDev.Tools.HLint
hlint :: [String] -> FilePath -> Maybe Text -> ExceptT String IO [Note OutputMessage]
hlintSupported :: Bool
instance GHC.Classes.Ord HsDev.Tools.HLint.Indent
instance GHC.Classes.Eq HsDev.Tools.HLint.Indent
instance GHC.Show.Show HsDev.Tools.HLint.Indent

module HsDev.Tools.Ghc.Base

-- | Run ghc
ghcRun :: GhcMonad m => [String] -> m a -> m a

-- | Run ghc
ghcRunWith :: GhcMonad m => (DynFlags -> DynFlags) -> [String] -> m a -> m a
interpretedFlags :: DynFlags -> DynFlags
noLinkFlags :: DynFlags -> DynFlags

-- | Alter <tt>DynFlags</tt> temporary
withFlags :: GhcMonad m => m a -> m a

-- | Update <tt>DynFlags</tt>
modifyFlags :: GhcMonad m => (DynFlags -> DynFlags) -> m ()

-- | Clear loaded targets
clearTargets :: GhcMonad m => m ()

-- | Make target with its source code optional
makeTarget :: GhcMonad m => Text -> Maybe Text -> m Target

-- | Load all targets
loadTargets :: GhcMonad m => [Target] -> m ()

-- | Load and set interactive context
loadInteractive :: GhcMonad m => Path -> Maybe Text -> m ()

-- | Reload targets
reload :: GhcMonad m => m ()

-- | Collect messages from ghc for underlying computation
collectMessages :: GhcMonad m => m a -> m (a, [Note OutputMessage])

-- | Same as <tt>collectMessages</tt>, but when no result except notes
--   needed
collectMessages_ :: GhcMonad m => m () -> m [Note OutputMessage]

-- | Format type for output
formatType :: DynFlags -> Type -> String

-- | Get region of <tt>SrcSpan</tt>
spanRegion :: SrcSpan -> Region

-- | Set current directory and restore it after action
withCurrentDirectory :: GhcMonad m => FilePath -> m a -> m a

-- | Log ghc warnings and errors as to chan You may have to apply
--   recalcTabs on result notes
logToChan :: Chan (Note OutputMessage) -> LogAction

-- | Don't log ghc warnings and errors
logToNull :: LogAction

module HsDev.Tools.Ghc.Repl

-- | Import some modules
importModules :: GhcMonad m => [String] -> m ()

-- | Default interpreter modules
preludeModules :: [String]

-- | Evaluate expression
evaluate :: GhcMonad m => String -> m String

-- | Get expression type as string
expressionType :: GhcMonad m => String -> m String
data ReplResult a
ReplError :: String -> ReplResult a
ReplOk :: a -> ReplResult a
tryRepl :: (GhcMonad m, MonadCatch m) => m a -> m (ReplResult a)
instance GHC.Show.Show a => GHC.Show.Show (HsDev.Tools.Ghc.Repl.ReplResult a)
instance GHC.Read.Read a => GHC.Read.Read (HsDev.Tools.Ghc.Repl.ReplResult a)
instance GHC.Classes.Ord a => GHC.Classes.Ord (HsDev.Tools.Ghc.Repl.ReplResult a)
instance GHC.Classes.Eq a => GHC.Classes.Eq (HsDev.Tools.Ghc.Repl.ReplResult a)
instance Data.Aeson.Types.ToJSON.ToJSON a => Data.Aeson.Types.ToJSON.ToJSON (HsDev.Tools.Ghc.Repl.ReplResult a)
instance Data.Aeson.Types.FromJSON.FromJSON a => Data.Aeson.Types.FromJSON.FromJSON (HsDev.Tools.Ghc.Repl.ReplResult a)

module HsDev.Tools.Ghc.Worker
data SessionType
SessionGhci :: SessionType
SessionGhc :: SessionType
SessionHaddock :: SessionType
SessionTmp :: SessionType
data SessionConfig
SessionConfig :: SessionType -> PackageDbStack -> SessionConfig
type GhcM a = MGhcT SessionConfig (First DynFlags) (LogT IO) a
type GhcWorker = Worker (MGhcT SessionConfig (First DynFlags) (LogT IO))

-- | Multi-session ghc monad
newtype MGhcT s d m a
MGhcT :: GhcT (ReaderT (Maybe FilePath) (StateT (SessionState s d) m)) a -> MGhcT s d m a
[unMGhcT] :: MGhcT s d m a -> GhcT (ReaderT (Maybe FilePath) (StateT (SessionState s d) m)) a
runGhcM :: MonadLog m => Maybe FilePath -> GhcM a -> m a

-- | Multi-session ghc worker
ghcWorker :: MonadLog m => m GhcWorker

-- | Create session with options
workerSession :: SessionType -> PackageDbStack -> [String] -> GhcM ()

-- | Get ghc session
ghcSession :: PackageDbStack -> [String] -> GhcM ()

-- | Get ghci session
ghciSession :: GhcM ()

-- | Get haddock session with flags
haddockSession :: PackageDbStack -> [String] -> GhcM ()

-- | Get haddock session with flags
tmpSession :: PackageDbStack -> [String] -> GhcM ()

-- | A minimal implementation of a <a>GhcMonad</a>. If you need a custom
--   monad, e.g., to maintain additional state consider wrapping this monad
--   or using <a>GhcT</a>.
data Ghc a
newtype LogT (m :: Type -> Type) a
LogT :: ReaderT Log m a -> LogT (m :: Type -> Type) a
[runLogT] :: LogT (m :: Type -> Type) a -> ReaderT Log m a
instance GHC.Classes.Ord HsDev.Tools.Ghc.Worker.SessionType
instance GHC.Classes.Eq HsDev.Tools.Ghc.Worker.SessionType
instance GHC.Classes.Ord HsDev.Tools.Ghc.Worker.SessionConfig
instance GHC.Classes.Eq HsDev.Tools.Ghc.Worker.SessionConfig
instance GHC.Show.Show HsDev.Tools.Ghc.Worker.SessionConfig
instance Text.Format.Formattable HsDev.Tools.Ghc.Worker.SessionConfig
instance GHC.Show.Show HsDev.Tools.Ghc.Worker.SessionType
instance Text.Format.Formattable HsDev.Tools.Ghc.Worker.SessionType
instance (GHC.Base.Monad m, GhcMonad.GhcMonad m) => GhcMonad.GhcMonad (Control.Monad.Trans.Reader.ReaderT r m)
instance Exception.ExceptionMonad m => Exception.ExceptionMonad (System.Log.Simple.Monad.LogT m)
instance Control.Monad.Catch.MonadThrow GhcMonad.Ghc

module HsDev.Tools.Ghc.System
data BuildInfo
BuildInfo :: String -> String -> String -> String -> String -> BuildInfo
[targetArch] :: BuildInfo -> String
[targetOS] :: BuildInfo -> String
[cabalOS] :: BuildInfo -> String
[compilerName] :: BuildInfo -> String
[compilerVersion] :: BuildInfo -> String
buildInfo :: DynFlags -> BuildInfo
examineCompilerVersion :: DynFlags -> String

-- | Can contain {arch}, {os}/{platform}, {compiler}, {version}
formatBuildPath :: String -> BuildInfo -> String
buildPath :: String -> GhcM FilePath

module HsDev.Symbols.Parsed

-- | Annotation of parsed and resolved nodes
type Ann = Scoped SrcSpanInfo

-- | Parsed and resolved module
type Parsed = Module Ann

-- | Get all qualified names
qnames :: Data (ast Ann) => Traversal' (ast Ann) (QName Ann)

-- | Get all names
names :: Data (ast Ann) => Traversal' (ast Ann) (Name Ann)

-- | Get all binders
binders :: Annotated ast => Traversal' (ast Ann) (ast Ann)

-- | Get all names locally defined
locals :: Annotated ast => Traversal' (ast Ann) (ast Ann)

-- | Get all names, references global symbol
globals :: Annotated ast => Traversal' (ast Ann) (ast Ann)

-- | Get all resolved references
references :: Annotated ast => Traversal' (ast Ann) (ast Ann)

-- | Get all names with not in scope error
unresolveds :: Annotated ast => Traversal' (ast Ann) (ast Ann)

-- | Get all usages of symbol
usages :: Annotated ast => Name -> Traversal' (ast Ann) (ast Ann)

-- | Get usages of symbols with unqualified name
named :: Annotated ast => Text -> Traversal' (ast Ann) (ast Ann)

-- | Get imports
imports :: Data (ast Ann) => Traversal' (ast Ann) (ImportDecl Ann)

-- | Get declarations
declarations :: Data (ast Ann) => Traversal' (ast Ann) (Decl Ann)

-- | Get module names
moduleNames :: Data (ast Ann) => Traversal' (ast Ann) (ModuleName Ann)

-- | Get annotation
annL :: Annotated ast => Lens' (ast a) a

-- | Get haskell-names symbols
symbolL :: Data a => Traversal' a Symbol

-- | Get source file
file :: Annotated ast => Lens' (ast Ann) FilePath

-- | Get source location
pos :: (Annotated ast, SrcInfo isrc, Data isrc) => Lens' (ast isrc) Position

-- | Definition position, if binder - returns current position
defPos :: Annotated ast => Traversal' (ast Ann) Position

-- | Resolved global name
resolvedName :: Annotated ast => Traversal' (ast Ann) Name

-- | Does ast node binds something
isBinder :: Annotated ast => ast Ann -> Bool

-- | Does ast node locally defined
isLocal :: Annotated ast => ast Ann -> Bool

-- | Does ast node reference something
isGlobal :: Annotated ast => ast Ann -> Bool

-- | Does ast node reference something
isReference :: Annotated ast => ast Ann -> Bool

-- | Is ast node not resolved
isUnresolved :: Annotated ast => ast Ann -> Bool

-- | Resolve error
resolveError :: Annotated ast => ast Ann -> Maybe String

-- | Node references to specified symbol
refsTo :: Annotated ast => Name -> ast Ann -> Bool

-- | Node references to specified unqualified name
refsToName :: Annotated ast => Text -> ast Ann -> Bool
nameInfoL :: Lens' (Scoped a) (NameInfo a)
positionL :: (SrcInfo isrc, Data isrc) => Lens' isrc Position
regionL :: Annotated ast => Lens' (ast Ann) Region
fileL :: (SrcInfo isrc, Data isrc) => Lens' isrc FilePath

-- | Get <a>Symbol</a> as <a>Name</a>
symbolNameL :: Lens' Symbol Name

-- | pretty-print with the default style and <a>defaultMode</a>.
prettyPrint :: Pretty a => a -> String

module HsDev.Symbols.Class
class Sourced a
sourcedName :: Sourced a => Lens' a Text
sourcedDocs :: Sourced a => Traversal' a Text
sourcedModule :: Sourced a => Lens' a ModuleId
sourcedLocation :: Sourced a => Traversal' a Position
sourcedModuleName :: Sourced a => Lens' a Text
instance HsDev.Symbols.Class.Sourced HsDev.Symbols.Location.ModuleId
instance HsDev.Symbols.Class.Sourced HsDev.Symbols.Location.SymbolId

module HsDev.Symbols.Documented

-- | Documented symbol
class Documented a
brief :: Documented a => a -> Text
detailed :: Documented a => a -> Text
detailed :: (Documented a, Sourced a) => a -> Text

-- | Default detailed docs
defaultDetailed :: (Sourced a, Documented a) => a -> [Text]
instance HsDev.Symbols.Documented.Documented HsDev.Symbols.Location.ModulePackage
instance HsDev.Symbols.Documented.Documented HsDev.Symbols.Location.ModuleLocation
instance HsDev.Symbols.Documented.Documented HsDev.Project.Types.Project

module HsDev.Project

-- | infoSourceDirs lens with default
infoSourceDirsDef :: Lens' Info [Path]

-- | Get all source file names of target without prepending them with
--   source-dirs
targetFiles :: Target t => t -> [Path]

-- | Get all source file names relative to project root
projectTargetFiles :: (MonadLog m, Target t) => Project -> t -> m [Path]

-- | Analyze cabal file
analyzeCabal :: String -> Either String ProjectDescription

-- | Read project info from .cabal
readProject :: FilePath -> IO Project

-- | Load project description
loadProject :: Project -> IO Project

-- | Extensions for target
withExtensions :: a -> Info -> Extensions a

-- | Check if source related to target, source must be relative to project
--   directory
fileInTarget :: Path -> Info -> Bool

-- | Get first target for source file
fileTarget :: Project -> Path -> Maybe Info

-- | Get possible targets for source file There can be many candidates in
--   case of module related to several executables or tests
fileTargets :: Project -> Path -> [Info]

-- | Finds source dir file belongs to
findSourceDir :: Project -> Path -> Maybe (Extensions Path)

-- | Returns source dirs for library, executables and tests
sourceDirs :: ProjectDescription -> [Extensions Path]

-- | Get options for specific target
targetOpts :: Info -> [String]

-- | Extension as flag name
showExtension :: Extension -> String

-- | Convert -Xext to ext
flagExtension :: String -> Maybe String

-- | Convert ext to -Xext
extensionFlag :: String -> String

-- | Extensions as opts to GHC
extensionsOpts :: Extensions a -> [String]

module HsDev.Symbols.Types

-- | Import
data Import
Import :: Position -> Text -> Bool -> Maybe Text -> Import
[_importPosition] :: Import -> Position
[_importName] :: Import -> Text
[_importQualified] :: Import -> Bool
[_importAs] :: Import -> Maybe Text
importPosition :: Lens' Import Position
importName :: Lens' Import Text
importQualified :: Lens' Import Bool
importAs :: Lens' Import (Maybe Text)

-- | Module
data Module
Module :: ModuleId -> Maybe Text -> [Import] -> [Symbol] -> [Fixity] -> Map Name [Symbol] -> Maybe Parsed -> Module
[_moduleId] :: Module -> ModuleId
[_moduleDocs] :: Module -> Maybe Text
[_moduleImports] :: Module -> [Import]
[_moduleExports] :: Module -> [Symbol]
[_moduleFixities] :: Module -> [Fixity]
[_moduleScope] :: Module -> Map Name [Symbol]
[_moduleSource] :: Module -> Maybe Parsed

-- | Make each symbol appear only once
moduleSymbols :: Traversal' Module Symbol
exportedSymbols :: Traversal' Module Symbol
scopeSymbols :: Traversal' Module (Symbol, [Name])
fixitiesMap :: Lens' Module (Map Name Fixity)
moduleFixities :: Lens' Module [Fixity]
moduleId :: Lens' Module ModuleId
moduleDocs :: Lens' Module (Maybe Text)
moduleImports :: Lens' Module [Import]
moduleExports :: Lens' Module [Symbol]
moduleScope :: Lens' Module (Map Name [Symbol])
moduleSource :: Lens' Module (Maybe Parsed)
data Symbol
Symbol :: SymbolId -> Maybe Text -> Maybe Position -> SymbolInfo -> Symbol
[_symbolId] :: Symbol -> SymbolId
[_symbolDocs] :: Symbol -> Maybe Text
[_symbolPosition] :: Symbol -> Maybe Position
[_symbolInfo] :: Symbol -> SymbolInfo
symbolId :: Lens' Symbol SymbolId
symbolDocs :: Lens' Symbol (Maybe Text)
symbolPosition :: Lens' Symbol (Maybe Position)
symbolInfo :: Lens' Symbol SymbolInfo
data SymbolInfo
Function :: Maybe Text -> SymbolInfo
[_functionType] :: SymbolInfo -> Maybe Text
Method :: Maybe Text -> Text -> SymbolInfo
[_functionType] :: SymbolInfo -> Maybe Text
[_parentClass] :: SymbolInfo -> Text
Selector :: Maybe Text -> Text -> [Text] -> SymbolInfo
[_functionType] :: SymbolInfo -> Maybe Text
[_parentType] :: SymbolInfo -> Text
[_selectorConstructors] :: SymbolInfo -> [Text]
Constructor :: [Text] -> Text -> SymbolInfo
[_typeArgs] :: SymbolInfo -> [Text]
[_parentType] :: SymbolInfo -> Text
Type :: [Text] -> [Text] -> SymbolInfo
[_typeArgs] :: SymbolInfo -> [Text]
[_typeContext] :: SymbolInfo -> [Text]
NewType :: [Text] -> [Text] -> SymbolInfo
[_typeArgs] :: SymbolInfo -> [Text]
[_typeContext] :: SymbolInfo -> [Text]
Data :: [Text] -> [Text] -> SymbolInfo
[_typeArgs] :: SymbolInfo -> [Text]
[_typeContext] :: SymbolInfo -> [Text]
Class :: [Text] -> [Text] -> SymbolInfo
[_typeArgs] :: SymbolInfo -> [Text]
[_typeContext] :: SymbolInfo -> [Text]
TypeFam :: [Text] -> [Text] -> Maybe Text -> SymbolInfo
[_typeArgs] :: SymbolInfo -> [Text]
[_typeContext] :: SymbolInfo -> [Text]
[_familyAssociate] :: SymbolInfo -> Maybe Text
DataFam :: [Text] -> [Text] -> Maybe Text -> SymbolInfo
[_typeArgs] :: SymbolInfo -> [Text]
[_typeContext] :: SymbolInfo -> [Text]
[_familyAssociate] :: SymbolInfo -> Maybe Text
PatConstructor :: [Text] -> Maybe Text -> SymbolInfo
[_typeArgs] :: SymbolInfo -> [Text]
[_patternType] :: SymbolInfo -> Maybe Text
PatSelector :: Maybe Text -> Maybe Text -> Text -> SymbolInfo
[_functionType] :: SymbolInfo -> Maybe Text
[_patternType] :: SymbolInfo -> Maybe Text
[_patternConstructor] :: SymbolInfo -> Text
functionType :: Traversal' SymbolInfo (Maybe Text)
parentClass :: Traversal' SymbolInfo Text
parentType :: Traversal' SymbolInfo Text
selectorConstructors :: Traversal' SymbolInfo [Text]
typeArgs :: Traversal' SymbolInfo [Text]
typeContext :: Traversal' SymbolInfo [Text]
familyAssociate :: Traversal' SymbolInfo (Maybe Text)
symbolInfoType :: SymbolInfo -> String
symbolType :: Symbol -> String
patternType :: Traversal' SymbolInfo (Maybe Text)
patternConstructor :: Traversal' SymbolInfo Text

-- | Scoped entity with qualifier
data Scoped a
Scoped :: Maybe Text -> a -> Scoped a
[_scopeQualifier] :: Scoped a -> Maybe Text
[_scoped] :: Scoped a -> a
scopeQualifier :: forall a_a26Yn. Lens' (Scoped a_a26Yn) (Maybe Text)
scoped :: forall a_a26Yn a_a2a9L. Lens (Scoped a_a26Yn) (Scoped a_a2a9L) a_a26Yn a_a2a9L

-- | Symbol usage
data SymbolUsage
SymbolUsage :: Symbol -> Maybe Text -> ModuleId -> Region -> SymbolUsage
[_symbolUsed] :: SymbolUsage -> Symbol
[_symbolUsedQualifier] :: SymbolUsage -> Maybe Text
[_symbolUsedIn] :: SymbolUsage -> ModuleId
[_symbolUsedRegion] :: SymbolUsage -> Region
symbolUsed :: Lens' SymbolUsage Symbol
symbolUsedQualifier :: Lens' SymbolUsage (Maybe Text)
symbolUsedIn :: Lens' SymbolUsage ModuleId
symbolUsedRegion :: Lens' SymbolUsage Region

-- | Symbol with module it's exported from
data ImportedSymbol
ImportedSymbol :: Symbol -> ModuleId -> ImportedSymbol
[_importedSymbol] :: ImportedSymbol -> Symbol
[_importedFrom] :: ImportedSymbol -> ModuleId
importedSymbol :: Lens' ImportedSymbol Symbol
importedFrom :: Lens' ImportedSymbol ModuleId
infoOf :: EmptySymbolInfo a => a -> SymbolInfo
nullifyInfo :: SymbolInfo -> SymbolInfo

-- | Inspection data
data Inspection

-- | No inspection
InspectionNone :: Inspection

-- | Time and flags of inspection
InspectionAt :: POSIXTime -> [Text] -> Inspection
[_inspectionAt] :: Inspection -> POSIXTime
[_inspectionOpts] :: Inspection -> [Text]
inspectionAt :: Traversal' Inspection POSIXTime
inspectionOpts :: Traversal' Inspection [Text]

-- | Is left <tt>Inspection</tt> fresh comparing to right one
fresh :: Inspection -> Inspection -> Bool

-- | Inspected entity
data Inspected k t a
Inspected :: Inspection -> k -> Set t -> Either HsDevError a -> Inspected k t a
[_inspection] :: Inspected k t a -> Inspection
[_inspectedKey] :: Inspected k t a -> k
[_inspectionTags] :: Inspected k t a -> Set t
[_inspectionResult] :: Inspected k t a -> Either HsDevError a
inspection :: forall k_a26Yk t_a26Yl a_a26Ym. Lens' (Inspected k_a26Yk t_a26Yl a_a26Ym) Inspection
inspectedKey :: forall k_a26Yk t_a26Yl a_a26Ym k_a2aer. Lens (Inspected k_a26Yk t_a26Yl a_a26Ym) (Inspected k_a2aer t_a26Yl a_a26Ym) k_a26Yk k_a2aer
inspectionTags :: forall k_a26Yk t_a26Yl a_a26Ym t_a2aet. Lens (Inspected k_a26Yk t_a26Yl a_a26Ym) (Inspected k_a26Yk t_a2aet a_a26Ym) (Set t_a26Yl) (Set t_a2aet)
inspectionResult :: forall k_a26Yk t_a26Yl a_a26Ym a_a2aes. Lens (Inspected k_a26Yk t_a26Yl a_a26Ym) (Inspected k_a26Yk t_a26Yl a_a2aes) (Either HsDevError a_a26Ym) (Either HsDevError a_a2aes)
inspected :: Traversal (Inspected k t a) (Inspected k t b) a b
newtype InspectM k t m a
InspectM :: ReaderT k (ExceptT HsDevError (StateT (Inspection, Set t) m)) a -> InspectM k t m a
[runInspectM] :: InspectM k t m a -> ReaderT k (ExceptT HsDevError (StateT (Inspection, Set t) m)) a
runInspect :: (Monad m, Ord t) => k -> InspectM k t m a -> m (Inspected k t a)

-- | Continue inspection
continueInspect :: (Monad m, Ord t) => Inspected k t a -> (a -> InspectM k t m b) -> m (Inspected k t b)
inspect :: MonadCatch m => m Inspection -> (k -> m a) -> InspectM k t m a
inspect_ :: MonadCatch m => m Inspection -> m a -> InspectM k t m a
withInspection :: MonadCatch m => m Inspection -> InspectM k t m a -> InspectM k t m a
inspectedTup :: Inspected k t a -> (Inspection, k, Set t, Maybe a)

-- | Empty tags
noTags :: Set t

-- | One tag
tag :: t -> Set t
data ModuleTag
InferredTypesTag :: ModuleTag
RefinedDocsTag :: ModuleTag
OnlyHeaderTag :: ModuleTag
DirtyTag :: ModuleTag
ResolvedNamesTag :: ModuleTag

-- | Inspected module
type InspectedModule = Inspected ModuleLocation ModuleTag Module
notInspected :: ModuleLocation -> InspectedModule
instance HsDev.Symbols.Class.Sourced HsDev.Symbols.Types.Module
instance HsDev.Symbols.Class.Sourced HsDev.Symbols.Types.Symbol
instance GHC.Classes.Ord HsDev.Symbols.Types.Import
instance GHC.Classes.Eq HsDev.Symbols.Types.Import
instance GHC.Show.Show HsDev.Symbols.Types.SymbolInfo
instance GHC.Read.Read HsDev.Symbols.Types.SymbolInfo
instance GHC.Classes.Ord HsDev.Symbols.Types.SymbolInfo
instance GHC.Classes.Eq HsDev.Symbols.Types.SymbolInfo
instance GHC.Classes.Ord a => GHC.Classes.Ord (HsDev.Symbols.Types.Scoped a)
instance GHC.Classes.Eq a => GHC.Classes.Eq (HsDev.Symbols.Types.Scoped a)
instance GHC.Classes.Ord HsDev.Symbols.Types.SymbolUsage
instance GHC.Classes.Eq HsDev.Symbols.Types.SymbolUsage
instance GHC.Classes.Ord HsDev.Symbols.Types.ImportedSymbol
instance GHC.Classes.Eq HsDev.Symbols.Types.ImportedSymbol
instance GHC.Classes.Ord HsDev.Symbols.Types.Inspection
instance GHC.Classes.Eq HsDev.Symbols.Types.Inspection
instance GHC.Base.Monad m => Control.Monad.State.Class.MonadState (HsDev.Symbols.Types.Inspection, Data.Set.Internal.Set t) (HsDev.Symbols.Types.InspectM k t m)
instance GHC.Base.Monad m => Control.Monad.Error.Class.MonadError HsDev.Types.HsDevError (HsDev.Symbols.Types.InspectM k t m)
instance GHC.Base.Monad m => Control.Monad.Reader.Class.MonadReader k (HsDev.Symbols.Types.InspectM k t m)
instance Control.Monad.Catch.MonadCatch m => Control.Monad.Catch.MonadCatch (HsDev.Symbols.Types.InspectM k t m)
instance Control.Monad.Catch.MonadThrow m => Control.Monad.Catch.MonadThrow (HsDev.Symbols.Types.InspectM k t m)
instance Control.Monad.IO.Class.MonadIO m => Control.Monad.IO.Class.MonadIO (HsDev.Symbols.Types.InspectM k t m)
instance GHC.Base.Monad m => GHC.Base.MonadPlus (HsDev.Symbols.Types.InspectM k t m)
instance GHC.Base.Monad m => GHC.Base.Monad (HsDev.Symbols.Types.InspectM k t m)
instance GHC.Base.Monad m => GHC.Base.Alternative (HsDev.Symbols.Types.InspectM k t m)
instance GHC.Base.Monad m => GHC.Base.Applicative (HsDev.Symbols.Types.InspectM k t m)
instance GHC.Base.Functor m => GHC.Base.Functor (HsDev.Symbols.Types.InspectM k t m)
instance GHC.Enum.Bounded HsDev.Symbols.Types.ModuleTag
instance GHC.Enum.Enum HsDev.Symbols.Types.ModuleTag
instance GHC.Show.Show HsDev.Symbols.Types.ModuleTag
instance GHC.Read.Read HsDev.Symbols.Types.ModuleTag
instance GHC.Classes.Ord HsDev.Symbols.Types.ModuleTag
instance GHC.Classes.Eq HsDev.Symbols.Types.ModuleTag
instance GHC.Show.Show HsDev.Symbols.Types.InspectedModule
instance Control.DeepSeq.NFData HsDev.Symbols.Types.ModuleTag
instance HsDev.Display.Display HsDev.Symbols.Types.ModuleTag
instance Data.Aeson.Types.ToJSON.ToJSON HsDev.Symbols.Types.ModuleTag
instance Data.Aeson.Types.FromJSON.FromJSON HsDev.Symbols.Types.ModuleTag
instance Control.Monad.Trans.Class.MonadTrans (HsDev.Symbols.Types.InspectM k t)
instance (GHC.Classes.Eq k, GHC.Classes.Eq t, GHC.Classes.Eq a) => GHC.Classes.Eq (HsDev.Symbols.Types.Inspected k t a)
instance (GHC.Classes.Ord k, GHC.Classes.Ord t, GHC.Classes.Ord a) => GHC.Classes.Ord (HsDev.Symbols.Types.Inspected k t a)
instance GHC.Base.Functor (HsDev.Symbols.Types.Inspected k t)
instance Data.Foldable.Foldable (HsDev.Symbols.Types.Inspected k t)
instance Data.Traversable.Traversable (HsDev.Symbols.Types.Inspected k t)
instance (Control.DeepSeq.NFData k, Control.DeepSeq.NFData t, Control.DeepSeq.NFData a) => Control.DeepSeq.NFData (HsDev.Symbols.Types.Inspected k t a)
instance (Data.Aeson.Types.ToJSON.ToJSON k, Data.Aeson.Types.ToJSON.ToJSON t, Data.Aeson.Types.ToJSON.ToJSON a) => Data.Aeson.Types.ToJSON.ToJSON (HsDev.Symbols.Types.Inspected k t a)
instance (Data.Aeson.Types.FromJSON.FromJSON k, GHC.Classes.Ord t, Data.Aeson.Types.FromJSON.FromJSON t, Data.Aeson.Types.FromJSON.FromJSON a) => Data.Aeson.Types.FromJSON.FromJSON (HsDev.Symbols.Types.Inspected k t a)
instance Control.DeepSeq.NFData HsDev.Symbols.Types.Inspection
instance GHC.Show.Show HsDev.Symbols.Types.Inspection
instance GHC.Base.Semigroup HsDev.Symbols.Types.Inspection
instance GHC.Base.Monoid HsDev.Symbols.Types.Inspection
instance Data.Aeson.Types.ToJSON.ToJSON HsDev.Symbols.Types.Inspection
instance Data.Aeson.Types.FromJSON.FromJSON HsDev.Symbols.Types.Inspection
instance GHC.Show.Show HsDev.Symbols.Types.ImportedSymbol
instance Data.Aeson.Types.ToJSON.ToJSON HsDev.Symbols.Types.ImportedSymbol
instance Data.Aeson.Types.FromJSON.FromJSON HsDev.Symbols.Types.ImportedSymbol
instance GHC.Show.Show HsDev.Symbols.Types.SymbolUsage
instance Data.Aeson.Types.ToJSON.ToJSON HsDev.Symbols.Types.SymbolUsage
instance Data.Aeson.Types.FromJSON.FromJSON HsDev.Symbols.Types.SymbolUsage
instance GHC.Show.Show a => GHC.Show.Show (HsDev.Symbols.Types.Scoped a)
instance Data.Aeson.Types.ToJSON.ToJSON a => Data.Aeson.Types.ToJSON.ToJSON (HsDev.Symbols.Types.Scoped a)
instance Data.Aeson.Types.FromJSON.FromJSON a => Data.Aeson.Types.FromJSON.FromJSON (HsDev.Symbols.Types.Scoped a)
instance HsDev.Symbols.Types.EmptySymbolInfo HsDev.Symbols.Types.SymbolInfo
instance (GHC.Base.Monoid a, HsDev.Symbols.Types.EmptySymbolInfo r) => HsDev.Symbols.Types.EmptySymbolInfo (a -> r)
instance Data.Aeson.Types.ToJSON.ToJSON HsDev.Symbols.Types.Module
instance Data.Aeson.Types.FromJSON.FromJSON HsDev.Symbols.Types.Module
instance Control.DeepSeq.NFData HsDev.Symbols.Types.Module
instance GHC.Classes.Eq HsDev.Symbols.Types.Module
instance GHC.Classes.Ord HsDev.Symbols.Types.Module
instance GHC.Show.Show HsDev.Symbols.Types.Module
instance HsDev.Symbols.Documented.Documented HsDev.Symbols.Types.Module
instance GHC.Classes.Eq HsDev.Symbols.Types.Symbol
instance GHC.Classes.Ord HsDev.Symbols.Types.Symbol
instance Control.DeepSeq.NFData HsDev.Symbols.Types.Symbol
instance GHC.Show.Show HsDev.Symbols.Types.Symbol
instance Data.Aeson.Types.ToJSON.ToJSON HsDev.Symbols.Types.Symbol
instance Data.Aeson.Types.FromJSON.FromJSON HsDev.Symbols.Types.Symbol
instance HsDev.Symbols.Documented.Documented HsDev.Symbols.Types.Symbol
instance Control.DeepSeq.NFData HsDev.Symbols.Types.SymbolInfo
instance Data.Aeson.Types.ToJSON.ToJSON HsDev.Symbols.Types.SymbolInfo
instance Data.Aeson.Types.FromJSON.FromJSON HsDev.Symbols.Types.SymbolInfo
instance Control.DeepSeq.NFData HsDev.Symbols.Types.Import
instance GHC.Show.Show HsDev.Symbols.Types.Import
instance Data.Aeson.Types.ToJSON.ToJSON HsDev.Symbols.Types.Import
instance Data.Aeson.Types.FromJSON.FromJSON HsDev.Symbols.Types.Import
instance Control.DeepSeq.NFData l => Control.DeepSeq.NFData (Language.Haskell.Exts.Syntax.ModuleName l)
instance Control.DeepSeq.NFData l => Control.DeepSeq.NFData (Language.Haskell.Exts.Syntax.Name l)
instance Control.DeepSeq.NFData Language.Haskell.Exts.Syntax.Boxed
instance Control.DeepSeq.NFData l => Control.DeepSeq.NFData (Language.Haskell.Exts.Syntax.SpecialCon l)
instance Control.DeepSeq.NFData l => Control.DeepSeq.NFData (Language.Haskell.Exts.Syntax.QName l)
instance Data.Aeson.Types.ToJSON.ToJSON (Language.Haskell.Exts.Syntax.Assoc ())
instance Data.Aeson.Types.FromJSON.FromJSON (Language.Haskell.Exts.Syntax.Assoc ())
instance Data.Aeson.Types.ToJSON.ToJSON Language.Haskell.Exts.Fixity.Fixity
instance Data.Aeson.Types.FromJSON.FromJSON Language.Haskell.Exts.Fixity.Fixity
instance Control.DeepSeq.NFData (Language.Haskell.Exts.Syntax.Assoc ())
instance Control.DeepSeq.NFData Language.Haskell.Exts.Fixity.Fixity
instance HsDev.Symbols.Documented.Documented HsDev.Symbols.Location.ModuleId
instance HsDev.Symbols.Documented.Documented HsDev.Symbols.Location.SymbolId

module HsDev.Symbols.HaskellNames
class ToEnvironment a
environment :: ToEnvironment a => a -> Environment
fromSymbol :: Symbol -> Symbol
toSymbol :: Symbol -> Symbol
instance HsDev.Symbols.HaskellNames.ToEnvironment HsDev.Symbols.Types.Module
instance HsDev.Symbols.HaskellNames.ToEnvironment [HsDev.Symbols.Types.Module]

module HsDev.Symbols

-- | Find project file is related to
locateProject :: FilePath -> IO (Maybe Project)

-- | Search project up
searchProject :: FilePath -> IO (Maybe Project)

-- | Locate source dir of file
locateSourceDir :: FilePath -> IO (Maybe (Extensions Path))

-- | Make <a>Info</a> for standalone <a>Module</a>
standaloneInfo :: [PackageConfig] -> Module -> Info

-- | Options for GHC of module and project
moduleOpts :: [PackageConfig] -> Module -> [String]

-- | Options for GHC of project
projectTargetOpts :: [PackageConfig] -> Project -> Info -> [String]

-- | Set tag to <a>Inspected</a>
setTag :: Ord t => t -> Inspected i t a -> Inspected i t a

-- | Check whether <a>Inspected</a> has tag
hasTag :: Ord t => t -> Inspected i t a -> Bool

-- | Drop tag from <a>Inspected</a>
removeTag :: Ord t => t -> Inspected i t a -> Inspected i t a

-- | Drop all tags
dropTags :: Inspected i t a -> Inspected i t a

-- | Set inspection tag
inspectTag :: (Monad m, Ord t) => t -> InspectM k t m a -> InspectM k t m a

-- | Unser inspection tag
inspectUntag :: (Monad m, Ord t) => t -> InspectM k t m a -> InspectM k t m a

-- | Documented symbol
class Documented a
brief :: Documented a => a -> Text
detailed :: Documented a => a -> Text
detailed :: (Documented a, Sourced a) => a -> Text

module HsDev.Tools.Hayoo

-- | Hayoo response
data HayooResult
HayooResult :: Int -> Int -> Int -> [HayooSymbol] -> HayooResult
[resultMax] :: HayooResult -> Int
[resultOffset] :: HayooResult -> Int
[resultCount] :: HayooResult -> Int
[resultResult] :: HayooResult -> [HayooSymbol]

-- | Hayoo symbol
data HayooSymbol
HayooSymbol :: String -> String -> String -> String -> String -> String -> String -> [String] -> Double -> String -> HayooSymbol
[resultUri] :: HayooSymbol -> String
[tag] :: HayooSymbol -> String
[hayooPackage] :: HayooSymbol -> String
[hayooName] :: HayooSymbol -> String
[hayooSource] :: HayooSymbol -> String
[hayooDescription] :: HayooSymbol -> String
[hayooSignature] :: HayooSymbol -> String
[hayooModules] :: HayooSymbol -> [String]
[hayooScore] :: HayooSymbol -> Double
[hayooType] :: HayooSymbol -> String

-- | <tt>HayooFunction</tt> as <a>Symbol</a>
hayooAsSymbol :: HayooSymbol -> Maybe Symbol

-- | Search hayoo
hayoo :: Manager -> String -> Maybe Int -> ExceptT String IO HayooResult

-- | Remove tags in description
untagDescription :: String -> String
instance GHC.Show.Show HsDev.Tools.Hayoo.HayooSymbol
instance GHC.Read.Read HsDev.Tools.Hayoo.HayooSymbol
instance GHC.Classes.Ord HsDev.Tools.Hayoo.HayooSymbol
instance GHC.Classes.Eq HsDev.Tools.Hayoo.HayooSymbol
instance GHC.Show.Show HsDev.Tools.Hayoo.HayooResult
instance GHC.Read.Read HsDev.Tools.Hayoo.HayooResult
instance GHC.Classes.Ord HsDev.Tools.Hayoo.HayooResult
instance GHC.Classes.Eq HsDev.Tools.Hayoo.HayooResult
instance Data.Aeson.Types.FromJSON.FromJSON HsDev.Tools.Hayoo.HayooResult
instance Data.Aeson.Types.FromJSON.FromJSON HsDev.Tools.Hayoo.HayooValue
instance HsDev.Symbols.Class.Sourced HsDev.Tools.Hayoo.HayooSymbol
instance HsDev.Symbols.Documented.Documented HsDev.Tools.Hayoo.HayooSymbol
instance Data.Aeson.Types.FromJSON.FromJSON HsDev.Tools.Hayoo.HayooSymbol

module HsDev.Tools.HDocs

-- | Get docs for modules
hdocsy :: PackageDbStack -> [ModuleLocation] -> [String] -> GhcM [Map String String]

-- | Get docs for module
hdocs :: PackageDbStack -> ModuleLocation -> [String] -> GhcM (Map String String)

-- | Get docs for package
hdocsPackage :: PackageConfig -> GhcM (Map Text (Map Text Text))

-- | Get all docs
hdocsCabal :: PackageDbStack -> [String] -> GhcM [(ModulePackage, Map Text (Map Text Text))]

-- | Set docs for module
setSymbolDocs :: MonadIO m => LookupTable (Text, Text) (Maybe Text) -> Map Text Text -> Symbol -> m Symbol

-- | Set docs for module symbols
setDocs :: MonadIO m => LookupTable (Text, Text) (Maybe Text) -> Map Text Text -> Module -> m Module

-- | Set docs for modules
setModuleDocs :: MonadIO m => LookupTable (Text, Text) (Maybe Text) -> Map Text (Map Text Text) -> Module -> m Module
hdocsProcess :: String -> [String] -> IO (Maybe (Map String String))

-- | Read docs for one module
readDocs :: Text -> [String] -> Path -> GhcM (Maybe (Map String String))

-- | Read docs for one module
readModuleDocs :: [String] -> Module -> GhcM (Maybe (Map String String))
readProjectTargetDocs :: [String] -> Project -> [Path] -> GhcM (Map String (Map String String))
hdocsSupported :: Bool

module HsDev.Tools.Ghc.Types
data TypedExpr
TypedExpr :: Maybe Text -> Text -> TypedExpr
[_typedExpr] :: TypedExpr -> Maybe Text
[_typedType] :: TypedExpr -> Text
typedExpr :: Lens' TypedExpr (Maybe Text)
typedType :: Lens' TypedExpr Text
moduleTypes :: (MonadFail m, GhcMonad m) => Path -> m [(SrcSpan, Type)]

-- | Get all types in module
fileTypes :: (MonadLog m, MonadFail m, GhcMonad m) => Module -> Maybe Text -> m [Note TypedExpr]

-- | Set types to module
setModuleTypes :: [Note TypedExpr] -> Module -> Module

-- | Infer types in module
inferTypes :: (MonadLog m, MonadFail m, GhcMonad m) => Module -> Maybe Text -> m Module
instance Control.DeepSeq.NFData HsDev.Tools.Ghc.Types.TypedExpr
instance Data.Aeson.Types.ToJSON.ToJSON HsDev.Tools.Ghc.Types.TypedExpr
instance Data.Aeson.Types.FromJSON.FromJSON HsDev.Tools.Ghc.Types.TypedExpr
instance GHC.Show.Show HsDev.Tools.Ghc.Types.TypedExpr
instance GHC.Read.Read HsDev.Tools.Ghc.Types.TypedExpr
instance GHC.Classes.Ord HsDev.Tools.Ghc.Types.TypedExpr
instance GHC.Classes.Eq HsDev.Tools.Ghc.Types.TypedExpr
instance HsDev.Tools.Ghc.Types.HasType (GHC.Hs.Expr.LHsExpr HsDev.Tools.Ghc.Compat.TcId)
instance HsDev.Tools.Ghc.Types.HasType (GHC.Hs.Binds.LHsBind HsDev.Tools.Ghc.Compat.TcId)
instance HsDev.Tools.Ghc.Types.HasType (SrcLoc.Located (GHC.Hs.Pat.Pat GHC.Hs.Extension.GhcTcId))

module HsDev.Symbols.Resolve
type RefineTable = Map (Text, Text, SymbolInfo) Symbol
refineTable :: [Symbol] -> RefineTable
refineSymbol :: RefineTable -> Symbol -> Symbol
refineSymbols :: RefineTable -> Module -> Module
symbolUniqId :: Symbol -> (Text, Text, SymbolInfo)

module HsDev.Inspect.Types

-- | Preloaded module with contents and extensions
data Preloaded
Preloaded :: ModuleId -> ParseMode -> Module SrcSpanInfo -> Text -> Preloaded
[_preloadedId] :: Preloaded -> ModuleId
[_preloadedMode] :: Preloaded -> ParseMode

-- | Loaded module head without declarations
[_preloadedModule] :: Preloaded -> Module SrcSpanInfo
[_preloaded] :: Preloaded -> Text
preloadedId :: Lens' Preloaded ModuleId
preloadedMode :: Lens' Preloaded ParseMode
preloadedModule :: Lens' Preloaded (Module SrcSpanInfo)
asModule :: Lens' Preloaded Module
toImport :: ImportDecl SrcSpanInfo -> Import
preloaded :: Lens' Preloaded Text
type InspectedPreloaded = Inspected ModuleLocation ModuleTag Preloaded

-- | Symbols environment, used to resolve names in source
type Environment = Environment

-- | Fixities environment, needed to parse source
type FixitiesTable = Map Name Fixity

-- | Resolved module
data Resolved
Resolved :: ModuleName () -> Parsed -> [Symbol] -> [Import] -> [Symbol] -> Table -> [Fixity] -> Resolved
[_resolvedModule] :: Resolved -> ModuleName ()
[_resolvedSource] :: Resolved -> Parsed
[_resolvedDefs] :: Resolved -> [Symbol]
[_resolvedImports] :: Resolved -> [Import]
[_resolvedExports] :: Resolved -> [Symbol]
[_resolvedScope] :: Resolved -> Table
[_resolvedFixities] :: Resolved -> [Fixity]
resolvedModule :: Lens' Resolved (ModuleName ())
resolvedSource :: Lens' Resolved Parsed
resolvedDefs :: Lens' Resolved [Symbol]
resolvedImports :: Lens' Resolved [Import]
resolvedExports :: Lens' Resolved [Symbol]
resolvedScope :: Lens' Resolved Table
resolvedFixities :: Lens' Resolved [Fixity]

-- | Like <tt>InspectedModule</tt>, but for <tt>Resolved</tt>
type InspectedResolved = Inspected ModuleLocation ModuleTag Resolved

-- | Get environment for resolved module
resolvedEnv :: Resolved -> Environment

-- | Get fixities table from resolved module
resolvedFixitiesTable :: Resolved -> FixitiesTable

-- | Drop extra info
dropScope :: Functor f => f (Scoped l) -> f l

-- | Empty scope info
noScope :: l -> Scoped l

-- | Set empty scope
withNoScope :: Functor f => f l -> f (Scoped l)
instance Control.DeepSeq.NFData HsDev.Inspect.Types.Resolved
instance Control.DeepSeq.NFData HsDev.Inspect.Types.Preloaded

module HsDev.Inspect.Definitions

-- | Get top symbols
getSymbols :: [Decl Ann] -> [Symbol]

-- | Get symbols from declarations
getDecl :: Decl Ann -> [Symbol]

module HsDev.PackageDb

-- | Get path to package-db
packageDbPath :: PackageDb -> IO Path

-- | Read package-db conf files
readPackageDb :: PackageDb -> IO (Map ModulePackage [ModuleLocation])

module HsDev.Tools.Ghc.Check

-- | Check module source
check :: (MonadLog m, GhcMonad m) => Module -> Maybe Text -> m [Note OutputMessage]

-- | A minimal implementation of a <a>GhcMonad</a>. If you need a custom
--   monad, e.g., to maintain additional state consider wrapping this monad
--   or using <a>GhcT</a>.
data Ghc a
data PackageDb
GlobalDb :: PackageDb
UserDb :: PackageDb
PackageDb :: Path -> PackageDb
[_packageDb] :: PackageDb -> Path

-- | Stack of PackageDb in reverse order
newtype PackageDbStack
PackageDbStack :: [PackageDb] -> PackageDbStack
[_packageDbStack] :: PackageDbStack -> [PackageDb]

-- | Cabal project
data Project
Project :: Text -> Path -> Path -> Maybe ProjectDescription -> BuildTool -> Maybe PackageDbStack -> Project
[_projectName] :: Project -> Text
[_projectPath] :: Project -> Path
[_projectCabal] :: Project -> Path
[_projectDescription] :: Project -> Maybe ProjectDescription
[_projectBuildTool] :: Project -> BuildTool
[_projectPackageDbStack] :: Project -> Maybe PackageDbStack

module HsDev.Stack

-- | Invoke stack command, we are trying to get actual stack near current
--   hsdev executable
stack :: [String] -> GhcM String

-- | Make yaml opts
yaml :: Maybe FilePath -> [String]

-- | Stack path
path :: Maybe FilePath -> GhcM PathsConf

-- | Get path for
pathOf :: String -> Lens' PathsConf (Maybe FilePath)

-- | Build stack project
build :: [String] -> Maybe FilePath -> GhcM ()

-- | Build only dependencies
buildDeps :: Maybe FilePath -> GhcM ()
data StackEnv
StackEnv :: FilePath -> FilePath -> FilePath -> FilePath -> FilePath -> FilePath -> StackEnv
[_stackRoot] :: StackEnv -> FilePath
[_stackProject] :: StackEnv -> FilePath
[_stackConfig] :: StackEnv -> FilePath
[_stackGhc] :: StackEnv -> FilePath
[_stackSnapshot] :: StackEnv -> FilePath
[_stackLocal] :: StackEnv -> FilePath
stackRoot :: Lens' StackEnv FilePath
stackProject :: Lens' StackEnv FilePath
stackConfig :: Lens' StackEnv FilePath
stackGhc :: Lens' StackEnv FilePath
stackSnapshot :: Lens' StackEnv FilePath
stackLocal :: Lens' StackEnv FilePath
getStackEnv :: PathsConf -> Maybe StackEnv

-- | Projects paths
projectEnv :: FilePath -> GhcM StackEnv

-- | Get package-db stack for stack environment
stackPackageDbStack :: Lens' StackEnv PackageDbStack

-- | Get compiler version
stackCompiler :: GhcM String

-- | Get arch for stack
stackArch :: String

-- | The parameterizable maybe monad, obtained by composing an arbitrary
--   monad with the <a>Maybe</a> monad.
--   
--   Computations are actions that may produce a value or exit.
--   
--   The <a>return</a> function yields a computation that produces that
--   value, while <tt>&gt;&gt;=</tt> sequences two subcomputations, exiting
--   if either computation does.
newtype MaybeT (m :: Type -> Type) a
MaybeT :: m (Maybe a) -> MaybeT (m :: Type -> Type) a
[runMaybeT] :: MaybeT (m :: Type -> Type) a -> m (Maybe a)

module HsDev.Scan.Browse

-- | Browse packages
browsePackages :: [String] -> PackageDbStack -> GhcM [PackageConfig]

-- | Get packages with deps
browsePackagesDeps :: [String] -> PackageDbStack -> GhcM (Deps PackageConfig)

-- | List modules from ghc, accepts ghc-opts, stack of package-db to get
--   modules for and list of packages to explicitely expose them with
--   '-package' flag, otherwise hidden packages won't be loaded
listModules :: [String] -> PackageDbStack -> [ModulePackage] -> GhcM [ModuleLocation]

-- | Like <tt>browseModules</tt>, but groups modules by package and
--   inspects each package separately Trying to fix error: when there are
--   several same packages (of different version), only <tt>Module</tt>
--   from one of them can be lookuped and therefore modules from different
--   version packages won't be actually inspected
browseModules :: [String] -> PackageDbStack -> [ModuleLocation] -> GhcM [InspectedModule]

-- | Inspect installed modules, doesn't set session and package flags!
browseModules' :: [String] -> [ModuleLocation] -> GhcM [InspectedModule]

-- | There can be same modules (same package name, version and module name)
--   installed in different locations Select first one of such modules
uniqueModuleLocations :: [ModuleLocation] -> [ModuleLocation]
readPackage :: PackageConfig -> ModulePackage
readPackageConfig :: PackageConfig -> PackageConfig
ghcModuleLocation :: PackageConfig -> Module -> Bool -> ModuleLocation
packageConfigs :: GhcM [PackageConfig]
packageDbModules :: GhcM [(PackageConfig, Module, Bool)]

-- | Get modules packages
modulesPackages :: [ModuleLocation] -> [ModulePackage]

-- | Group modules by packages
modulesPackagesGroups :: [ModuleLocation] -> [(ModulePackage, [ModuleLocation])]

-- | Run action for each package with prepared '-package' flags
withEachPackage :: (ModulePackage -> [ModuleLocation] -> GhcM a) -> [ModuleLocation] -> GhcM [a]

module HsDev.Sandbox
data Sandbox
Sandbox :: BuildTool -> Path -> Sandbox
[_sandboxType] :: Sandbox -> BuildTool
[_sandbox] :: Sandbox -> Path
sandboxType :: Lens' Sandbox BuildTool
sandbox :: Lens' Sandbox Path
isSandbox :: Path -> Bool
guessSandboxType :: Path -> Maybe BuildTool
sandboxFromPath :: Path -> Maybe Sandbox

-- | Find sandbox in path
findSandbox :: Path -> IO (Maybe Sandbox)

-- | Search sandbox by parent directory
searchSandbox :: Path -> IO (Maybe Sandbox)

-- | Search sandboxes up from current directory
searchSandboxes :: Path -> IO [Sandbox]

-- | Get project sandbox: search up for .cabal, then search for stack.yaml
--   in current directory and cabal sandbox in current + parents
projectSandbox :: BuildTool -> Path -> IO (Maybe Sandbox)

-- | Get package-db stack for sandbox
sandboxPackageDbStack :: Sandbox -> GhcM PackageDbStack

-- | Search package-db stack with user-db as default
searchPackageDbStack :: BuildTool -> Path -> GhcM PackageDbStack

-- | Restore package-db stack by package-db
restorePackageDbStack :: PackageDb -> GhcM PackageDbStack

-- | User package-db: <a>arch</a>-<a>os</a>-<a>version</a>
userPackageDb :: GhcM FilePath

-- | Get sandbox package-db:
--   <a>arch</a>-<a>os</a>-<a>compiler</a>-<a>version</a>-packages.conf.d
cabalSandboxPackageDb :: FilePath -> GhcM FilePath

-- | Options for GHC for module and project
getModuleOpts :: [String] -> Module -> GhcM (PackageDbStack, [String])

-- | Options for GHC for project target
getProjectTargetOpts :: [String] -> Project -> Info -> GhcM (PackageDbStack, [String])

-- | Get sandbox of project (if any)
getProjectSandbox :: MonadLog m => Project -> m (Maybe Sandbox)

-- | Get project package-db stack
getProjectPackageDbStack :: Project -> GhcM PackageDbStack

module HsDev.Tools.Ghc.Session

-- | Session for module
targetSession :: [String] -> Module -> GhcM ()

-- | Interpret file
interpretModule :: Module -> Maybe Text -> GhcM ()

module HsDev.Database.SQLite.Instances
newtype JSON a
JSON :: a -> JSON a
[getJSON] :: JSON a -> a
instance GHC.Show.Show a => GHC.Show.Show (HsDev.Database.SQLite.Instances.JSON a)
instance GHC.Read.Read a => GHC.Read.Read (HsDev.Database.SQLite.Instances.JSON a)
instance GHC.Classes.Ord a => GHC.Classes.Ord (HsDev.Database.SQLite.Instances.JSON a)
instance GHC.Classes.Eq a => GHC.Classes.Eq (HsDev.Database.SQLite.Instances.JSON a)
instance Data.Aeson.Types.ToJSON.ToJSON a => Database.SQLite.Simple.ToField.ToField (HsDev.Database.SQLite.Instances.JSON a)
instance Data.Aeson.Types.FromJSON.FromJSON a => Database.SQLite.Simple.FromField.FromField (HsDev.Database.SQLite.Instances.JSON a)
instance Database.SQLite.Simple.ToField.ToField Data.Aeson.Types.Internal.Value
instance Database.SQLite.Simple.FromField.FromField Data.Aeson.Types.Internal.Value
instance Database.SQLite.Simple.FromRow.FromRow HsDev.Symbols.Location.Position
instance Database.SQLite.Simple.ToRow.ToRow HsDev.Symbols.Location.Position
instance Database.SQLite.Simple.FromRow.FromRow HsDev.Symbols.Location.Region
instance Database.SQLite.Simple.ToRow.ToRow HsDev.Symbols.Location.Region
instance Database.SQLite.Simple.FromRow.FromRow HsDev.Symbols.Location.ModulePackage
instance Database.SQLite.Simple.ToRow.ToRow HsDev.Symbols.Location.ModulePackage
instance Database.SQLite.Simple.FromRow.FromRow HsDev.Symbols.Location.ModuleLocation
instance Database.SQLite.Simple.ToRow.ToRow HsDev.Symbols.Location.ModuleLocation
instance Database.SQLite.Simple.FromRow.FromRow HsDev.Symbols.Location.ModuleId
instance Database.SQLite.Simple.ToRow.ToRow HsDev.Symbols.Location.ModuleId
instance Database.SQLite.Simple.FromRow.FromRow HsDev.Symbols.Types.Import
instance Database.SQLite.Simple.ToRow.ToRow HsDev.Symbols.Types.Import
instance Database.SQLite.Simple.FromRow.FromRow HsDev.Symbols.Location.SymbolId
instance Database.SQLite.Simple.ToRow.ToRow HsDev.Symbols.Location.SymbolId
instance Database.SQLite.Simple.FromRow.FromRow HsDev.Symbols.Types.SymbolInfo
instance Database.SQLite.Simple.ToRow.ToRow HsDev.Symbols.Types.SymbolInfo
instance Database.SQLite.Simple.FromRow.FromRow HsDev.Symbols.Types.Symbol
instance Database.SQLite.Simple.ToRow.ToRow HsDev.Symbols.Types.Symbol
instance Database.SQLite.Simple.FromRow.FromRow a => Database.SQLite.Simple.FromRow.FromRow (HsDev.Symbols.Types.Scoped a)
instance Database.SQLite.Simple.ToRow.ToRow a => Database.SQLite.Simple.ToRow.ToRow (HsDev.Symbols.Types.Scoped a)
instance Database.SQLite.Simple.ToField.ToField HsDev.Project.Types.BuildTool
instance Database.SQLite.Simple.FromField.FromField HsDev.Project.Types.BuildTool
instance Database.SQLite.Simple.ToRow.ToRow HsDev.Project.Types.Sandbox
instance Database.SQLite.Simple.FromRow.FromRow HsDev.Project.Types.Sandbox
instance Database.SQLite.Simple.ToRow.ToRow HsDev.Project.Types.Project
instance Database.SQLite.Simple.FromRow.FromRow HsDev.Project.Types.Project
instance Database.SQLite.Simple.FromRow.FromRow HsDev.Project.Types.Library
instance Database.SQLite.Simple.FromRow.FromRow HsDev.Project.Types.Executable
instance Database.SQLite.Simple.FromRow.FromRow HsDev.Project.Types.Test
instance Database.SQLite.Simple.FromRow.FromRow HsDev.Project.Types.Info
instance Database.SQLite.Simple.FromField.FromField Language.Haskell.Extension.Language
instance Database.SQLite.Simple.ToField.ToField HsDev.PackageDb.Types.PackageDb
instance Database.SQLite.Simple.FromField.FromField HsDev.PackageDb.Types.PackageDb
instance Database.SQLite.Simple.ToField.ToField HsDev.PackageDb.Types.PackageDbStack
instance Database.SQLite.Simple.FromField.FromField HsDev.PackageDb.Types.PackageDbStack
instance Database.SQLite.Simple.FromRow.FromRow HsDev.Symbols.Types.SymbolUsage
instance Database.SQLite.Simple.FromField.FromField Data.Time.Clock.Internal.POSIXTime.POSIXTime
instance Database.SQLite.Simple.ToField.ToField Data.Time.Clock.Internal.POSIXTime.POSIXTime
instance Database.SQLite.Simple.FromRow.FromRow HsDev.Symbols.Types.Inspection
instance Database.SQLite.Simple.ToRow.ToRow HsDev.Symbols.Types.Inspection
instance Database.SQLite.Simple.FromRow.FromRow HsDev.Tools.Ghc.Types.TypedExpr
instance Database.SQLite.Simple.ToRow.ToRow HsDev.Tools.Ghc.Types.TypedExpr
instance Database.SQLite.Simple.FromField.FromField (Language.Haskell.Exts.Syntax.Name ())
instance Database.SQLite.Simple.ToField.ToField (Language.Haskell.Exts.Syntax.Name ())
instance Database.SQLite.Simple.FromField.FromField (Language.Haskell.Exts.Syntax.ModuleName ())
instance Database.SQLite.Simple.ToField.ToField (Language.Haskell.Exts.Syntax.ModuleName ())
instance Database.SQLite.Simple.FromRow.FromRow Language.Haskell.Names.Types.Symbol
instance Database.SQLite.Simple.ToRow.ToRow Language.Haskell.Names.Types.Symbol
instance Database.SQLite.Simple.FromField.FromField HsDev.Tools.Types.Severity
instance Database.SQLite.Simple.ToField.ToField HsDev.Tools.Types.Severity
instance Database.SQLite.Simple.FromRow.FromRow HsDev.Tools.Types.OutputMessage
instance Database.SQLite.Simple.ToRow.ToRow HsDev.Tools.Types.OutputMessage
instance Database.SQLite.Simple.FromRow.FromRow a => Database.SQLite.Simple.FromRow.FromRow (HsDev.Tools.Types.Note a)
instance Database.SQLite.Simple.ToRow.ToRow a => Database.SQLite.Simple.ToRow.ToRow (HsDev.Tools.Types.Note a)

module System.Directory.Watcher

-- | Event type
data EventType
Added :: EventType
Modified :: EventType
Removed :: EventType

-- | Event
data Event
Event :: EventType -> FilePath -> POSIXTime -> Event
[_eventType] :: Event -> EventType
[_eventPath] :: Event -> FilePath
[_eventTime] :: Event -> POSIXTime
eventType :: Lens' Event EventType
eventPath :: Lens' Event FilePath
eventTime :: Lens' Event POSIXTime

-- | Directories watcher
data Watcher a
Watcher :: MVar (Map FilePath (Bool, IO ())) -> WatchManager -> Chan (a, Event) -> Watcher a

-- | Map from directory to watch stopper
[watcherDirs] :: Watcher a -> MVar (Map FilePath (Bool, IO ()))
[watcherMan] :: Watcher a -> WatchManager
[watcherChan] :: Watcher a -> Chan (a, Event)

-- | Create watcher
withWatcher :: (Watcher a -> IO b) -> IO b

-- | Watch directory
watchDir :: Watcher a -> FilePath -> (Event -> Bool) -> a -> IO ()
watchDir_ :: Watcher () -> FilePath -> (Event -> Bool) -> IO ()

-- | Unwatch directory, return <tt>False</tt>, if not watched
unwatchDir :: Watcher a -> FilePath -> IO Bool

-- | Check if we are watching dir
isWatchingDir :: Watcher a -> FilePath -> IO Bool

-- | Watch directory tree
watchTree :: Watcher a -> FilePath -> (Event -> Bool) -> a -> IO ()
watchTree_ :: Watcher () -> FilePath -> (Event -> Bool) -> IO ()

-- | Unwatch directory tree
unwatchTree :: Watcher a -> FilePath -> IO Bool

-- | Check if we are watching tree
isWatchingTree :: Watcher a -> FilePath -> IO Bool

-- | Read next event
readEvent :: Watcher a -> IO (a, Event)

-- | Get event group
eventGroup :: Watcher a -> NominalDiffTime -> ([(a, Event)] -> IO ()) -> IO ()

-- | Process all events
onEvents :: Watcher a -> NominalDiffTime -> ([(a, Event)] -> IO ()) -> IO ()

-- | Process all events
onEvents_ :: Watcher a -> ([(a, Event)] -> IO ()) -> IO ()
instance GHC.Show.Show System.Directory.Watcher.EventType
instance GHC.Read.Read System.Directory.Watcher.EventType
instance GHC.Enum.Bounded System.Directory.Watcher.EventType
instance GHC.Enum.Enum System.Directory.Watcher.EventType
instance GHC.Classes.Ord System.Directory.Watcher.EventType
instance GHC.Classes.Eq System.Directory.Watcher.EventType
instance GHC.Show.Show System.Directory.Watcher.Event
instance GHC.Classes.Ord System.Directory.Watcher.Event
instance GHC.Classes.Eq System.Directory.Watcher.Event

module HsDev.Watcher.Types
data Watched
WatchedProject :: Project -> [String] -> Watched
WatchedPackageDb :: PackageDbStack -> [String] -> Watched
WatchedModule :: Watched
type Watcher = Watcher Watched

-- | Stack of PackageDb in reverse order
data PackageDbStack

-- | Cabal project
data Project

module HsDev.Server.Types
type ServerMonadBase m = (MonadIO m, MonadFail m, MonadMask m, MonadBaseControl IO m, Alternative m, MonadPlus m)
data SessionLog
SessionLog :: Log -> IO [Message] -> IO () -> SessionLog
[sessionLogger] :: SessionLog -> Log
[sessionListenLog] :: SessionLog -> IO [Message]
[sessionLogWait] :: SessionLog -> IO ()
data Session
Session :: Connection -> String -> SessionLog -> Maybe Watcher -> (Path -> Maybe Text -> IO ()) -> GhcWorker -> Worker (ServerM IO) -> LookupTable (Maybe Path) (Environment, FixitiesTable) -> Manager -> IO () -> IO () -> Chan (IO ()) -> [(String, String)] -> Session
[sessionSqlDatabase] :: Session -> Connection
[sessionSqlPath] :: Session -> String
[sessionLog] :: Session -> SessionLog
[sessionWatcher] :: Session -> Maybe Watcher
[sessionFileContents] :: Session -> Path -> Maybe Text -> IO ()
[sessionGhc] :: Session -> GhcWorker
[sessionUpdater] :: Session -> Worker (ServerM IO)
[sessionResolveEnvironment] :: Session -> LookupTable (Maybe Path) (Environment, FixitiesTable)
[sessionHTTPManager] :: Session -> Manager
[sessionExit] :: Session -> IO ()
[sessionWait] :: Session -> IO ()
[sessionClients] :: Session -> Chan (IO ())
[sessionDefines] :: Session -> [(String, String)]
class (ServerMonadBase m, MonadLog m) => SessionMonad m
getSession :: SessionMonad m => m Session
localSession :: SessionMonad m => (Session -> Session) -> m a -> m a
askSession :: SessionMonad m => (Session -> a) -> m a
newtype ServerM m a
ServerM :: ReaderT Session m a -> ServerM m a
[runServerM] :: ServerM m a -> ReaderT Session m a
data CommandOptions
CommandOptions :: FilePath -> (Notification -> IO ()) -> IO () -> IO () -> CommandOptions
[commandOptionsRoot] :: CommandOptions -> FilePath
[commandOptionsNotify] :: CommandOptions -> Notification -> IO ()
[commandOptionsLink] :: CommandOptions -> IO ()
[commandOptionsHold] :: CommandOptions -> IO ()
class (SessionMonad m, MonadPlus m) => CommandMonad m
getOptions :: CommandMonad m => m CommandOptions
askOptions :: CommandMonad m => (CommandOptions -> a) -> m a
newtype ClientM m a
ClientM :: ServerM (ReaderT CommandOptions m) a -> ClientM m a
[runClientM] :: ClientM m a -> ServerM (ReaderT CommandOptions m) a

-- | Run action on session
withSession :: Session -> ServerM m a -> m a

-- | Listen server's log
serverListen :: SessionMonad m => m [Message]

-- | Set server's log config
serverSetLogLevel :: SessionMonad m => Level -> m Level

-- | Wait for server
serverWait :: SessionMonad m => m ()

-- | Wait while clients disconnects
serverWaitClients :: SessionMonad m => m ()

-- | Get sql connection
serverSqlDatabase :: SessionMonad m => m Connection

-- | Open new sql connection
openSqlConnection :: SessionMonad m => m Connection

-- | Close sql connection
closeSqlConnection :: SessionMonad m => Connection -> m ()

-- | Locally opens new connection, updating <tt>Session</tt>
withSqlConnection :: SessionMonad m => m a -> m a

-- | With sql transaction
withSqlTransaction :: SessionMonad m => ServerM IO a -> m a

-- | Set custom file contents
serverSetFileContents :: SessionMonad m => Path -> Maybe Text -> m ()

-- | In ghc session
inSessionGhc :: SessionMonad m => GhcM a -> m a

-- | In updater
inSessionUpdater :: SessionMonad m => ServerM IO a -> m a

-- | Post to updater and return
postSessionUpdater :: SessionMonad m => ServerM IO a -> m (Async a)

-- | Exit session
serverExit :: SessionMonad m => m ()
commandRoot :: CommandMonad m => m FilePath
commandNotify :: CommandMonad m => Notification -> m ()
commandLink :: CommandMonad m => m ()
commandHold :: CommandMonad m => m ()

-- | Server control command
data ServerCommand
Version :: Bool -> ServerCommand
Start :: ServerOpts -> ServerCommand
Run :: ServerOpts -> ServerCommand
Stop :: ClientOpts -> ServerCommand
Connect :: ClientOpts -> ServerCommand
Remote :: ClientOpts -> Bool -> Command -> ServerCommand
data ConnectionPort
NetworkPort :: Int -> ConnectionPort
UnixPort :: String -> ConnectionPort

-- | Server options
data ServerOpts
ServerOpts :: ConnectionPort -> Int -> Maybe FilePath -> String -> Bool -> Maybe FilePath -> Bool -> Bool -> ServerOpts
[serverPort] :: ServerOpts -> ConnectionPort
[serverTimeout] :: ServerOpts -> Int
[serverLog] :: ServerOpts -> Maybe FilePath
[serverLogLevel] :: ServerOpts -> String
[serverLogNoColor] :: ServerOpts -> Bool
[serverDbFile] :: ServerOpts -> Maybe FilePath
[serverWatchFS] :: ServerOpts -> Bool
[serverSilent] :: ServerOpts -> Bool

-- | Silent server with no connection, useful for ghci
silentOpts :: ServerOpts

-- | Client options
data ClientOpts
ClientOpts :: ConnectionPort -> Bool -> Bool -> Int -> Bool -> ClientOpts
[clientPort] :: ClientOpts -> ConnectionPort
[clientPretty] :: ClientOpts -> Bool
[clientStdin] :: ClientOpts -> Bool
[clientTimeout] :: ClientOpts -> Int
[clientSilent] :: ClientOpts -> Bool
serverOptsArgs :: ServerOpts -> [String]
data Request
Request :: Command -> FilePath -> Bool -> Int -> Bool -> Request
[requestCommand] :: Request -> Command
[requestDirectory] :: Request -> FilePath
[requestNoFile] :: Request -> Bool
[requestTimeout] :: Request -> Int
[requestSilent] :: Request -> Bool

-- | Command from client
data Command
Ping :: Command
Listen :: Maybe String -> Command
SetLogLevel :: String -> Command
Scan :: [Path] -> Bool -> [Path] -> [FileSource] -> [Path] -> BuildTool -> [String] -> Bool -> Bool -> Command
[scanProjects] :: Command -> [Path]
[scanCabal] :: Command -> Bool
[scanSandboxes] :: Command -> [Path]
[scanFiles] :: Command -> [FileSource]
[scanPaths] :: Command -> [Path]
[scanBuildTool] :: Command -> BuildTool
[scanGhcOpts] :: Command -> [String]
[scanDocs] :: Command -> Bool
[scanInferTypes] :: Command -> Bool
ScanProject :: Path -> BuildTool -> Bool -> Command
[scanProjectPath] :: Command -> Path
[scanProjectBuildTool] :: Command -> BuildTool
[scanProjectDeps] :: Command -> Bool
ScanFile :: Path -> BuildTool -> Bool -> Bool -> Command
[scanFilePath] :: Command -> Path
[scanFileBuildTool] :: Command -> BuildTool
[scanFileProject] :: Command -> Bool
[scanFileDeps] :: Command -> Bool
ScanPackageDbs :: PackageDbStack -> Command
[scanPackageDbStack] :: Command -> PackageDbStack
SetFileContents :: Path -> Maybe Text -> Command
RefineDocs :: [Path] -> [Path] -> Command
[docsProjects] :: Command -> [Path]
[docsFiles] :: Command -> [Path]
InferTypes :: [Path] -> [Path] -> Command
[inferProjects] :: Command -> [Path]
[inferFiles] :: Command -> [Path]
Remove :: [Path] -> Bool -> [Path] -> [Path] -> Command
[removeProjects] :: Command -> [Path]
[removeCabal] :: Command -> Bool
[removeSandboxes] :: Command -> [Path]
[removeFiles] :: Command -> [Path]
RemoveAll :: Command
InfoPackages :: Command
InfoProjects :: Command
InfoSandboxes :: Command
InfoSymbol :: SearchQuery -> [TargetFilter] -> Bool -> Bool -> Command
InfoModule :: SearchQuery -> [TargetFilter] -> Bool -> Bool -> Command
InfoProject :: Either Text Path -> Command
InfoSandbox :: Path -> Command
Lookup :: Text -> Path -> Command
Whois :: Text -> Path -> Command
Whoat :: Int -> Int -> Path -> Command
ResolveScopeModules :: SearchQuery -> Path -> Command
ResolveScope :: SearchQuery -> Path -> Command
FindUsages :: Int -> Int -> Path -> Command
Complete :: Text -> Bool -> Path -> Command
Hayoo :: String -> Int -> Int -> Command
[hayooQuery] :: Command -> String
[hayooPage] :: Command -> Int
[hayooPages] :: Command -> Int
CabalList :: [Text] -> Command
[cabalListPackages] :: Command -> [Text]
UnresolvedSymbols :: [Path] -> Command
[unresolvedFiles] :: Command -> [Path]
Lint :: [FileSource] -> [String] -> Command
[lintFiles] :: Command -> [FileSource]
[lintHlintOpts] :: Command -> [String]
Check :: [FileSource] -> [String] -> Bool -> Command
[checkFiles] :: Command -> [FileSource]
[checkGhcOpts] :: Command -> [String]
[checkClear] :: Command -> Bool
CheckLint :: [FileSource] -> [String] -> [String] -> Bool -> Command
[checkLintFiles] :: Command -> [FileSource]
[checkLintGhcOpts] :: Command -> [String]
[checkLintOpts] :: Command -> [String]
[checkLinkClear] :: Command -> Bool
Types :: [FileSource] -> [String] -> Bool -> Command
[typesFiles] :: Command -> [FileSource]
[typesGhcOpts] :: Command -> [String]
[typesClear] :: Command -> Bool
AutoFix :: [Note OutputMessage] -> Command
Refactor :: [Note Refact] -> [Note Refact] -> Bool -> Command
Rename :: Text -> Text -> Maybe (Int, Int) -> Path -> Command
[renameSymbol] :: Command -> Text
[renameTo] :: Command -> Text
[renameLocal] :: Command -> Maybe (Int, Int)
[renameContextFile] :: Command -> Path
GhcEval :: [String] -> Maybe FileSource -> Command
[ghcEvalExpressions] :: Command -> [String]
[ghcEvalSource] :: Command -> Maybe FileSource
GhcType :: [String] -> Maybe FileSource -> Command
[ghcTypeExpressions] :: Command -> [String]
[ghcTypeSource] :: Command -> Maybe FileSource
Langs :: Command
Flags :: Command
Link :: Bool -> Command
[linkHold] :: Command -> Bool
StopGhc :: Command
Exit :: Command
data FileSource
FileSource :: Path -> Maybe Text -> FileSource
[fileSource] :: FileSource -> Path
[fileContents] :: FileSource -> Maybe Text
data TargetFilter
TargetProject :: Text -> TargetFilter
TargetFile :: Path -> TargetFilter
TargetModule :: Text -> TargetFilter
TargetPackage :: Text -> TargetFilter
TargetInstalled :: TargetFilter
TargetSourced :: TargetFilter
TargetStandalone :: TargetFilter
data SearchQuery
SearchQuery :: Text -> SearchType -> SearchQuery
data SearchType
SearchExact :: SearchType
SearchPrefix :: SearchType
SearchInfix :: SearchType
SearchSuffix :: SearchType
class FromCmd a
cmdP :: FromCmd a => Parser a
instance Control.Monad.Catch.MonadMask m => Control.Monad.Catch.MonadMask (HsDev.Server.Types.ServerM m)
instance Control.Monad.Catch.MonadCatch m => Control.Monad.Catch.MonadCatch (HsDev.Server.Types.ServerM m)
instance Control.Monad.Catch.MonadThrow m => Control.Monad.Catch.MonadThrow (HsDev.Server.Types.ServerM m)
instance Control.Monad.Trans.Class.MonadTrans HsDev.Server.Types.ServerM
instance GHC.Base.Monad m => Control.Monad.Reader.Class.MonadReader HsDev.Server.Types.Session (HsDev.Server.Types.ServerM m)
instance Control.Monad.IO.Class.MonadIO m => Control.Monad.IO.Class.MonadIO (HsDev.Server.Types.ServerM m)
instance GHC.Base.MonadPlus m => GHC.Base.MonadPlus (HsDev.Server.Types.ServerM m)
instance Control.Monad.Fail.MonadFail m => Control.Monad.Fail.MonadFail (HsDev.Server.Types.ServerM m)
instance GHC.Base.Monad m => GHC.Base.Monad (HsDev.Server.Types.ServerM m)
instance GHC.Base.Alternative m => GHC.Base.Alternative (HsDev.Server.Types.ServerM m)
instance GHC.Base.Applicative m => GHC.Base.Applicative (HsDev.Server.Types.ServerM m)
instance GHC.Base.Functor m => GHC.Base.Functor (HsDev.Server.Types.ServerM m)
instance Control.Monad.Catch.MonadMask m => Control.Monad.Catch.MonadMask (HsDev.Server.Types.ClientM m)
instance Control.Monad.Catch.MonadCatch m => Control.Monad.Catch.MonadCatch (HsDev.Server.Types.ClientM m)
instance Control.Monad.Catch.MonadThrow m => Control.Monad.Catch.MonadThrow (HsDev.Server.Types.ClientM m)
instance Control.Monad.IO.Class.MonadIO m => Control.Monad.IO.Class.MonadIO (HsDev.Server.Types.ClientM m)
instance GHC.Base.MonadPlus m => GHC.Base.MonadPlus (HsDev.Server.Types.ClientM m)
instance Control.Monad.Fail.MonadFail m => Control.Monad.Fail.MonadFail (HsDev.Server.Types.ClientM m)
instance GHC.Base.Monad m => GHC.Base.Monad (HsDev.Server.Types.ClientM m)
instance GHC.Base.Alternative m => GHC.Base.Alternative (HsDev.Server.Types.ClientM m)
instance GHC.Base.Applicative m => GHC.Base.Applicative (HsDev.Server.Types.ClientM m)
instance GHC.Base.Functor m => GHC.Base.Functor (HsDev.Server.Types.ClientM m)
instance GHC.Read.Read HsDev.Server.Types.ConnectionPort
instance GHC.Classes.Eq HsDev.Server.Types.ConnectionPort
instance GHC.Show.Show HsDev.Server.Types.ServerOpts
instance GHC.Show.Show HsDev.Server.Types.ClientOpts
instance GHC.Show.Show HsDev.Server.Types.FileSource
instance GHC.Show.Show HsDev.Server.Types.TargetFilter
instance GHC.Classes.Eq HsDev.Server.Types.TargetFilter
instance GHC.Show.Show HsDev.Server.Types.SearchType
instance GHC.Show.Show HsDev.Server.Types.SearchQuery
instance GHC.Show.Show HsDev.Server.Types.Command
instance GHC.Show.Show HsDev.Server.Types.Request
instance GHC.Show.Show HsDev.Server.Types.ServerCommand
instance HsDev.Util.FromCmd HsDev.Server.Types.ServerCommand
instance Data.Aeson.Types.ToJSON.ToJSON HsDev.Server.Types.Request
instance Data.Aeson.Types.FromJSON.FromJSON HsDev.Server.Types.Request
instance System.Directory.Paths.Paths HsDev.Server.Types.Command
instance HsDev.Util.FromCmd HsDev.Server.Types.Command
instance Data.Aeson.Types.ToJSON.ToJSON HsDev.Server.Types.Command
instance Data.Aeson.Types.FromJSON.FromJSON HsDev.Server.Types.Command
instance HsDev.Util.FromCmd HsDev.Server.Types.SearchQuery
instance Data.Aeson.Types.ToJSON.ToJSON HsDev.Server.Types.SearchQuery
instance Data.Aeson.Types.FromJSON.FromJSON HsDev.Server.Types.SearchQuery
instance Data.Aeson.Types.ToJSON.ToJSON HsDev.Server.Types.SearchType
instance Data.Aeson.Types.FromJSON.FromJSON HsDev.Server.Types.SearchType
instance System.Directory.Paths.Paths HsDev.Server.Types.TargetFilter
instance HsDev.Util.FromCmd HsDev.Server.Types.TargetFilter
instance Data.Aeson.Types.ToJSON.ToJSON HsDev.Server.Types.TargetFilter
instance Data.Aeson.Types.FromJSON.FromJSON HsDev.Server.Types.TargetFilter
instance System.Directory.Paths.Paths HsDev.Server.Types.FileSource
instance HsDev.Util.FromCmd HsDev.Server.Types.FileSource
instance Data.Aeson.Types.ToJSON.ToJSON HsDev.Server.Types.FileSource
instance Data.Aeson.Types.FromJSON.FromJSON HsDev.Server.Types.FileSource
instance Data.Default.Class.Default HsDev.Server.Types.ClientOpts
instance HsDev.Util.FromCmd HsDev.Server.Types.ClientOpts
instance Data.Default.Class.Default HsDev.Server.Types.ServerOpts
instance HsDev.Util.FromCmd HsDev.Server.Types.ServerOpts
instance Data.Default.Class.Default HsDev.Server.Types.ConnectionPort
instance GHC.Show.Show HsDev.Server.Types.ConnectionPort
instance Text.Format.Formattable HsDev.Server.Types.ConnectionPort
instance Control.Monad.Trans.Class.MonadTrans HsDev.Server.Types.ClientM
instance (Control.Monad.IO.Class.MonadIO m, Control.Monad.Catch.MonadMask m) => System.Log.Simple.Monad.MonadLog (HsDev.Server.Types.ClientM m)
instance HsDev.Server.Types.ServerMonadBase m => HsDev.Server.Types.SessionMonad (HsDev.Server.Types.ClientM m)
instance HsDev.Server.Types.ServerMonadBase m => HsDev.Server.Types.CommandMonad (HsDev.Server.Types.ClientM m)
instance Control.Monad.Base.MonadBase b m => Control.Monad.Base.MonadBase b (HsDev.Server.Types.ClientM m)
instance Control.Monad.Trans.Control.MonadBaseControl b m => Control.Monad.Trans.Control.MonadBaseControl b (HsDev.Server.Types.ClientM m)
instance Control.Monad.Morph.MFunctor HsDev.Server.Types.ClientM
instance HsDev.Server.Types.CommandMonad m => HsDev.Server.Types.CommandMonad (Control.Monad.Trans.Reader.ReaderT r m)
instance (HsDev.Server.Types.CommandMonad m, GHC.Base.Monoid w) => HsDev.Server.Types.CommandMonad (Control.Monad.Trans.Writer.Lazy.WriterT w m)
instance HsDev.Server.Types.CommandMonad m => HsDev.Server.Types.CommandMonad (Control.Monad.Trans.State.Lazy.StateT s m)
instance Data.Default.Class.Default HsDev.Server.Types.CommandOptions
instance HsDev.Server.Types.ServerMonadBase m => HsDev.Server.Types.SessionMonad (HsDev.Server.Types.ServerM m)
instance HsDev.Server.Types.SessionMonad m => HsDev.Server.Types.SessionMonad (Control.Monad.Trans.Reader.ReaderT r m)
instance (HsDev.Server.Types.SessionMonad m, GHC.Base.Monoid w) => HsDev.Server.Types.SessionMonad (Control.Monad.Trans.Writer.Lazy.WriterT w m)
instance HsDev.Server.Types.SessionMonad m => HsDev.Server.Types.SessionMonad (Control.Monad.Trans.State.Lazy.StateT s m)
instance (Control.Monad.IO.Class.MonadIO m, Control.Monad.Catch.MonadMask m) => System.Log.Simple.Monad.MonadLog (HsDev.Server.Types.ServerM m)
instance Control.Monad.Base.MonadBase b m => Control.Monad.Base.MonadBase b (HsDev.Server.Types.ServerM m)
instance Control.Monad.Trans.Control.MonadBaseControl b m => Control.Monad.Trans.Control.MonadBaseControl b (HsDev.Server.Types.ServerM m)
instance Control.Monad.Morph.MFunctor HsDev.Server.Types.ServerM

module HsDev.Database.Update.Types
data Status
StatusWorking :: Status
StatusOk :: Status
StatusError :: HsDevError -> Status
data Progress
Progress :: Int -> Int -> Progress
[progressCurrent] :: Progress -> Int
[progressTotal] :: Progress -> Int
data Task
Task :: String -> Status -> String -> String -> Maybe Progress -> Task
[_taskName] :: Task -> String
[_taskStatus] :: Task -> Status
[_taskSubjectType] :: Task -> String
[_taskSubjectName] :: Task -> String
[_taskProgress] :: Task -> Maybe Progress
data UpdateOptions
UpdateOptions :: [Task] -> [String] -> Bool -> Bool -> UpdateOptions
[_updateTasks] :: UpdateOptions -> [Task]
[_updateGhcOpts] :: UpdateOptions -> [String]
[_updateDocs] :: UpdateOptions -> Bool
[_updateInfer] :: UpdateOptions -> Bool
updateTasks :: Lens' UpdateOptions [Task]
updateGhcOpts :: Lens' UpdateOptions [String]
updateDocs :: Lens' UpdateOptions Bool
updateInfer :: Lens' UpdateOptions Bool
data UpdateState
UpdateState :: UpdateOptions -> Worker (ServerM IO) -> UpdateState
[_updateOptions] :: UpdateState -> UpdateOptions
[_updateWorker] :: UpdateState -> Worker (ServerM IO)
updateOptions :: Lens' UpdateState UpdateOptions
updateWorker :: Lens' UpdateState (Worker (ServerM IO))
withUpdateState :: SessionMonad m => UpdateOptions -> (UpdateState -> m a) -> m a
sendUpdateAction :: UpdateMonad m => ServerM IO () -> m ()
newtype UpdateM m a
UpdateM :: ReaderT UpdateState (WriterT [ModuleLocation] (ClientM m)) a -> UpdateM m a
[runUpdateM] :: UpdateM m a -> ReaderT UpdateState (WriterT [ModuleLocation] (ClientM m)) a
type UpdateMonad m = (CommandMonad m, MonadReader UpdateState m, MonadWriter [ModuleLocation] m)
taskName :: Lens' Task String
taskStatus :: Lens' Task Status
taskSubjectType :: Lens' Task String
taskSubjectName :: Lens' Task String
taskProgress :: Lens' Task (Maybe Progress)
class FromCmd a
cmdP :: FromCmd a => Parser a
data SearchType
SearchExact :: SearchType
SearchPrefix :: SearchType
SearchInfix :: SearchType
SearchSuffix :: SearchType
data SearchQuery
SearchQuery :: Text -> SearchType -> SearchQuery
data TargetFilter
TargetProject :: Text -> TargetFilter
TargetFile :: Path -> TargetFilter
TargetModule :: Text -> TargetFilter
TargetPackage :: Text -> TargetFilter
TargetInstalled :: TargetFilter
TargetSourced :: TargetFilter
TargetStandalone :: TargetFilter
data FileSource
FileSource :: Path -> Maybe Text -> FileSource
[fileSource] :: FileSource -> Path
[fileContents] :: FileSource -> Maybe Text
data Request
Request :: Command -> FilePath -> Bool -> Int -> Bool -> Request
[requestCommand] :: Request -> Command
[requestDirectory] :: Request -> FilePath
[requestNoFile] :: Request -> Bool
[requestTimeout] :: Request -> Int
[requestSilent] :: Request -> Bool

-- | Client options
data ClientOpts
ClientOpts :: ConnectionPort -> Bool -> Bool -> Int -> Bool -> ClientOpts
[clientPort] :: ClientOpts -> ConnectionPort
[clientPretty] :: ClientOpts -> Bool
[clientStdin] :: ClientOpts -> Bool
[clientTimeout] :: ClientOpts -> Int
[clientSilent] :: ClientOpts -> Bool

-- | Server options
data ServerOpts
ServerOpts :: ConnectionPort -> Int -> Maybe FilePath -> String -> Bool -> Maybe FilePath -> Bool -> Bool -> ServerOpts
[serverPort] :: ServerOpts -> ConnectionPort
[serverTimeout] :: ServerOpts -> Int
[serverLog] :: ServerOpts -> Maybe FilePath
[serverLogLevel] :: ServerOpts -> String
[serverLogNoColor] :: ServerOpts -> Bool
[serverDbFile] :: ServerOpts -> Maybe FilePath
[serverWatchFS] :: ServerOpts -> Bool
[serverSilent] :: ServerOpts -> Bool
data ConnectionPort
NetworkPort :: Int -> ConnectionPort
UnixPort :: String -> ConnectionPort

-- | Server control command
data ServerCommand
Version :: Bool -> ServerCommand
Start :: ServerOpts -> ServerCommand
Run :: ServerOpts -> ServerCommand
Stop :: ClientOpts -> ServerCommand
Connect :: ClientOpts -> ServerCommand
Remote :: ClientOpts -> Bool -> Command -> ServerCommand
newtype ClientM m a
ClientM :: ServerM (ReaderT CommandOptions m) a -> ClientM m a
[runClientM] :: ClientM m a -> ServerM (ReaderT CommandOptions m) a
class (SessionMonad m, MonadPlus m) => CommandMonad m
getOptions :: CommandMonad m => m CommandOptions
data CommandOptions
CommandOptions :: FilePath -> (Notification -> IO ()) -> IO () -> IO () -> CommandOptions
[commandOptionsRoot] :: CommandOptions -> FilePath
[commandOptionsNotify] :: CommandOptions -> Notification -> IO ()
[commandOptionsLink] :: CommandOptions -> IO ()
[commandOptionsHold] :: CommandOptions -> IO ()
newtype ServerM m a
ServerM :: ReaderT Session m a -> ServerM m a
[runServerM] :: ServerM m a -> ReaderT Session m a
class (ServerMonadBase m, MonadLog m) => SessionMonad m
getSession :: SessionMonad m => m Session
localSession :: SessionMonad m => (Session -> Session) -> m a -> m a
data Session
Session :: Connection -> String -> SessionLog -> Maybe Watcher -> (Path -> Maybe Text -> IO ()) -> GhcWorker -> Worker (ServerM IO) -> LookupTable (Maybe Path) (Environment, FixitiesTable) -> Manager -> IO () -> IO () -> Chan (IO ()) -> [(String, String)] -> Session
[sessionSqlDatabase] :: Session -> Connection
[sessionSqlPath] :: Session -> String
[sessionLog] :: Session -> SessionLog
[sessionWatcher] :: Session -> Maybe Watcher
[sessionFileContents] :: Session -> Path -> Maybe Text -> IO ()
[sessionGhc] :: Session -> GhcWorker
[sessionUpdater] :: Session -> Worker (ServerM IO)
[sessionResolveEnvironment] :: Session -> LookupTable (Maybe Path) (Environment, FixitiesTable)
[sessionHTTPManager] :: Session -> Manager
[sessionExit] :: Session -> IO ()
[sessionWait] :: Session -> IO ()
[sessionClients] :: Session -> Chan (IO ())
[sessionDefines] :: Session -> [(String, String)]
data SessionLog
SessionLog :: Log -> IO [Message] -> IO () -> SessionLog
[sessionLogger] :: SessionLog -> Log
[sessionListenLog] :: SessionLog -> IO [Message]
[sessionLogWait] :: SessionLog -> IO ()
type ServerMonadBase m = (MonadIO m, MonadFail m, MonadMask m, MonadBaseControl IO m, Alternative m, MonadPlus m)
askSession :: SessionMonad m => (Session -> a) -> m a
askOptions :: CommandMonad m => (CommandOptions -> a) -> m a

-- | Run action on session
withSession :: Session -> ServerM m a -> m a

-- | Listen server's log
serverListen :: SessionMonad m => m [Message]

-- | Set server's log config
serverSetLogLevel :: SessionMonad m => Level -> m Level

-- | Wait for server
serverWait :: SessionMonad m => m ()

-- | Wait while clients disconnects
serverWaitClients :: SessionMonad m => m ()

-- | Get sql connection
serverSqlDatabase :: SessionMonad m => m Connection

-- | Open new sql connection
openSqlConnection :: SessionMonad m => m Connection

-- | Close sql connection
closeSqlConnection :: SessionMonad m => Connection -> m ()

-- | Locally opens new connection, updating <tt>Session</tt>
withSqlConnection :: SessionMonad m => m a -> m a

-- | With sql transaction
withSqlTransaction :: SessionMonad m => ServerM IO a -> m a

-- | Set custom file contents
serverSetFileContents :: SessionMonad m => Path -> Maybe Text -> m ()

-- | In ghc session
inSessionGhc :: SessionMonad m => GhcM a -> m a

-- | In updater
inSessionUpdater :: SessionMonad m => ServerM IO a -> m a

-- | Post to updater and return
postSessionUpdater :: SessionMonad m => ServerM IO a -> m (Async a)

-- | Exit session
serverExit :: SessionMonad m => m ()
commandRoot :: CommandMonad m => m FilePath
commandNotify :: CommandMonad m => Notification -> m ()
commandLink :: CommandMonad m => m ()
commandHold :: CommandMonad m => m ()

-- | Silent server with no connection, useful for ghci
silentOpts :: ServerOpts
serverOptsArgs :: ServerOpts -> [String]
instance GHC.Base.Monad m => Control.Monad.Writer.Class.MonadWriter [HsDev.Symbols.Location.ModuleLocation] (HsDev.Database.Update.Types.UpdateM m)
instance GHC.Base.Monad m => Control.Monad.Reader.Class.MonadReader HsDev.Database.Update.Types.UpdateState (HsDev.Database.Update.Types.UpdateM m)
instance GHC.Base.Functor m => GHC.Base.Functor (HsDev.Database.Update.Types.UpdateM m)
instance Control.Monad.Catch.MonadMask m => Control.Monad.Catch.MonadMask (HsDev.Database.Update.Types.UpdateM m)
instance Control.Monad.Catch.MonadCatch m => Control.Monad.Catch.MonadCatch (HsDev.Database.Update.Types.UpdateM m)
instance Control.Monad.Catch.MonadThrow m => Control.Monad.Catch.MonadThrow (HsDev.Database.Update.Types.UpdateM m)
instance Control.Monad.IO.Class.MonadIO m => Control.Monad.IO.Class.MonadIO (HsDev.Database.Update.Types.UpdateM m)
instance GHC.Base.MonadPlus m => GHC.Base.MonadPlus (HsDev.Database.Update.Types.UpdateM m)
instance Control.Monad.Fail.MonadFail m => Control.Monad.Fail.MonadFail (HsDev.Database.Update.Types.UpdateM m)
instance GHC.Base.Monad m => GHC.Base.Monad (HsDev.Database.Update.Types.UpdateM m)
instance GHC.Base.Alternative m => GHC.Base.Alternative (HsDev.Database.Update.Types.UpdateM m)
instance GHC.Base.Applicative m => GHC.Base.Applicative (HsDev.Database.Update.Types.UpdateM m)
instance Control.Monad.Trans.Class.MonadTrans HsDev.Database.Update.Types.UpdateM
instance (Control.Monad.IO.Class.MonadIO m, Control.Monad.Catch.MonadMask m) => System.Log.Simple.Monad.MonadLog (HsDev.Database.Update.Types.UpdateM m)
instance HsDev.Server.Types.ServerMonadBase m => HsDev.Server.Types.SessionMonad (HsDev.Database.Update.Types.UpdateM m)
instance HsDev.Server.Types.ServerMonadBase m => HsDev.Server.Types.CommandMonad (HsDev.Database.Update.Types.UpdateM m)
instance Control.Monad.Base.MonadBase b m => Control.Monad.Base.MonadBase b (HsDev.Database.Update.Types.UpdateM m)
instance Control.Monad.Trans.Control.MonadBaseControl b m => Control.Monad.Trans.Control.MonadBaseControl b (HsDev.Database.Update.Types.UpdateM m)
instance Data.Default.Class.Default HsDev.Database.Update.Types.UpdateOptions
instance Data.Aeson.Types.ToJSON.ToJSON HsDev.Database.Update.Types.Task
instance Data.Aeson.Types.FromJSON.FromJSON HsDev.Database.Update.Types.Task
instance Data.Aeson.Types.ToJSON.ToJSON HsDev.Database.Update.Types.Progress
instance Data.Aeson.Types.FromJSON.FromJSON HsDev.Database.Update.Types.Progress
instance Data.Aeson.Types.ToJSON.ToJSON HsDev.Database.Update.Types.Status
instance Data.Aeson.Types.FromJSON.FromJSON HsDev.Database.Update.Types.Status

module HsDev.Database.SQLite.Transaction

-- | Three types of transactions
data TransactionType
Deferred :: TransactionType
Immediate :: TransactionType
Exclusive :: TransactionType

-- | Retry config
data Retries
Retries :: [Int] -> (SQLError -> Bool) -> Retries
[retriesIntervals] :: Retries -> [Int]
[retriesError] :: Retries -> SQLError -> Bool

-- | The default value for this type.
def :: Default a => a

-- | Don't retry
noRetry :: Retries

-- | Retry forever
retryForever :: Int -> Retries

-- | Retry with interval N times
retryN :: Int -> Int -> Retries

-- | Run actions inside transaction
withTransaction :: (MonadIO m, MonadMask m) => Connection -> TransactionType -> Retries -> m a -> m a

-- | Begin transaction
beginTransaction :: MonadIO m => Connection -> TransactionType -> m ()

-- | Commit transaction
commitTransaction :: MonadIO m => Connection -> m ()

-- | Rollback transaction
rollbackTransaction :: MonadIO m => Connection -> m ()

-- | Run transaction in <tt>SessionMonad</tt>
transaction :: SessionMonad m => TransactionType -> Retries -> m a -> m a

-- | Transaction with default retries config
transaction_ :: SessionMonad m => TransactionType -> m a -> m a

-- | Retry operation
retry :: (MonadIO m, MonadCatch m) => Retries -> m a -> m a

-- | Retry with default params
retry_ :: (MonadIO m, MonadCatch m) => m a -> m a
instance GHC.Show.Show HsDev.Database.SQLite.Transaction.TransactionType
instance GHC.Read.Read HsDev.Database.SQLite.Transaction.TransactionType
instance GHC.Classes.Ord HsDev.Database.SQLite.Transaction.TransactionType
instance GHC.Classes.Eq HsDev.Database.SQLite.Transaction.TransactionType
instance Data.Default.Class.Default HsDev.Database.SQLite.Transaction.Retries

module HsDev.Database.SQLite

-- | Initialize database
initialize :: String -> IO Connection
purge :: SessionMonad m => m ()

-- | Private memory for db
privateMemory :: String

-- | Shared db in memory
sharedMemory :: String
query :: (ToRow q, FromRow r, SessionMonad m) => Query -> q -> m [r]
query_ :: (FromRow r, SessionMonad m) => Query -> m [r]
queryNamed :: (FromRow r, SessionMonad m) => Query -> [NamedParam] -> m [r]
execute :: (ToRow q, SessionMonad m) => Query -> q -> m ()
execute_ :: SessionMonad m => Query -> m ()
executeMany :: (ToRow q, SessionMonad m) => Query -> [q] -> m ()
executeNamed :: SessionMonad m => Query -> [NamedParam] -> m ()
withTemporaryTable :: SessionMonad m => String -> [String] -> m a -> m a
updatePackageDb :: SessionMonad m => PackageDb -> [ModulePackage] -> m ()
removePackageDb :: SessionMonad m => PackageDb -> m ()
insertPackageDb :: SessionMonad m => PackageDb -> [ModulePackage] -> m ()
updateProject :: SessionMonad m => Project -> m ()
removeProject :: SessionMonad m => Project -> m ()
insertProject :: SessionMonad m => Project -> m ()
insertBuildInfo :: SessionMonad m => Info -> m Int
removeModuleContents :: SessionMonad m => Int -> m ()
removeModule :: SessionMonad m => Int -> m ()
lookupModuleLocation :: SessionMonad m => ModuleLocation -> m (Maybe Int)
lookupModule :: SessionMonad m => ModuleId -> m (Maybe Int)
lookupSymbol :: SessionMonad m => Int -> SymbolId -> m (Maybe Int)
lastRow :: SessionMonad m => m Int
loadModule :: SessionMonad m => Int -> m Module
loadModules :: (SessionMonad m, ToRow q) => String -> q -> m [Module]
loadProject :: SessionMonad m => Path -> m Project

-- | Update a bunch of modules
updateModules :: SessionMonad m => [InspectedModule] -> m ()
upsertModules :: SessionMonad m => [InspectedModule] -> m [Int]
lookupId :: SessionMonad m => ModuleLocation -> m Int
escapeLike :: Text -> Text

-- | The 1-tuple type or single-value "collection".
--   
--   This type is structurally equivalent to the <a>Identity</a> type, but
--   its intent is more about serving as the anonymous 1-tuple type missing
--   from Haskell for attaching typeclass instances.
--   
--   Parameter usage example:
--   
--   <pre>
--   encodeSomething (<a>Only</a> (42::Int))
--   </pre>
--   
--   Result usage example:
--   
--   <pre>
--   xs &lt;- decodeSomething
--   forM_ xs $ \(<a>Only</a> id) -&gt; {- ... -}
--   </pre>
newtype Only a
Only :: a -> Only a
[fromOnly] :: Only a -> a
data SQLData
SQLInteger :: !Int64 -> SQLData
SQLFloat :: !Double -> SQLData
SQLText :: !Text -> SQLData
SQLBlob :: !ByteString -> SQLData
SQLNull :: SQLData

-- | Exception thrown when SQLite3 reports an error.
--   
--   direct-sqlite may throw other types of exceptions if you misuse the
--   API.
data SQLError
SQLError :: !Error -> Text -> Text -> SQLError

-- | Error code returned by API call
[sqlError] :: SQLError -> !Error

-- | Text describing the error
[sqlErrorDetails] :: SQLError -> Text

-- | Indicates what action produced this error, e.g. <tt>exec "SELECT *
--   FROM foo"</tt>
[sqlErrorContext] :: SQLError -> Text

-- | <a>https://www.sqlite.org/c3ref/c_abort.html</a>
data Error

-- | Successful result
ErrorOK :: Error

-- | SQL error or missing database
ErrorError :: Error

-- | Internal logic error in SQLite
ErrorInternal :: Error

-- | Access permission denied
ErrorPermission :: Error

-- | Callback routine requested an abort
ErrorAbort :: Error

-- | The database file is locked
ErrorBusy :: Error

-- | A table in the database is locked
ErrorLocked :: Error

-- | A <tt>malloc()</tt> failed
ErrorNoMemory :: Error

-- | Attempt to write a readonly database
ErrorReadOnly :: Error

-- | Operation terminated by <tt>sqlite3_interrupt()</tt>
ErrorInterrupt :: Error

-- | Some kind of disk I/O error occurred
ErrorIO :: Error

-- | The database disk image is malformed
ErrorCorrupt :: Error

-- | Unknown opcode in <tt>sqlite3_file_control()</tt>
ErrorNotFound :: Error

-- | Insertion failed because database is full
ErrorFull :: Error

-- | Unable to open the database file
ErrorCan'tOpen :: Error

-- | Database lock protocol error
ErrorProtocol :: Error

-- | Database is empty
ErrorEmpty :: Error

-- | The database schema changed
ErrorSchema :: Error

-- | String or BLOB exceeds size limit
ErrorTooBig :: Error

-- | Abort due to constraint violation
ErrorConstraint :: Error

-- | Data type mismatch
ErrorMismatch :: Error

-- | Library used incorrectly
ErrorMisuse :: Error

-- | Uses OS features not supported on host
ErrorNoLargeFileSupport :: Error

-- | Authorization denied
ErrorAuthorization :: Error

-- | Auxiliary database format error
ErrorFormat :: Error

-- | 2nd parameter to sqlite3_bind out of range
ErrorRange :: Error

-- | File opened that is not a database file
ErrorNotADatabase :: Error

-- | Notifications from sqlite3_log()
ErrorNotice :: Error

-- | Warnings from sqlite3_log()
ErrorWarning :: Error

-- | <tt>sqlite3_step()</tt> has another row ready
ErrorRow :: Error

-- | <tt>sqlite3_step()</tt> has finished executing
ErrorDone :: Error

-- | <a>http://www.sqlite.org/c3ref/total_changes.html</a>
--   
--   Return the total number of row changes caused by <tt>INSERT</tt>,
--   <tt>DELETE</tt>, or <tt>UPDATE</tt> statements since the
--   <tt>Database</tt> was opened.
totalChanges :: Connection -> IO Int

-- | <a>http://www.sqlite.org/c3ref/changes.html</a>
--   
--   Return the number of rows that were changed, inserted, or deleted by
--   the most recent <tt>INSERT</tt>, <tt>DELETE</tt>, or <tt>UPDATE</tt>
--   statement.
changes :: Connection -> IO Int

-- | Returns the rowid of the most recent successful INSERT on the given
--   database connection.
--   
--   See also <a>http://www.sqlite.org/c3ref/last_insert_rowid.html</a>.
lastInsertRowId :: Connection -> IO Int64

-- | Run an IO action inside a SQL transaction started with <tt>BEGIN
--   EXCLUSIVE TRANSACTION</tt>, which immediately blocks all other
--   database connections from writing, and other connections from reading
--   (exception: read_uncommitted connections are allowed to read.) If the
--   action throws any kind of an exception, the transaction will be rolled
--   back with <tt>ROLLBACK TRANSACTION</tt>. Otherwise the results are
--   committed with <tt>COMMIT TRANSACTION</tt>.
withExclusiveTransaction :: Connection -> IO a -> IO a

-- | Run an IO action inside a SQL transaction started with <tt>BEGIN
--   IMMEDIATE TRANSACTION</tt>, which immediately blocks all other
--   database connections from writing. The default SQLite3 <tt>BEGIN
--   TRANSACTION</tt> does not acquire the write lock on <tt>BEGIN</tt> nor
--   on <tt>SELECT</tt> but waits until you try to change data. If the
--   action throws any kind of an exception, the transaction will be rolled
--   back with <tt>ROLLBACK TRANSACTION</tt>. Otherwise the results are
--   committed with <tt>COMMIT TRANSACTION</tt>.
withImmediateTransaction :: Connection -> IO a -> IO a

-- | Extracts the next row from the prepared statement.
nextRow :: FromRow r => Statement -> IO (Maybe r)

-- | A version of <a>fold</a> where the query parameters (placeholders) are
--   named.
foldNamed :: FromRow row => Connection -> Query -> [NamedParam] -> a -> (a -> row -> IO a) -> IO a

-- | A version of <a>fold</a> which does not perform parameter
--   substitution.
fold_ :: FromRow row => Connection -> Query -> a -> (a -> row -> IO a) -> IO a

-- | Perform a <tt>SELECT</tt> or other SQL query that is expected to
--   return results. Results are converted and fed into the <tt>action</tt>
--   callback as they are being retrieved from the database.
--   
--   This allows gives the possibility of processing results in constant
--   space (for instance writing them to disk).
--   
--   Exceptions that may be thrown:
--   
--   <ul>
--   <li><a>FormatError</a>: the query string mismatched with given
--   arguments.</li>
--   <li><a>ResultError</a>: result conversion failed.</li>
--   </ul>
fold :: (FromRow row, ToRow params) => Connection -> Query -> params -> a -> (a -> row -> IO a) -> IO a

-- | A version of <a>query</a> that does not perform query substitution and
--   takes an explicit <a>RowParser</a>.
queryWith_ :: RowParser r -> Connection -> Query -> IO [r]

-- | A version of <a>query</a> that takes an explicit <a>RowParser</a>.
queryWith :: ToRow q => RowParser r -> Connection -> Query -> q -> IO [r]

-- | Opens a prepared statement, executes an action using this statement,
--   and closes the statement, even in the presence of exceptions.
withStatement :: Connection -> Query -> (Statement -> IO a) -> IO a

-- | Closes a prepared statement.
closeStatement :: Statement -> IO ()

-- | Opens a prepared statement. A prepared statement must always be closed
--   with a corresponding call to <a>closeStatement</a> before closing the
--   connection. Use <a>nextRow</a> to iterate on the values returned. Once
--   <a>nextRow</a> returns <a>Nothing</a>, you need to invoke <a>reset</a>
--   before reexecuting the statement again with <a>nextRow</a>.
openStatement :: Connection -> Query -> IO Statement

-- | Binds parameters to a prepared statement, and <a>reset</a>s the
--   statement when the callback completes, even in the presence of
--   exceptions.
--   
--   Use <a>withBind</a> to reuse prepared statements. Because it
--   <a>reset</a>s the statement <i>after</i> each usage, it avoids a
--   pitfall involving implicit transactions. SQLite creates an implicit
--   transaction if you don't say <tt>BEGIN</tt> explicitly, and does not
--   commit it until all active statements are finished with either
--   <a>reset</a> or <a>closeStatement</a>.
withBind :: ToRow params => Statement -> params -> IO a -> IO a

-- | Return number of columns in the query
columnCount :: Statement -> IO ColumnIndex

-- | Return the name of a a particular column in the result set of a
--   <a>Statement</a>. Throws an <a>ArrayException</a> if the colum index
--   is out of bounds.
--   
--   <a>http://www.sqlite.org/c3ref/column_name.html</a>
columnName :: Statement -> ColumnIndex -> IO Text

-- | Resets a statement. This does not reset bound parameters, if any, but
--   allows the statement to be reexecuted again by invoking
--   <a>nextRow</a>.
reset :: Statement -> IO ()

-- | Binds named parameters to a prepared statement.
bindNamed :: Statement -> [NamedParam] -> IO ()

-- | Binds parameters to a prepared statement. Once <a>nextRow</a> returns
--   <a>Nothing</a>, the statement must be reset with the <a>reset</a>
--   function before it can be executed again by calling <a>nextRow</a>.
bind :: ToRow params => Statement -> params -> IO ()

-- | <a>http://www.sqlite.org/c3ref/profile.html</a>
--   
--   Enable/disable tracing of SQL execution. Tracing can be disabled by
--   setting <a>Nothing</a> as the logger callback.
--   
--   Warning: If the logger callback throws an exception, your whole
--   program may crash. Enable only for debugging!
setTrace :: Connection -> Maybe (Text -> IO ()) -> IO ()

-- | Opens a database connection, executes an action using this connection,
--   and closes the connection, even in the presence of exceptions.
withConnection :: String -> (Connection -> IO a) -> IO a

-- | Close a database connection.
close :: Connection -> IO ()

-- | Open a database connection to a given file. Will throw an exception if
--   it cannot connect.
--   
--   Every <a>open</a> must be closed with a call to <a>close</a>.
--   
--   If you specify ":memory:" or an empty string as the input filename,
--   then a private, temporary in-memory database is created for the
--   connection. This database will vanish when you close the connection.
open :: String -> IO Connection

-- | An SQLite prepared statement.
newtype Statement
Statement :: Statement -> Statement
[unStatement] :: Statement -> Statement

-- | Index of a column in a result set. Column indices start from 0.
newtype ColumnIndex
ColumnIndex :: ColumnIndex -> ColumnIndex
data NamedParam
[:=] :: forall v. ToField v => Text -> v -> NamedParam
infixr 3 :=

-- | Exception thrown if a <a>Query</a> was malformed. This may occur if
--   the number of '<tt>?</tt>' characters in the query string does not
--   match the number of parameters provided.
data FormatError
FormatError :: String -> Query -> [String] -> FormatError
[fmtMessage] :: FormatError -> String
[fmtQuery] :: FormatError -> Query
[fmtParams] :: FormatError -> [String]
field :: FromField a => RowParser a

-- | A collection type that can be converted from a sequence of fields.
--   Instances are provided for tuples up to 10 elements and lists of any
--   length.
--   
--   Note that instances can defined outside of sqlite-simple, which is
--   often useful. For example, here's an instance for a user-defined pair:
--   
--   @data User = User { name :: String, fileQuota :: Int }
--   
--   instance <a>FromRow</a> User where fromRow = User &lt;$&gt;
--   <a>field</a> &lt;*&gt; <a>field</a> @
--   
--   The number of calls to <a>field</a> must match the number of fields
--   returned in a single row of the query result. Otherwise, a
--   <a>ConversionFailed</a> exception will be thrown.
--   
--   Note the caveats associated with user-defined implementations of
--   <a>fromRow</a>.
class FromRow a
fromRow :: FromRow a => RowParser a

-- | Exception thrown if conversion from a SQL value to a Haskell value
--   fails.
data ResultError

-- | The SQL and Haskell types are not compatible.
Incompatible :: String -> String -> String -> ResultError
[errSQLType] :: ResultError -> String
[errHaskellType] :: ResultError -> String
[errMessage] :: ResultError -> String

-- | A SQL <tt>NULL</tt> was encountered when the Haskell type did not
--   permit it.
UnexpectedNull :: String -> String -> String -> ResultError
[errSQLType] :: ResultError -> String
[errHaskellType] :: ResultError -> String
[errMessage] :: ResultError -> String

-- | The SQL value could not be parsed, or could not be represented as a
--   valid Haskell value, or an unexpected low-level error occurred (e.g.
--   mismatch between metadata and actual data in a row).
ConversionFailed :: String -> String -> String -> ResultError
[errSQLType] :: ResultError -> String
[errHaskellType] :: ResultError -> String
[errMessage] :: ResultError -> String

-- | A collection type that can be turned into a list of <a>SQLData</a>
--   elements.
class ToRow a

-- | <a>ToField</a> a collection of values.
toRow :: ToRow a => a -> [SQLData]

-- | A query string. This type is intended to make it difficult to
--   construct a SQL query by concatenating string fragments, as that is an
--   extremely common way to accidentally introduce SQL injection
--   vulnerabilities into an application.
--   
--   This type is an instance of <a>IsString</a>, so the easiest way to
--   construct a query is to enable the <tt>OverloadedStrings</tt> language
--   extension and then simply write the query in double quotes.
--   
--   <pre>
--   {-# LANGUAGE OverloadedStrings #-}
--   
--   import Database.SQLite.Simple
--   
--   q :: Query
--   q = "select ?"
--   </pre>
--   
--   The underlying type is a <tt>Text</tt>, and literal Haskell strings
--   that contain Unicode characters will be correctly transformed to
--   UTF-8.
newtype Query
Query :: Text -> Query
[fromQuery] :: Query -> Text

-- | A composite type to parse your custom data structures without having
--   to define dummy newtype wrappers every time.
--   
--   <pre>
--   instance FromRow MyData where ...
--   </pre>
--   
--   <pre>
--   instance FromRow MyData2 where ...
--   </pre>
--   
--   then I can do the following for free:
--   
--   <pre>
--   res &lt;- query' c "..."
--   forM res $ \(MyData{..} :. MyData2{..}) -&gt; do
--     ....
--   </pre>
data h :. t
(:.) :: h -> t -> (:.) h t
infixr 3 :.
infixr 3 :.

-- | Connection to an open database.
--   
--   You can use <a>connectionHandle</a> to gain access to the underlying
--   <a>http://hackage.haskell.org/package/direct-sqlite</a> connection.
--   This may be useful if you need to access some direct-sqlite
--   functionality that's not exposed in the sqlite-simple API. This should
--   be a safe thing to do although mixing both APIs is discouraged.
newtype Connection
Connection :: Database -> Connection
[connectionHandle] :: Connection -> Database

module HsDev.Inspect.Resolve

-- | Load environment and fixities from cache or sql
loadEnv :: SessionMonad m => Maybe Path -> m (Environment, FixitiesTable)

-- | Save environment and fixities to cache
saveEnv :: SessionMonad m => Maybe Path -> Environment -> FixitiesTable -> m ()

-- | Load environment from sql
loadEnvironment :: SessionMonad m => Maybe Path -> m Environment

-- | Load fixities from sql
loadFixities :: SessionMonad m => Maybe Path -> m FixitiesTable

-- | Run with temporary table for environment
withEnv :: SessionMonad m => Maybe Path -> m a -> m a

-- | Try resolve module symbols
resolveModule :: MonadThrow m => Environment -> FixitiesTable -> Preloaded -> InspectM ModuleLocation ModuleTag m Resolved

-- | Resolve just preloaded part of module, this will give imports and
--   scope
resolvePreloaded :: MonadThrow m => Environment -> Preloaded -> InspectM ModuleLocation ModuleTag m Resolved

-- | Resolve parsed module
resolve :: Environment -> Module SrcSpanInfo -> Resolved

-- | Save results in sql, updated temporary env table
updateResolveds :: SessionMonad m => Maybe Path -> [InspectedResolved] -> m ()

module HsDev.Inspect

-- | Preload module - load head and imports to get actual extensions and
--   dependencies
preload :: (MonadIO m, MonadCatch m) => Text -> [(String, String)] -> [String] -> Maybe Text -> InspectM ModuleLocation ModuleTag m Preloaded
data AnalyzeEnv
AnalyzeEnv :: Environment -> Map Name Fixity -> RefineTable -> AnalyzeEnv
[_analyzeEnv] :: AnalyzeEnv -> Environment
[_analyzeFixities] :: AnalyzeEnv -> Map Name Fixity
[_analyzeRefine] :: AnalyzeEnv -> RefineTable
analyzeEnv :: Lens' AnalyzeEnv Environment
analyzeFixities :: Lens' AnalyzeEnv (Map Name Fixity)
analyzeRefine :: Lens' AnalyzeEnv RefineTable
moduleAnalyzeEnv :: Module -> AnalyzeEnv

-- | Resolve module imports<i>exports</i>scope
analyzeResolve :: AnalyzeEnv -> Module -> Module

-- | Inspect preloaded module
analyzePreloaded :: AnalyzeEnv -> Preloaded -> Either String Module

-- | Extract file docs and set them to module declarations
inspectDocs :: [String] -> Module -> GhcM Module

-- | Like <tt>inspectDocs</tt>, but in <tt>Ghc</tt> monad
inspectDocsGhc :: [String] -> Module -> GhcM Module

-- | Inspect contents
inspectContents :: Text -> [(String, String)] -> [String] -> Text -> IO InspectedModule
contentsInspection :: Text -> [String] -> IO Inspection

-- | Inspect file
inspectFile :: [(String, String)] -> [String] -> Path -> Maybe Project -> Maybe Text -> IO InspectedModule

-- | Source inspection data, differs whether there are contents provided
sourceInspection :: Path -> Maybe Text -> [String] -> IO Inspection

-- | File modification time as posix time
fileMTime :: Path -> IO POSIXTime

-- | File inspection data
fileInspection :: Path -> [String] -> IO Inspection

-- | File contents inspection data
fileContentsInspection :: [String] -> IO Inspection

-- | File contents inspection data
fileContentsInspection_ :: [String] -> POSIXTime -> Inspection

-- | Installed module inspection data, just opts
installedInspection :: [String] -> IO Inspection

-- | Inspection by module location
moduleInspection :: ModuleLocation -> [String] -> IO Inspection

-- | Enumerate project dirs
projectDirs :: Project -> IO [Extensions Path]

-- | Enumerate project source files
projectSources :: Project -> IO [Extensions Path]

-- | Get actual defines
getDefines :: IO [(String, String)]
preprocess :: [(String, String)] -> Path -> Text -> IO Text
preprocess_ :: [(String, String)] -> [String] -> Path -> Text -> IO Text
instance GHC.Base.Semigroup HsDev.Inspect.AnalyzeEnv
instance GHC.Base.Monoid HsDev.Inspect.AnalyzeEnv

module HsDev.Scan

-- | Compile flags
type CompileFlag = String

-- | Module with flags ready to scan
type ModuleToScan = (ModuleLocation, [CompileFlag], Maybe Text)

-- | Project ready to scan
type ProjectToScan = (Project, [ModuleToScan])

-- | Package-db sandbox to scan (top of stack)
type PackageDbToScan = PackageDbStack

-- | Scan info
data ScanContents
ScanContents :: [ModuleToScan] -> [ProjectToScan] -> [PackageDbStack] -> ScanContents
[modulesToScan] :: ScanContents -> [ModuleToScan]
[projectsToScan] :: ScanContents -> [ProjectToScan]
[sandboxesToScan] :: ScanContents -> [PackageDbStack]
class EnumContents a
enumContents :: (EnumContents a, CommandMonad m) => a -> m ScanContents

-- | Enum rescannable (i.e. already scanned) file
enumRescan :: CommandMonad m => FilePath -> m ScanContents

-- | Enum file dependent
enumDependent :: CommandMonad m => FilePath -> m ScanContents

-- | Enum project sources
enumProject :: CommandMonad m => Project -> m ScanContents

-- | Enum sandbox
enumSandbox :: CommandMonad m => Sandbox -> m ScanContents

-- | Enum directory modules
enumDirectory :: CommandMonad m => FilePath -> m ScanContents

-- | Scan project file
scanProjectFile :: CommandMonad m => [String] -> Path -> m Project

-- | Scan additional info and modify scanned module
scanModify :: CommandMonad m => ([String] -> Module -> m Module) -> InspectedModule -> m InspectedModule

-- | Is inspected module up to date?
upToDate :: SessionMonad m => ModuleLocation -> [String] -> Inspection -> m Bool

-- | Returns new (to scan) and changed (to rescan) modules
changedModules :: SessionMonad m => Map ModuleLocation Inspection -> [String] -> [ModuleToScan] -> m [ModuleToScan]

-- | Returns file contents if it was set and still actual
getFileContents :: SessionMonad m => Path -> m (Maybe (POSIXTime, Text))
instance HsDev.Scan.EnumContents HsDev.Symbols.Location.ModuleLocation
instance HsDev.Scan.EnumContents (HsDev.Project.Types.Extensions HsDev.Symbols.Location.ModuleLocation)
instance HsDev.Scan.EnumContents HsDev.Project.Types.Project
instance HsDev.Scan.EnumContents HsDev.PackageDb.Types.PackageDbStack
instance HsDev.Scan.EnumContents HsDev.Project.Types.Sandbox
instance HsDev.Scan.EnumContents a => HsDev.Scan.EnumContents [a]
instance HsDev.Scan.EnumContents GHC.IO.FilePath
instance HsDev.Scan.EnumContents System.Directory.Paths.Path
instance HsDev.Scan.EnumContents HsDev.Server.Types.FileSource
instance Control.DeepSeq.NFData HsDev.Scan.ScanContents
instance GHC.Base.Semigroup HsDev.Scan.ScanContents
instance GHC.Base.Monoid HsDev.Scan.ScanContents
instance Text.Format.Formattable HsDev.Scan.ScanContents

module HsDev.Inspect.Order

-- | Order source files so that dependencies goes first and we are able to
--   resolve symbols and set fixities
orderBy :: (a -> Maybe Preloaded) -> [a] -> Either (DepsError Path) [a]
order :: [Preloaded] -> Either (DepsError Path) [Preloaded]

module HsDev.Watcher

-- | Watch for project sources changes
watchProject :: Watcher -> Project -> [String] -> IO ()

-- | Watch for standalone source
watchModule :: Watcher -> ModuleLocation -> IO ()

-- | Watch for top of package-db stack
watchPackageDb :: Watcher -> PackageDbStack -> [String] -> IO ()

-- | Watch for package-db stack
watchPackageDbStack :: Watcher -> PackageDbStack -> [String] -> IO ()
unwatchProject :: Watcher -> Project -> IO ()
unwatchModule :: Watcher -> ModuleLocation -> IO ()

-- | Unwatch package-db
unwatchPackageDb :: Watcher -> PackageDb -> IO ()
isSource :: Event -> Bool
isCabal :: Event -> Bool
isConf :: Event -> Bool

-- | Event
data Event
Event :: EventType -> FilePath -> POSIXTime -> Event
[_eventType] :: Event -> EventType
[_eventPath] :: Event -> FilePath
[_eventTime] :: Event -> POSIXTime

-- | Event type
data EventType
Added :: EventType
Modified :: EventType
Removed :: EventType
watcherChan :: Watcher a -> Chan (a, Event)

-- | Map from directory to watch stopper
watcherDirs :: Watcher a -> MVar (Map FilePath (Bool, IO ()))
watcherMan :: Watcher a -> WatchManager
eventPath :: Lens' Event FilePath
eventTime :: Lens' Event POSIXTime
eventType :: Lens' Event EventType

-- | Create watcher
withWatcher :: (Watcher a -> IO b) -> IO b

-- | Watch directory
watchDir :: Watcher a -> FilePath -> (Event -> Bool) -> a -> IO ()
watchDir_ :: Watcher () -> FilePath -> (Event -> Bool) -> IO ()

-- | Unwatch directory, return <tt>False</tt>, if not watched
unwatchDir :: Watcher a -> FilePath -> IO Bool

-- | Check if we are watching dir
isWatchingDir :: Watcher a -> FilePath -> IO Bool

-- | Watch directory tree
watchTree :: Watcher a -> FilePath -> (Event -> Bool) -> a -> IO ()
watchTree_ :: Watcher () -> FilePath -> (Event -> Bool) -> IO ()

-- | Unwatch directory tree
unwatchTree :: Watcher a -> FilePath -> IO Bool

-- | Check if we are watching tree
isWatchingTree :: Watcher a -> FilePath -> IO Bool

-- | Read next event
readEvent :: Watcher a -> IO (a, Event)

-- | Get event group
eventGroup :: Watcher a -> NominalDiffTime -> ([(a, Event)] -> IO ()) -> IO ()

-- | Process all events
onEvents :: Watcher a -> NominalDiffTime -> ([(a, Event)] -> IO ()) -> IO ()

-- | Process all events
onEvents_ :: Watcher a -> ([(a, Event)] -> IO ()) -> IO ()

module HsDev.Database.Update
data Status
StatusWorking :: Status
StatusOk :: Status
StatusError :: HsDevError -> Status
data Progress
Progress :: Int -> Int -> Progress
[progressCurrent] :: Progress -> Int
[progressTotal] :: Progress -> Int
data Task
Task :: String -> Status -> String -> String -> Maybe Progress -> Task
[_taskName] :: Task -> String
[_taskStatus] :: Task -> Status
[_taskSubjectType] :: Task -> String
[_taskSubjectName] :: Task -> String
[_taskProgress] :: Task -> Maybe Progress
data UpdateOptions
UpdateOptions :: [Task] -> [String] -> Bool -> Bool -> UpdateOptions
[_updateTasks] :: UpdateOptions -> [Task]
[_updateGhcOpts] :: UpdateOptions -> [String]
[_updateDocs] :: UpdateOptions -> Bool
[_updateInfer] :: UpdateOptions -> Bool
newtype UpdateM m a
UpdateM :: ReaderT UpdateState (WriterT [ModuleLocation] (ClientM m)) a -> UpdateM m a
[runUpdateM] :: UpdateM m a -> ReaderT UpdateState (WriterT [ModuleLocation] (ClientM m)) a
runUpdate :: ServerMonadBase m => UpdateOptions -> UpdateM m a -> ClientM m a

-- | Post status
postStatus :: UpdateMonad m => Task -> m ()

-- | Mark module as updated
updater :: UpdateMonad m => [ModuleLocation] -> m ()

-- | Run one task
runTask :: (Display t, UpdateMonad m, NFData a) => String -> t -> m a -> m a

-- | Run many tasks with numeration
runTasks :: UpdateMonad m => [m a] -> m [a]

-- | Run many tasks with numeration
runTasks_ :: UpdateMonad m => [m ()] -> m ()

-- | Scan modules
scanModules :: UpdateMonad m => [String] -> [ModuleToScan] -> m ()

-- | Scan source file, possibly scanning also related project and installed
--   modules
scanFile :: UpdateMonad m => [String] -> Path -> BuildTool -> Bool -> Bool -> m ()

-- | Scan source files, resolving dependent modules
scanFiles :: UpdateMonad m => [(FileSource, [String])] -> m ()

-- | Scan source file with contents and resolve dependent modules
scanFileContents :: UpdateMonad m => [String] -> Path -> Maybe Text -> m ()

-- | Scan cabal modules, doesn't rescan if already scanned
scanCabal :: UpdateMonad m => [String] -> m ()

-- | Prepare sandbox for scanning. This is used for stack project to build
--   &amp; configure.
prepareSandbox :: UpdateMonad m => Sandbox -> m ()

-- | Scan sandbox modules, doesn't rescan if already scanned
scanSandbox :: UpdateMonad m => [String] -> Sandbox -> m ()

-- | Scan top of package-db stack, usable for rescan
scanPackageDb :: UpdateMonad m => [String] -> PackageDbStack -> m ()

-- | Scan top of package-db stack, usable for rescan
scanPackageDbStack :: UpdateMonad m => [String] -> PackageDbStack -> m ()

-- | Scan project file
scanProjectFile :: UpdateMonad m => [String] -> BuildTool -> Path -> m Project

-- | Scan project and related package-db stack
scanProjectStack :: UpdateMonad m => [String] -> BuildTool -> Path -> m ()

-- | Scan project
scanProject :: UpdateMonad m => [String] -> BuildTool -> Path -> m ()

-- | Scan directory for source files and projects
scanDirectory :: UpdateMonad m => [String] -> Path -> m ()

-- | Scan installed docs
scanPackageDbStackDocs :: UpdateMonad m => [String] -> PackageDbStack -> m ()

-- | Scan docs for inspected modules
scanDocs :: UpdateMonad m => [Module] -> m ()

-- | Set inferred types for module
setModTypes :: UpdateMonad m => ModuleId -> [Note TypedExpr] -> m ()

-- | Infer types for modules
inferModTypes :: UpdateMonad m => [Module] -> m ()

-- | Generic scan function. Removed obsolete modules and calls callback on
--   changed modules.
scan :: UpdateMonad m => m [Only Int :. (ModuleLocation :. Inspection)] -> [ModuleToScan] -> [String] -> ([ModuleToScan] -> m ()) -> m ()
processEvents :: ([(Watched, Event)] -> IO ()) -> MVar (Async ()) -> MVar [(Watched, Event)] -> [(Watched, Event)] -> ClientM IO ()
updateEvents :: ServerMonadBase m => [(Watched, Event)] -> UpdateM m ()
applyUpdates :: UpdateOptions -> [(Watched, Event)] -> ClientM IO ()
cacheGhcWarnings :: Session -> [ModuleLocation] -> GhcM a -> GhcM a

-- | Get cached warnings
cachedWarnings :: SessionMonad m => [ModuleLocation] -> m [Note OutputMessage]
instance Control.DeepSeq.NFData HsDev.Database.Update.PreloadFailure

module HsDev.Client.Commands
runClient :: (ToJSON a, ServerMonadBase m) => CommandOptions -> ClientM m a -> ServerM m Result
runCommand :: ServerMonadBase m => Command -> ClientM m Value
instance Data.Aeson.Types.ToJSON.ToJSON System.Log.Simple.Base.Message
instance Data.Aeson.Types.FromJSON.FromJSON System.Log.Simple.Base.Message

module HsDev.Server.Base

-- | Inits log chan and returns functions (print message, wait channel)
initLog :: ServerOpts -> IO SessionLog

-- | Run server
runServer :: ServerOpts -> ServerM IO () -> IO ()
type Server = Worker (ServerM IO)

-- | Start listening for incoming connections
setupServer :: ServerOpts -> ServerM IO ()

-- | Shutdown server
shutdownServer :: ServerOpts -> ServerM IO ()
startServer :: ServerOpts -> IO Server
startServer_ :: ServerOpts -> IO Server
stopServer :: Server -> IO ()
withServer :: ServerOpts -> (Server -> IO a) -> IO a
withServer_ :: ServerOpts -> (Server -> IO a) -> IO a
inServer :: Server -> ServerM IO a -> IO a
clientCommand :: CommandOptions -> Command -> ServerM IO Result
parseCommand :: [String] -> Either String Command
readCommand :: [String] -> Command
sendServer :: Server -> CommandOptions -> [String] -> IO Result
sendServer_ :: Server -> [String] -> IO Result
findPath :: MonadIO m => CommandOptions -> FilePath -> m FilePath

-- | Process request, notifications can be sent during processing
processRequest :: SessionMonad m => CommandOptions -> Command -> m Result

-- | Process client, listen for requests and process them
processClient :: SessionMonad m => String -> Chan ByteString -> (ByteString -> IO ()) -> m ()

-- | Process client by socket
processClientSocket :: SessionMonad m => String -> Socket -> m ()

-- | If response points to mmap, get its contents and parse
unMmap :: Response -> IO Response
makeSocket :: ConnectionPort -> IO Socket
bindSocket :: Socket -> String -> ConnectionPort -> IO ()
connectSocket :: Socket -> String -> ConnectionPort -> IO ()

module HsDev.Server.Commands

-- | Server control command
data ServerCommand
Version :: Bool -> ServerCommand
Start :: ServerOpts -> ServerCommand
Run :: ServerOpts -> ServerCommand
Stop :: ClientOpts -> ServerCommand
Connect :: ClientOpts -> ServerCommand
Remote :: ClientOpts -> Bool -> Command -> ServerCommand

-- | Server options
data ServerOpts
ServerOpts :: ConnectionPort -> Int -> Maybe FilePath -> String -> Bool -> Maybe FilePath -> Bool -> Bool -> ServerOpts
[serverPort] :: ServerOpts -> ConnectionPort
[serverTimeout] :: ServerOpts -> Int
[serverLog] :: ServerOpts -> Maybe FilePath
[serverLogLevel] :: ServerOpts -> String
[serverLogNoColor] :: ServerOpts -> Bool
[serverDbFile] :: ServerOpts -> Maybe FilePath
[serverWatchFS] :: ServerOpts -> Bool
[serverSilent] :: ServerOpts -> Bool

-- | Client options
data ClientOpts
ClientOpts :: ConnectionPort -> Bool -> Bool -> Int -> Bool -> ClientOpts
[clientPort] :: ClientOpts -> ConnectionPort
[clientPretty] :: ClientOpts -> Bool
[clientStdin] :: ClientOpts -> Bool
[clientTimeout] :: ClientOpts -> Int
[clientSilent] :: ClientOpts -> Bool
data Request
Request :: Command -> FilePath -> Bool -> Int -> Bool -> Request
[requestCommand] :: Request -> Command
[requestDirectory] :: Request -> FilePath
[requestNoFile] :: Request -> Bool
[requestTimeout] :: Request -> Int
[requestSilent] :: Request -> Bool
type Msg a = (Bool, a)
isLisp :: Lens' (Msg a) Bool
msg :: Lens (Msg a) (Msg b) a b
jsonMsg :: a -> Msg a
lispMsg :: a -> Msg a
encodeMessage :: ToJSON a => Msg (Message a) -> ByteString

-- | Decode lisp or json request
decodeMessage :: FromJSON a => ByteString -> Either (Msg String) (Msg (Message a))
sendCommand :: ClientOpts -> Bool -> Command -> (Notification -> IO a) -> IO Result
runServerCommand :: ServerCommand -> IO ()
findPath :: MonadIO m => CommandOptions -> FilePath -> m FilePath

-- | Process request, notifications can be sent during processing
processRequest :: SessionMonad m => CommandOptions -> Command -> m Result

-- | Process client, listen for requests and process them
processClient :: SessionMonad m => String -> Chan ByteString -> (ByteString -> IO ()) -> m ()

-- | Process client by socket
processClientSocket :: SessionMonad m => String -> Socket -> m ()

module HsDev