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

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

isParent :: FilePath -> FilePath -> Bool

Is one path parent of another

haskellSource :: FilePath -> Bool

Is haskell source?

cabalFile :: FilePath -> Bool

Is cabal file?

String utils

tab :: Int -> String -> String

Add N tabs to line

tabs :: Int -> String -> String

Add N tabs to multiline

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

jsonUnion :: (ToJSON a, ToJSON b) => a -> b -> Value

Union two JSON objects

noNulls :: [Pair] -> [Pair]

No Nulls in JSON object

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

liftEIO :: (MonadCatch m, MonadIO m) => IO a -> ExceptT String m a

liftE for IO

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

Run actions ignoring errors

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

liftExceptionM :: (MonadCatch m, MonadError String m) => m a -> m a

Lift IO exception to MonadError

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

Lift IO exceptions to ExceptT

eitherT :: MonadError String m => Either String a -> m a

liftThrow :: (Show e, MonadError e m, MonadCatch m) => m a -> m a

Throw error as exception

UTF-8

fromUtf8 :: ByteString -> String

toUtf8 :: String -> ByteString

readFileUtf8 :: FilePath -> IO String

Read file in UTF8

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

IO

hGetLineBS :: Handle -> IO ByteString

logException :: String -> (String -> IO ()) -> IO () -> IO ()

logIO :: MonadCatch m => String -> (String -> m ()) -> m () -> m ()

ignoreIO :: IO () -> IO ()

logAsync :: (MonadIO m, MonadCatch m) => (String -> m ()) -> m () -> m ()

Async

liftAsync :: (MonadThrow m, MonadCatch m, MonadIO m) => IO (Async a) -> ExceptT String m a

Command line

class FromCmd a where

Minimal complete definition

cmdP

Methods

cmdP :: Parser a

Instances

FromCmd SearchQuery

Methods

cmdP :: Parser SearchQuery

FromCmd TargetFilter

Methods

cmdP :: Parser TargetFilter

FromCmd FileSource

Methods

cmdP :: Parser FileSource

FromCmd AutoFixCommand

Methods

cmdP :: Parser AutoFixCommand

FromCmd Command

Methods

cmdP :: Parser Command

FromCmd ClientOpts

Methods

cmdP :: Parser ClientOpts

FromCmd ServerOpts

Methods

cmdP :: Parser ServerOpts

FromCmd ServerCommand

Methods

cmdP :: Parser ServerCommand

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

withCmd :: String -> (Object -> Parser a) -> Value -> Parser a

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

cutVersion :: Maybe [Int] -> Maybe [Int]

Cut version to contain only significant numbers (currently 3)

sameVersion :: Maybe [Int] -> Maybe [Int] -> Bool

Check if version is the same

strVersion :: Maybe [Int] -> String

Version to string

Reexportss

module Control.Monad.Except

class Monad m => MonadIO m 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)

Instances

MonadIO IO

Methods

liftIO :: IO a -> IO a

MonadIO Ghc

Methods

liftIO :: IO a -> Ghc a

MonadIO Hsc

Methods

liftIO :: IO a -> Hsc a

(Applicative m, MonadIO m) => MonadIO (GhcT m)

Methods

liftIO :: IO a -> GhcT m a

MonadIO m => MonadIO (MaybeT m)

Methods

liftIO :: IO a -> MaybeT m a

MonadIO m => MonadIO (ListT m)

Methods

liftIO :: IO a -> ListT m a

MonadIO m => MonadIO (LogT m)

Methods

liftIO :: IO a -> LogT m a

MonadIO m => MonadIO (ClientM m)

Methods

liftIO :: IO a -> ClientM m a

MonadIO m => MonadIO (ServerM m)

Methods

liftIO :: IO a -> ServerM m a

MonadIO m => MonadIO (UpdateM m)

Methods

liftIO :: IO a -> UpdateM m a

MonadIO m => MonadIO (IdentityT * m)

Methods

liftIO :: IO a -> IdentityT * m a

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

Methods

liftIO :: IO a -> FreeT f m a

MonadIO m => MonadIO (ExceptT e m)

Methods

liftIO :: IO a -> ExceptT e m a

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

Methods

liftIO :: IO a -> ErrorT e m a

MonadIO m => MonadIO (StateT s m)

Methods

liftIO :: IO a -> StateT s m a

MonadIO m => MonadIO (StateT s m)

Methods

liftIO :: IO a -> StateT s m a

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

Methods

liftIO :: IO a -> WriterT w m a

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

Methods

liftIO :: IO a -> WriterT w m a

MonadIO m => MonadIO (MGhcT s m)

Methods

liftIO :: IO a -> MGhcT s m a

MonadIO m => MonadIO (ContT * r m)

Methods

liftIO :: IO a -> ContT * r m a

MonadIO m => MonadIO (ReaderT * r m)

Methods

liftIO :: IO a -> ReaderT * r m a

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

Methods

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

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

Methods

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