Safe Haskell	Safe-Inferred
Language	Haskell2010

Shelly.Pipe

Contents

Entering Sh.
List functions
Running external commands.
Modifying and querying environment.
Environment directory
Printing
Querying filesystem.
Filename helpers
Manipulating filesystem.
reading/writing Files
exiting the program
Exceptions
convert between Text and FilePath
Utilities.
Re-exported for your convenience
internal functions for writing extensions
find functions

Description

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)

Synopsis

data Sh a
shs :: MonadIO m => Sh () -> m ()
shelly :: MonadIO m => Sh a -> m [a]
shellyFailDir :: MonadIO m => Sh a -> m [a]
shsFailDir :: MonadIO m => Sh () -> m ()
sub :: Sh a -> Sh a
silently :: Sh a -> Sh a
verbosely :: Sh a -> Sh a
escaping :: Bool -> Sh a -> Sh a
print_stdout :: Bool -> Sh a -> Sh a
print_commands :: Bool -> Sh a -> Sh a
tracing :: Bool -> Sh a -> Sh a
errExit :: Bool -> Sh a -> Sh a
log_stdout_with :: (Text -> IO ()) -> Sh a -> Sh a
log_stderr_with :: (Text -> IO ()) -> Sh a -> Sh a
roll :: Sh [a] -> Sh a
unroll :: Sh a -> Sh [a]
liftSh :: ([a] -> [b]) -> Sh a -> Sh b
type FoldCallback a = a -> Text -> a
run :: FilePath -> [Text] -> Sh Text
run_ :: FilePath -> [Text] -> Sh ()
runFoldLines :: a -> FoldCallback a -> FilePath -> [Text] -> Sh a
cmd :: ShellCommand result => FilePath -> result
(-|-) :: Sh Text -> Sh b -> Sh b
lastStderr :: Sh Text
setStdin :: Text -> Sh ()
lastExitCode :: Sh Int
command :: FilePath -> [Text] -> [Text] -> Sh Text
command_ :: FilePath -> [Text] -> [Text] -> Sh ()
command1 :: FilePath -> [Text] -> Text -> [Text] -> Sh Text
command1_ :: FilePath -> [Text] -> Text -> [Text] -> Sh ()
sshPairs :: Text -> [(FilePath, [Text])] -> Sh Text
sshPairs_ :: Text -> [(FilePath, [Text])] -> Sh ()
setenv :: Text -> Text -> Sh ()
get_env :: Text -> Sh (Maybe Text)
get_env_text :: Text -> Sh Text
get_env_def :: Text -> Text -> Sh Text
appendToPath :: FilePath -> Sh ()
prependToPath :: FilePath -> Sh ()
cd :: FilePath -> Sh ()
chdir :: FilePath -> Sh a -> Sh a
pwd :: Sh FilePath
echo :: Text -> Sh ()
echo_n :: Text -> Sh ()
echo_err :: Text -> Sh ()
echo_n_err :: Text -> Sh ()
inspect :: Show s => s -> Sh ()
inspect_err :: Show s => s -> Sh ()
tag :: Sh a -> Text -> Sh a
trace :: Text -> Sh ()
show_command :: FilePath -> [Text] -> Text
ls :: FilePath -> Sh FilePath
lsT :: FilePath -> Sh Text
test_e :: FilePath -> Sh Bool
test_f :: FilePath -> Sh Bool
test_d :: FilePath -> Sh Bool
test_s :: FilePath -> Sh Bool
which :: FilePath -> Sh (Maybe FilePath)
absPath :: FilePath -> Sh FilePath
(</>) :: (ToFilePath filepath1, ToFilePath filepath2) => filepath1 -> filepath2 -> FilePath
(<.>) :: ToFilePath filepath => filepath -> Text -> FilePath
canonic :: FilePath -> Sh FilePath
canonicalize :: FilePath -> Sh FilePath
relPath :: FilePath -> Sh FilePath
relativeTo :: FilePath -> FilePath -> Sh FilePath
hasExt :: Text -> FilePath -> Bool
mv :: FilePath -> FilePath -> Sh ()
rm :: FilePath -> Sh ()
rm_f :: FilePath -> Sh ()
rm_rf :: FilePath -> Sh ()
cp :: FilePath -> FilePath -> Sh ()
cp_r :: FilePath -> FilePath -> Sh ()
mkdir :: FilePath -> Sh ()
mkdir_p :: FilePath -> Sh ()
mkdirTree :: Tree FilePath -> Sh ()
readfile :: FilePath -> Sh Text
readBinary :: FilePath -> Sh ByteString
writefile :: FilePath -> Text -> Sh ()
appendfile :: FilePath -> Text -> Sh ()
touchfile :: FilePath -> Sh ()
withTmpDir :: (FilePath -> Sh a) -> Sh a
exit :: Int -> Sh ()
errorExit :: Text -> Sh ()
quietExit :: Int -> Sh ()
terror :: Text -> Sh a
catchany :: IO a -> (SomeException -> IO a) -> IO a
catch_sh :: Exception e => Sh a -> (e -> Sh a) -> Sh a
finally_sh :: Sh a -> Sh b -> Sh a
data ShellyHandler a = forall e.Exception e => ShellyHandler (e -> Sh a)
catches_sh :: Sh a -> [ShellyHandler a] -> Sh a
catchany_sh :: Sh a -> (SomeException -> Sh a) -> Sh a
toTextIgnore :: FilePath -> Text
toTextWarn :: FilePath -> Sh Text
fromText :: Text -> FilePath
(<$>) :: Functor f => (a -> b) -> f a -> f b
whenM :: Monad m => m Bool -> m () -> m ()
unlessM :: Monad m => m Bool -> m () -> m ()
time :: Sh a -> Sh (Double, a)
liftIO :: MonadIO m => IO a -> m a
when :: Applicative f => Bool -> f () -> f ()
unless :: Applicative f => Bool -> f () -> f ()
data FilePath
get :: Sh State
put :: State -> Sh ()
find :: FilePath -> Sh FilePath
findWhen :: (FilePath -> Sh Bool) -> FilePath -> Sh FilePath
findFold :: (a -> FilePath -> Sh a) -> a -> FilePath -> Sh a
findDirFilter :: (FilePath -> Sh Bool) -> FilePath -> Sh FilePath
findDirFilterWhen :: (FilePath -> Sh Bool) -> (FilePath -> Sh Bool) -> FilePath -> Sh FilePath
findFoldDirFilter :: (a -> FilePath -> Sh a) -> a -> (FilePath -> Sh Bool) -> FilePath -> Sh a
followSymlink :: Bool -> Sh a -> Sh a

Entering Sh.

data Sh a Source #

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

Instances

Instances details

MonadIO Sh Source #
Instance details Defined in Shelly.Pipe Methods liftIO :: IO a -> Sh a #
Alternative Sh Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details Defined in Shelly.Pipe Methods fmap :: (a -> b) -> Sh a -> Sh b # (<$) :: a -> Sh b -> Sh a #
Monad Sh Source #
Instance details Defined in Shelly.Pipe Methods (>>=) :: Sh a -> (a -> Sh b) -> Sh b # (>>) :: Sh a -> Sh b -> Sh b # return :: a -> Sh a #
MonadPlus Sh Source #
Instance details Defined in Shelly.Pipe Methods mzero :: Sh a # mplus :: Sh a -> Sh a -> Sh a #

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

Performs shelly and then an empty action return ().

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

see shelly

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

see shellyFailDir

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

Performs shellyFailDir and then an empty action return ().

sub :: Sh a -> Sh a Source #

see sub

silently :: Sh a -> Sh a Source #

verbosely :: Sh a -> Sh a Source #

escaping :: Bool -> Sh a -> Sh a Source #

see escaping

print_stdout :: Bool -> Sh a -> Sh a Source #

see print_stdout

print_commands :: Bool -> Sh a -> Sh a Source #

see 'S.print_commands

tracing :: Bool -> Sh a -> Sh a Source #

see tracing

errExit :: Bool -> Sh a -> Sh a Source #

see errExit

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

see log_stdout_with

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

see log_stderr_with

List functions

roll :: Sh [a] -> Sh a Source #

Pack list of results. It performs concat inside Sh.

unroll :: Sh a -> Sh [a] Source #

Unpack list of results.

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

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

Running external commands.

type FoldCallback a = a -> Text -> a Source #

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

see run

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

see run_

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

see runFoldLines

cmd :: ShellCommand result => FilePath -> result Source #

see cmd

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

see -|-

lastStderr :: Sh Text Source #

see lastStderr

setStdin :: Text -> Sh () Source #

see setStdin

lastExitCode :: Sh Int Source #

see lastExitCode

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

see command

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

see command_

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

see command1

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

see command1_

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

see sshPairs

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

see sshPairs_

Modifying and querying environment.

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

see setenv

get_env :: Text -> Sh (Maybe Text) Source #

see get_env

get_env_text :: Text -> Sh Text Source #

see get_env_text

get_env_def :: Text -> Text -> Sh Text Source #

Deprecated: use fromMaybe DEFAULT get_env

see get_env_def

appendToPath :: FilePath -> Sh () Source #

see appendToPath

prependToPath :: FilePath -> Sh () Source #

see prependToPath

Environment directory

cd :: FilePath -> Sh () Source #

see cd

chdir :: FilePath -> Sh a -> Sh a Source #

see chdir

pwd :: Sh FilePath Source #

see pwd

Printing

echo :: Text -> Sh () Source #

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

echo_n :: Text -> Sh () Source #

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

echo_err :: Text -> Sh () Source #

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

echo_n_err :: Text -> Sh () Source #

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

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

see inspect

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

see inspect_err

tag :: Sh a -> Text -> Sh a Source #

see tag

trace :: Text -> Sh () Source #

see trace

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

see show_command

Querying filesystem.

ls :: FilePath -> Sh FilePath Source #

see ls

lsT :: FilePath -> Sh Text Source #

see lsT

test_e :: FilePath -> Sh Bool Source #

see test_e

test_f :: FilePath -> Sh Bool Source #

see test_f

test_d :: FilePath -> Sh Bool Source #

see test_d

test_s :: FilePath -> Sh Bool Source #

see test_s

which :: FilePath -> Sh (Maybe FilePath) Source #

see 'S.which

Filename helpers

absPath :: FilePath -> Sh FilePath Source #

see absPath

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

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

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

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

canonic :: FilePath -> Sh FilePath Source #

see canonic

canonicalize :: FilePath -> Sh FilePath Source #

see canonicalize

relPath :: FilePath -> Sh FilePath Source #

see relPath

relativeTo Source #

Arguments

:: FilePath	anchor path, the prefix
-> FilePath	make this relative to anchor path
-> Sh FilePath

see relativeTo

hasExt :: Text -> FilePath -> Bool Source #

flipped hasExtension for Text

Manipulating filesystem.

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

see mv

rm :: FilePath -> Sh () Source #

see rm

rm_f :: FilePath -> Sh () Source #

see rm_f

rm_rf :: FilePath -> Sh () Source #

see rm_rf

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

see cp

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

see cp_r

mkdir :: FilePath -> Sh () Source #

see mkdir

mkdir_p :: FilePath -> Sh () Source #

see mkdir_p

mkdirTree :: Tree FilePath -> Sh () Source #

see mkdirTree

reading/writing Files

readfile :: FilePath -> Sh Text Source #

see readFile

readBinary :: FilePath -> Sh ByteString Source #

see readBinary

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

see writeFile

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

see appendFile

touchfile :: FilePath -> Sh () Source #

see touchFile

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

see withTmpDir

exiting the program

exit :: Int -> Sh () Source #

see exit

errorExit :: Text -> Sh () Source #

see errorExit

quietExit :: Int -> Sh () Source #

see quietExit

terror :: Text -> Sh a Source #

see terror

Exceptions

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

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

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

see catch_sh

finally_sh :: Sh a -> Sh b -> Sh a Source #

see finally_sh

data ShellyHandler a Source #

see ShellyHandler

Constructors

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

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

see catches_sh

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

see catchany_sh

convert between Text and FilePath

toTextIgnore :: FilePath -> Text Source #

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

toTextWarn :: FilePath -> Sh Text Source #

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

Expand

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

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

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

A monadic-conditional version of the unless guard.

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

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

Expand

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

Instances details

Data FilePath
Instance details 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
Instance details Defined in Filesystem.Path.Internal Methods rnf :: FilePath -> () #
Eq FilePath
Instance details Defined in Filesystem.Path.Internal Methods (==) :: FilePath -> FilePath -> Bool # (/=) :: FilePath -> FilePath -> Bool #
Ord FilePath
Instance details 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 Source #
Instance details Defined in Shelly Methods toTextArg :: FilePath -> Text Source #