Shelly.Pipe

This module is a wrapper for the module Shelly. The only difference is a main type Sh. In this module Sh contains a list of results. Actual definition of the type Sh is:

import qualified Shelly as S

newtype Sh a = Sh { unSh :: S.Sh [a] }

This definition can simplify some filesystem commands. A monad bind operator becomes a pipe operator and we can write

findExt ext = findWhen (pure . hasExt ext)

main :: IO ()
main = shs $ do
    mkdir "new"
    findExt "hs"  "." >>= flip cp "new"
    findExt "cpp" "." >>= rm_f 
    liftIO $ putStrLn "done"

Monad methods "return" and ">>=" behave like methods for ListT Shelly.Sh, but ">>" forgets the number of the empty effects. So the last line prints "done" only once.

Documentation in this module mostly just reference documentation from the main Shelly module.

{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE ExtendedDefaultRules #-}
{-# OPTIONS_GHC -fno-warn-type-defaults #-}
import Shelly
import Data.Text as T
default (T.Text)

Entering Sh.

data Sh a

This type is a simple wrapper for a type Shelly.Sh. Sh contains a list of results.

Instances

MonadIO Sh

Defined in Shelly.Pipe

Methods

liftIO :: IO a -> Sh a

Alternative Sh

Defined in Shelly.Pipe

Methods

empty :: Sh a

(<|>) :: Sh a -> Sh a -> Sh a

some :: Sh a -> Sh [a]

many :: Sh a -> Sh [a]

Applicative Sh

Defined in Shelly.Pipe

Methods

pure :: a -> Sh a

(<*>) :: Sh (a -> b) -> Sh a -> Sh b

liftA2 :: (a -> b -> c) -> Sh a -> Sh b -> Sh c

(*>) :: Sh a -> Sh b -> Sh b

(<*) :: Sh a -> Sh b -> Sh a

Functor Sh

Defined in Shelly.Pipe

Methods

fmap :: (a -> b) -> Sh a -> Sh b

(<$) :: a -> Sh b -> Sh a

Monad Sh

Defined in Shelly.Pipe

Methods

(>>=) :: Sh a -> (a -> Sh b) -> Sh b

(>>) :: Sh a -> Sh b -> Sh b

return :: a -> Sh a

MonadPlus Sh

Defined in Shelly.Pipe

Methods

mzero :: Sh a

mplus :: Sh a -> Sh a -> Sh a

shs :: MonadIO m => Sh () -> m ()

Performs shelly and then an empty action return ().

shelly :: MonadIO m => Sh a -> m [a]

see shelly

shellyFailDir :: MonadIO m => Sh a -> m [a]

see shellyFailDir

shsFailDir :: MonadIO m => Sh () -> m ()

Performs shellyFailDir and then an empty action return ().

sub :: Sh a -> Sh a

see sub

silently :: Sh a -> Sh a

verbosely :: Sh a -> Sh a

escaping :: Bool -> Sh a -> Sh a

see escaping

print_stdout :: Bool -> Sh a -> Sh a

see print_stdout

print_commands :: Bool -> Sh a -> Sh a

see 'S.print_commands

tracing :: Bool -> Sh a -> Sh a

see tracing

errExit :: Bool -> Sh a -> Sh a

see errExit

log_stdout_with :: (Text -> IO ()) -> Sh a -> Sh a

see log_stdout_with

log_stderr_with :: (Text -> IO ()) -> Sh a -> Sh a

see log_stderr_with

List functions

roll :: Sh [a] -> Sh a

Pack list of results. It performs concat inside Sh.

unroll :: Sh a -> Sh [a]

Unpack list of results.

liftSh :: ([a] -> [b]) -> Sh a -> Sh b

Transform result as list. It can be useful for filtering.

Running external commands.

type FoldCallback a = a -> Text -> a

run :: FilePath -> [Text] -> Sh Text

see run

run_ :: FilePath -> [Text] -> Sh ()

see run_

runFoldLines :: a -> FoldCallback a -> FilePath -> [Text] -> Sh a

see runFoldLines

cmd :: ShellCommand result => FilePath -> result

see cmd

(-|-) :: Sh Text -> Sh b -> Sh b

see -|-

lastStderr :: Sh Text

see lastStderr

setStdin :: Text -> Sh ()

see setStdin

lastExitCode :: Sh Int

see lastExitCode

command :: FilePath -> [Text] -> [Text] -> Sh Text

see command

command_ :: FilePath -> [Text] -> [Text] -> Sh ()

see command_

command1 :: FilePath -> [Text] -> Text -> [Text] -> Sh Text

see command1

command1_ :: FilePath -> [Text] -> Text -> [Text] -> Sh ()

see command1_

sshPairs :: Text -> [(FilePath, [Text])] -> Sh Text

see sshPairs

sshPairs_ :: Text -> [(FilePath, [Text])] -> Sh ()

see sshPairs_

Modifying and querying environment.

setenv :: Text -> Text -> Sh ()

see setenv

get_env :: Text -> Sh (Maybe Text)

see get_env

get_env_text :: Text -> Sh Text

see get_env_text

get_env_def :: Text -> Text -> Sh Text

Deprecated: use fromMaybe DEFAULT get_env

see get_env_def

appendToPath :: FilePath -> Sh ()

see appendToPath

prependToPath :: FilePath -> Sh ()

see prependToPath

Environment directory

cd :: FilePath -> Sh ()

see cd

chdir :: FilePath -> Sh a -> Sh a

see chdir

pwd :: Sh FilePath

see pwd

Printing

echo :: Text -> Sh ()

Echo text to standard (error, when using _err variants) output. The _n variants do not print a final newline.

echo_n :: Text -> Sh ()

Echo text to standard (error, when using _err variants) output. The _n variants do not print a final newline.

echo_err :: Text -> Sh ()

Echo text to standard (error, when using _err variants) output. The _n variants do not print a final newline.

echo_n_err :: Text -> Sh ()

Echo text to standard (error, when using _err variants) output. The _n variants do not print a final newline.

inspect :: Show s => s -> Sh ()

see inspect

inspect_err :: Show s => s -> Sh ()

see inspect_err

tag :: Sh a -> Text -> Sh a

see tag

trace :: Text -> Sh ()

see trace

show_command :: FilePath -> [Text] -> Text

see show_command

Querying filesystem.

ls :: FilePath -> Sh FilePath

see ls

lsT :: FilePath -> Sh Text

see lsT

test_e :: FilePath -> Sh Bool

see test_e

test_f :: FilePath -> Sh Bool

see test_f

test_d :: FilePath -> Sh Bool

see test_d

test_s :: FilePath -> Sh Bool

see test_s

which :: FilePath -> Sh (Maybe FilePath)

see 'S.which

Filename helpers

absPath :: FilePath -> Sh FilePath

see absPath

(</>) :: (ToFilePath filepath1, ToFilePath filepath2) => filepath1 -> filepath2 -> FilePath

uses System.FilePath.CurrentOS, but can automatically convert a Text

(<.>) :: ToFilePath filepath => filepath -> Text -> FilePath

uses System.FilePath.CurrentOS, but can automatically convert a Text

canonic :: FilePath -> Sh FilePath

see canonic

canonicalize :: FilePath -> Sh FilePath

see canonicalize

relPath :: FilePath -> Sh FilePath

see relPath

relativeTo

Arguments

:: FilePath

anchor path, the prefix

-> FilePath

make this relative to anchor path

-> Sh FilePath

see relativeTo

hasExt :: Text -> FilePath -> Bool

flipped hasExtension for Text

Manipulating filesystem.

mv :: FilePath -> FilePath -> Sh ()

see mv

rm :: FilePath -> Sh ()

see rm

rm_f :: FilePath -> Sh ()

see rm_f

rm_rf :: FilePath -> Sh ()

see rm_rf

cp :: FilePath -> FilePath -> Sh ()

see cp

cp_r :: FilePath -> FilePath -> Sh ()

see cp_r

mkdir :: FilePath -> Sh ()

see mkdir

mkdir_p :: FilePath -> Sh ()

see mkdir_p

mkdirTree :: Tree FilePath -> Sh ()

see mkdirTree

reading/writing Files

readfile :: FilePath -> Sh Text

see readFile

readBinary :: FilePath -> Sh ByteString

see readBinary

writefile :: FilePath -> Text -> Sh ()

see writeFile

appendfile :: FilePath -> Text -> Sh ()

see appendFile

touchfile :: FilePath -> Sh ()

see touchFile

withTmpDir :: (FilePath -> Sh a) -> Sh a

see withTmpDir

exiting the program

exit :: Int -> Sh ()

see exit

errorExit :: Text -> Sh ()

see errorExit

quietExit :: Int -> Sh ()

see quietExit

terror :: Text -> Sh a

see terror

Exceptions

catchany :: IO a -> (SomeException -> IO a) -> IO a

A helper to catch any exception (same as ... catch (e :: SomeException) -> ...).

catch_sh :: Exception e => Sh a -> (e -> Sh a) -> Sh a

see catch_sh

finally_sh :: Sh a -> Sh b -> Sh a

see finally_sh

data ShellyHandler a

see ShellyHandler

Constructors

forall e.Exception e => ShellyHandler (e -> Sh a)

catches_sh :: Sh a -> [ShellyHandler a] -> Sh a

see catches_sh

catchany_sh :: Sh a -> (SomeException -> Sh a) -> Sh a

see catchany_sh

convert between Text and FilePath

toTextIgnore :: FilePath -> Text

silently uses the Right or Left value of "Filesystem.Path.CurrentOS.toText"

toTextWarn :: FilePath -> Sh Text

see toTextWarn

fromText :: Text -> FilePath

Utilities.

(<$>) :: Functor f => (a -> b) -> f a -> f b infixl 4

An infix synonym for fmap.

The name of this operator is an allusion to $. Note the similarities between their types:

 ($)  ::              (a -> b) ->   a ->   b
(<$>) :: Functor f => (a -> b) -> f a -> f b

Whereas $ is function application, <$> is function application lifted over a Functor.

Examples

Convert from a Maybe Int to a Maybe String using show:

>>> show <$> Nothing
Nothing
>>> show <$> Just 3
Just "3"

Convert from an Either Int Int to an Either Int String using show:

>>> show <$> Left 17
Left 17
>>> show <$> Right 17
Right "17"

Double each element of a list:

>>> (*2) <$> [1,2,3]
[2,4,6]

Apply even to the second element of a pair:

>>> even <$> (2,2)
(2,True)

whenM :: Monad m => m Bool -> m () -> m ()

A monadic-conditional version of the "when" guard.

unlessM :: Monad m => m Bool -> m () -> m ()

A monadic-conditional version of the unless guard.

time :: Sh a -> Sh (Double, a)

see time

Re-exported for your convenience

liftIO :: MonadIO m => IO a -> m a

Lift a computation from the IO monad. This allows us to run IO computations in any monadic stack, so long as it supports these kinds of operations (i.e. IO is the base monad for the stack).

Example

import Control.Monad.Trans.State -- from the "transformers" library

printState :: Show s => StateT s IO ()
printState = do
  state <- get
  liftIO $ print state

Had we omitted liftIO, we would have ended up with this error:

• Couldn't match type ‘IO’ with ‘StateT s IO’
 Expected type: StateT s IO ()
   Actual type: IO ()

The important part here is the mismatch between StateT s IO () and IO ().

Luckily, we know of a function that takes an IO a and returns an (m a): liftIO, enabling us to run the program and see the expected results:

> evalStateT printState "hello"
"hello"

> evalStateT printState 3
3

when :: Applicative f => Bool -> f () -> f ()

Conditional execution of Applicative expressions. For example,

when debug (putStrLn "Debugging")

will output the string Debugging if the Boolean value debug is True, and otherwise do nothing.

unless :: Applicative f => Bool -> f () -> f ()

The reverse of when.

data FilePath

Instances

Data FilePath

Defined in Filesystem.Path.Internal

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FilePath -> c FilePath

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FilePath

toConstr :: FilePath -> Constr

dataTypeOf :: FilePath -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c FilePath)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FilePath)

gmapT :: (forall b. Data b => b -> b) -> FilePath -> FilePath

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FilePath -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FilePath -> r

gmapQ :: (forall d. Data d => d -> u) -> FilePath -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> FilePath -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> FilePath -> m FilePath

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FilePath -> m FilePath

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FilePath -> m FilePath

NFData FilePath

Defined in Filesystem.Path.Internal

Methods

rnf :: FilePath -> ()

Eq FilePath

Defined in Filesystem.Path.Internal

Methods

(==) :: FilePath -> FilePath -> Bool

(/=) :: FilePath -> FilePath -> Bool

Ord FilePath

Defined in Filesystem.Path.Internal

Methods

compare :: FilePath -> FilePath -> Ordering

(<) :: FilePath -> FilePath -> Bool

(<=) :: FilePath -> FilePath -> Bool

(>) :: FilePath -> FilePath -> Bool

(>=) :: FilePath -> FilePath -> Bool

max :: FilePath -> FilePath -> FilePath

min :: FilePath -> FilePath -> FilePath

CmdArg FilePath

Defined in Shelly

Methods

toTextArg :: FilePath -> Text

internal functions for writing extensions

get :: Sh State

put :: State -> Sh ()

find functions

find :: FilePath -> Sh FilePath

see find

findWhen :: (FilePath -> Sh Bool) -> FilePath -> Sh FilePath

see findWhen

findFold :: (a -> FilePath -> Sh a) -> a -> FilePath -> Sh a

see findFold

findDirFilter :: (FilePath -> Sh Bool) -> FilePath -> Sh FilePath

see findDirFilter

findDirFilterWhen

Arguments

:: (FilePath -> Sh Bool)

directory filter

-> (FilePath -> Sh Bool)

file filter

-> FilePath

directory

-> Sh FilePath

see findDirFilterWhen

findFoldDirFilter :: (a -> FilePath -> Sh a) -> a -> (FilePath -> Sh Bool) -> FilePath -> Sh a

see findFoldDirFilterWhen

followSymlink :: Bool -> Sh a -> Sh a

see followSymlink