HsDev.Util

Documentation

withCurrentDirectory :: (MonadIO m, MonadMask m) => FilePath -> m a -> m a

Run action with current directory set

directoryContents :: FilePath -> IO [FilePath]

Get directory contents safely: no fail, ignoring symbolic links, also prepends paths with dir name

traverseDirectory :: FilePath -> IO [FilePath]

Collect all file names in directory recursively

searchPath :: (MonadIO m, MonadPlus m) => FilePath -> (FilePath -> m a) -> m a

Search something up

haskellSource :: FilePath -> Bool

Is haskell source?

cabalFile :: FilePath -> Bool

Is cabal file?

String utils

tab :: Int -> String -> String

Add N tabs to line

trim :: String -> String

Trim string

split :: (a -> Bool) -> [a] -> [[a]]

Split list

Other utils

ordNub :: Ord a => [a] -> [a]

nub is quadratic, https://github.com/nh2/haskell-ordnub/#ordnub

uniqueBy :: Ord b => (a -> b) -> [a] -> [a]

mapBy :: Ord b => (a -> b) -> [a] -> Map b a

Helper

(.::) :: FromJSON a => HashMap Text Value -> Text -> Parser 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 (Maybe a)

Returns Nothing when key doesn't exist or value is Null

(.::?!) :: FromJSON a => HashMap Text Value -> Text -> Parser [a]

Same as .::? for list, returns empty list for non-existant key or Null value

objectUnion :: Value -> Value -> Value

Union two JSON objects

noNulls :: [Pair] -> [Pair]

No Nulls in JSON object

fromJSON' :: FromJSON a => Value -> Maybe a

Try convert json to value

Exceptions

liftException :: MonadCatch m => m a -> ExceptT String m a

Lift IO exception to ExceptT

liftE :: MonadCatch m => m a -> ExceptT String m a

Same as liftException

tries :: MonadPlus m => [m a] -> m [a]

Run actions ignoring errors

triesMap :: MonadPlus m => (a -> m b) -> [a] -> m [b]

liftIOErrors :: MonadCatch m => ExceptT String m a -> ExceptT String m a

Lift IO exceptions to ExceptT

logAll :: (MonadLog m, MonadCatch m) => m () -> m ()

Log exceptions and ignore

UTF-8

fromUtf8 :: ByteString -> String

toUtf8 :: String -> ByteString

readFileUtf8 :: FilePath -> IO Text

Read file in UTF8

writeFileUtf8 :: FilePath -> Text -> IO ()

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 ()

Command line

class FromCmd a where

Methods

cmdP :: Parser a

Instances

FromCmd SearchQuery

Defined in HsDev.Server.Types

Methods

cmdP :: Parser SearchQuery

FromCmd TargetFilter

Defined in HsDev.Server.Types

Methods

cmdP :: Parser TargetFilter

FromCmd FileSource

Defined in HsDev.Server.Types

Methods

cmdP :: Parser FileSource

FromCmd Command

Defined in HsDev.Server.Types

Methods

cmdP :: Parser Command

FromCmd ClientOpts

Defined in HsDev.Server.Types

Methods

cmdP :: Parser ClientOpts

FromCmd ServerOpts

Defined in HsDev.Server.Types

Methods

cmdP :: Parser ServerOpts

FromCmd ServerCommand

Defined in HsDev.Server.Types

Methods

cmdP :: Parser ServerCommand

cmdJson :: String -> [Pair] -> Value

guardCmd :: String -> Object -> Parser ()

withHelp :: Parser a -> Parser a

Add help command to parser

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

Subcommand

parseArgs :: String -> ParserInfo a -> [String] -> Either String a

Parse arguments or return help

Version stuff

version :: Maybe [Int]

Get hsdev version as list of integers

Parse

parseDT :: (Monad m, Text a) => String -> String -> m a

Parse Distribution.Text

Log utils

timer :: MonadLog m => Text -> m a -> m a

Measure time of action

Reexportss

module Control.Monad.Except

class Monad m => MonadIO (m :: Type -> Type) where

Monads in which IO computations may be embedded. Any monad built by applying a sequence of monad transformers to the IO monad will be an instance of this class.

Instances should satisfy the following laws, which state that liftIO is a transformer of monads:

• liftIO . return = return

• liftIO (m >>= f) = liftIO m >>= (liftIO . f)

Methods

liftIO :: IO a -> m a

Lift a computation from the IO monad.

Instances

MonadIO IO

Since: base-4.9.0.0

Defined in Control.Monad.IO.Class

Methods

liftIO :: IO a -> IO a

MonadIO Q

Defined in Language.Haskell.TH.Syntax

Methods

liftIO :: IO a -> Q a

MonadIO Ghc

Defined in GhcMonad

Methods

liftIO :: IO a -> Ghc a

MonadIO Hsc

Defined in HscTypes

Methods

liftIO :: IO a -> Hsc a

MonadIO Q

Defined in Language.Haskell.TH.Syntax

Methods

liftIO :: IO a -> Q a

MonadIO Sh

Defined in Shelly.Base

Methods

liftIO :: IO a -> Sh a

MonadIO ErrMsgGhc

Defined in Haddock.Types

Methods

liftIO :: IO a -> ErrMsgGhc a

MonadIO m => MonadIO (MaybeT m)

Defined in Control.Monad.Trans.Maybe

Methods

liftIO :: IO a -> MaybeT m a

MonadIO m => MonadIO (ResourceT m)

Defined in Control.Monad.Trans.Resource.Internal

Methods

liftIO :: IO a -> ResourceT m a

MonadIO m => MonadIO (GhcT m)

Defined in GhcMonad

Methods

liftIO :: IO a -> GhcT m a

MonadIO m => MonadIO (ListT m)

Defined in Control.Monad.Trans.List

Methods

liftIO :: IO a -> ListT m a

MonadIO m => MonadIO (LogT m)

Defined in System.Log.Simple.Monad

Methods

liftIO :: IO a -> LogT m a

MonadIO m => MonadIO (ClientM m)

Defined in HsDev.Server.Types

Methods

liftIO :: IO a -> ClientM m a

MonadIO m => MonadIO (ServerM m)

Defined in HsDev.Server.Types

Methods

liftIO :: IO a -> ServerM m a

MonadIO m => MonadIO (UpdateM m)

Defined in HsDev.Database.Update.Types

Methods

liftIO :: IO a -> UpdateM m a

MonadIO m => MonadIO (IdentityT m)

Defined in Control.Monad.Trans.Identity

Methods

liftIO :: IO a -> IdentityT m a

(Monoid w, MonadIO m) => MonadIO (WriterT w m)

Defined in Control.Monad.Trans.Writer.Strict

Methods

liftIO :: IO a -> WriterT w m a

(Monoid w, MonadIO m) => MonadIO (WriterT w m)

Defined in Control.Monad.Trans.Writer.Lazy

Methods

liftIO :: IO a -> WriterT w m a

MonadIO m => MonadIO (StateT s m)

Defined in Control.Monad.Trans.State.Strict

Methods

liftIO :: IO a -> StateT s m a

MonadIO m => MonadIO (StateT s m)

Defined in Control.Monad.Trans.State.Lazy

Methods

liftIO :: IO a -> StateT s m a

MonadIO m => MonadIO (ExceptT e m)

Defined in Control.Monad.Trans.Except

Methods

liftIO :: IO a -> ExceptT e m a

(Functor f, MonadIO m) => MonadIO (FreeT f m)

Defined in Control.Monad.Trans.Free

Methods

liftIO :: IO a -> FreeT f m a

(Error e, MonadIO m) => MonadIO (ErrorT e m)

Defined in Control.Monad.Trans.Error

Methods

liftIO :: IO a -> ErrorT e m a

(Monoid w, Functor m, MonadIO m) => MonadIO (AccumT w m)

Defined in Control.Monad.Trans.Accum

Methods

liftIO :: IO a -> AccumT w m a

MonadIO m => MonadIO (SelectT r m)

Defined in Control.Monad.Trans.Select

Methods

liftIO :: IO a -> SelectT r m a

MonadIO m => MonadIO (ReaderT r m)

Defined in Control.Monad.Trans.Reader

Methods

liftIO :: IO a -> ReaderT r m a

MonadIO m => MonadIO (ConduitT i o m)

Defined in Data.Conduit.Internal.Conduit

Methods

liftIO :: IO a -> ConduitT i o m a

MonadIO m => MonadIO (ContT r m)

Defined in Control.Monad.Trans.Cont

Methods

liftIO :: IO a -> ContT r m a

MonadIO m => MonadIO (MGhcT s d m)

Defined in HsDev.Tools.Ghc.MGhc

Methods

liftIO :: IO a -> MGhcT s d m a

MonadIO m => MonadIO (InspectM k t m)

Defined in HsDev.Symbols.Types

Methods

liftIO :: IO a -> InspectM k t m a

(Monoid w, MonadIO m) => MonadIO (RWST r w s m)

Defined in Control.Monad.Trans.RWS.Strict

Methods

liftIO :: IO a -> RWST r w s m a

(Monoid w, MonadIO m) => MonadIO (RWST r w s m)

Defined in Control.Monad.Trans.RWS.Lazy

Methods

liftIO :: IO a -> RWST r w s m a

MonadIO m => MonadIO (Pipe l i o u m)

Defined in Data.Conduit.Internal.Pipe

Methods

liftIO :: IO a -> Pipe l i o u m a