data () :: *data Bool :: *data ByteString :: *data Char :: *data Double :: *data Either :: * -> * -> *data ExitCode :: *data IO :: * -> *data Int :: *data Map :: * -> * -> *data Maybe :: * -> *data ProcessConfig :: * -> * -> * -> *data STInput :: StreamTypedata STOutput :: StreamTypedata Set :: * -> *data StreamType :: *data Text :: *data Tree :: * -> *data Value :: *data Vector :: * -> *$ :: forall a b . (a -> b) -> a -> b. :: forall a b c . (b -> c) -> (a -> b) -> a -> cAsync.concurrently :: forall a b . IO a -> IO b -> IO (a, b)Async.pooledForConcurrently :: forall a b . [a] -> (a -> IO b) -> IO ([b])Async.pooledForConcurrently_ :: forall a . [a] -> (a -> IO ()) -> IO ()Async.pooledMapConcurrently :: forall a b . (a -> IO b) -> [a] -> IO ([b])Async.pooledMapConcurrently_ :: forall a . (a -> IO ()) -> [a] -> IO ()Async.race :: forall a b . IO a -> IO b -> IO (Either a b)Bool.False :: BoolBool.True :: BoolBool.bool :: forall a . a -> a -> Bool -> aBool.not :: Bool -> BoolByteString.getContents :: IO ByteStringByteString.hGet :: Handle -> Int -> IO ByteStringByteString.hPutStr :: Handle -> ByteString -> IO ()ByteString.interact :: (ByteString -> ByteString) -> IO ()ByteString.readFile :: Text -> IO ByteStringByteString.readProcess :: ProcessConfig () () () -> IO (ExitCode,ByteString,ByteString)ByteString.readProcessStdout_ :: ProcessConfig () () () -> IO ByteStringByteString.readProcess_ :: ProcessConfig () () () -> IO (ByteString,ByteString)ByteString.writeFile :: Text -> ByteString -> IO ()Concurrent.threadDelay :: Int -> IO ()Directory.copyFile :: Text -> Text -> IO ()Directory.createDirectory :: Text -> IO ()Directory.createDirectoryIfMissing :: Bool -> Text -> IO ()Directory.getCurrentDirectory :: IO TextDirectory.listDirectory :: Text -> IO [Text]Directory.removeFile :: Text -> IO ()Directory.renameFile :: Text -> Text -> IO ()Directory.setCurrentDirectory :: Text -> IO ()Double.eq :: Double -> Double -> BoolDouble.fromInt :: Int -> DoubleDouble.mult :: Double -> Double -> DoubleDouble.plus :: Double -> Double -> DoubleDouble.show :: Double -> TextDouble.subtract :: Double -> Double -> DoubleEither.Left :: forall a b . a -> Either a bEither.Right :: forall a b . b -> Either a bEither.either :: forall a b x . (a -> x) -> (b -> x) -> Either a b -> xEnvironment.getArgs :: IO [Text]Environment.getEnv :: Text -> IO TextEnvironment.getEnvironment :: IO [(Text,Text)]Eq.eq :: forall a . Eq a => a -> a -> BoolError.error :: forall a . Text -> aExit.ExitFailure :: Int -> ExitCodeExit.ExitSuccess :: ExitCodeExit.die :: forall a . Text -> IO aExit.exitCode :: forall a . a -> (Int -> a) -> ExitCode -> aExit.exitWith :: forall a . ExitCode -> IO aFunction.fix :: forall a . (a -> a) -> aFunction.id :: forall a . a -> aFunctor.fmap :: forall f a b . Functor f => (a -> b) -> f a -> f bIO.BlockBuffering :: Maybe Int -> BufferModeIO.LineBuffering :: BufferModeIO.NoBuffering :: BufferModeIO.forM_ :: forall a . [a] -> (a -> IO ()) -> IO ()IO.hSetBuffering :: Handle -> BufferMode -> IO ()IO.mapM_ :: forall a . (a -> IO ()) -> [a] -> IO ()IO.print :: forall a . Show a => a -> IO ()IO.pure :: forall a . a -> IO aIO.stderr :: HandleIO.stdin :: HandleIO.stdout :: HandleInt.eq :: Int -> Int -> BoolInt.mult :: Int -> Int -> IntInt.plus :: Int -> Int -> IntInt.show :: Int -> TextInt.subtract :: Int -> Int -> IntJson.Array :: Vector Value -> ValueJson.Bool :: Bool -> ValueJson.Null :: ValueJson.Number :: Double -> ValueJson.Object :: Map Text Value -> ValueJson.String :: Text -> ValueJson.decode :: ByteString -> Maybe ValueJson.encode :: Value -> ByteStringJson.value :: forall a .
+Hell's API Hell's API
Version: 2025-01-13
Types
data () :: *data Bool :: *data ByteString :: *data Char :: *data Double :: *data Either :: * -> * -> *data ExitCode :: *data IO :: * -> *data Int :: *data Map :: * -> * -> *data Maybe :: * -> *data Set :: * -> *data Text :: *data Tree :: * -> *data Value :: *data Vector :: * -> *
Terms
$
$ :: forall a b . (a -> b) -> a -> b
. :: forall a b c . (b -> c) -> (a -> b) -> a -> c
<$>
<$> :: forall f a b . Functor f => (a -> b) -> f a -> f b
<**>
<**> :: forall f a b . Applicative f => f a -> f (a -> b) -> f b
<*>
<*> :: forall f a b . Applicative f => f (a -> b) -> f a -> f b
<>
<> :: forall m . Semigroup m => m -> m -> m
Applicative
Applicative.pure :: forall f a . Applicative f => a -> f a
Argument
Argument.help :: forall a . Text -> Mod ArgumentFields aArgument.metavar :: forall a . Text -> Mod ArgumentFields aArgument.value :: forall a . a -> Mod ArgumentFields a
Async
Async.concurrently :: forall a b . IO a -> IO b -> IO (a, b)Async.pooledForConcurrently :: forall a b . [a] -> (a -> IO b) -> IO ([b])Async.pooledForConcurrently_ :: forall a . [a] -> (a -> IO ()) -> IO ()Async.pooledMapConcurrently :: forall a b . (a -> IO b) -> [a] -> IO ([b])Async.pooledMapConcurrently_ :: forall a . (a -> IO ()) -> [a] -> IO ()Async.race :: forall a b . IO a -> IO b -> IO (Either a b)
Bool
Bool.False :: BoolBool.True :: BoolBool.bool :: forall a . a -> a -> Bool -> aBool.not :: Bool -> Bool
ByteString
ByteString.getContents :: IO ByteStringByteString.hGet :: Handle -> Int -> IO ByteStringByteString.hPutStr :: Handle -> ByteString -> IO ()ByteString.interact :: (ByteString -> ByteString) -> IO ()ByteString.readFile :: Text -> IO ByteStringByteString.readProcess :: ProcessConfig () () () -> IO (ExitCode,ByteString,ByteString)ByteString.readProcessStdout_ :: ProcessConfig () () () -> IO ByteStringByteString.readProcess_ :: ProcessConfig () () () -> IO (ByteString,ByteString)ByteString.writeFile :: Text -> ByteString -> IO ()
Concurrent
Concurrent.threadDelay :: Int -> IO ()
Directory
Directory.copyFile :: Text -> Text -> IO ()Directory.createDirectory :: Text -> IO ()Directory.createDirectoryIfMissing :: Bool -> Text -> IO ()Directory.getCurrentDirectory :: IO TextDirectory.listDirectory :: Text -> IO [Text]Directory.removeFile :: Text -> IO ()Directory.renameFile :: Text -> Text -> IO ()Directory.setCurrentDirectory :: Text -> IO ()
Double
Double.eq :: Double -> Double -> BoolDouble.fromInt :: Int -> DoubleDouble.mult :: Double -> Double -> DoubleDouble.plus :: Double -> Double -> DoubleDouble.show :: Double -> TextDouble.subtract :: Double -> Double -> Double
Either
Either.Left :: forall a b . a -> Either a bEither.Right :: forall a b . b -> Either a bEither.either :: forall a b x . (a -> x) -> (b -> x) -> Either a b -> x
Environment
Environment.getArgs :: IO [Text]Environment.getEnv :: Text -> IO TextEnvironment.getEnvironment :: IO [(Text,Text)]
Eq
Eq.eq :: forall a . Eq a => a -> a -> Bool
Error
Error.error :: forall a . Text -> a
Exit
Exit.ExitFailure :: Int -> ExitCodeExit.ExitSuccess :: ExitCodeExit.die :: forall a . Text -> IO aExit.exitCode :: forall a . a -> (Int -> a) -> ExitCode -> aExit.exitWith :: forall a . ExitCode -> IO a
Flag
Flag.help :: forall a . Text -> Mod FlagFields aFlag.long :: forall a . Text -> Mod FlagFields a
Function
Function.fix :: forall a . (a -> a) -> aFunction.id :: forall a . a -> a
Functor
Functor.fmap :: forall f a b . Functor f => (a -> b) -> f a -> f b
IO
IO.AppendMode :: IOModeIO.BlockBuffering :: Maybe Int -> BufferModeIO.LineBuffering :: BufferModeIO.NoBuffering :: BufferModeIO.ReadMode :: IOModeIO.ReadWriteMode :: IOModeIO.WriteMode :: IOModeIO.forM_ :: forall a . [a] -> (a -> IO ()) -> IO ()IO.hClose :: Handle -> IO ()IO.hSetBuffering :: Handle -> BufferMode -> IO ()IO.mapM_ :: forall a . (a -> IO ()) -> [a] -> IO ()IO.openFile :: Text -> IOMode -> IO HandleIO.print :: forall a . Show a => a -> IO ()IO.pure :: forall a . a -> IO aIO.stderr :: HandleIO.stdin :: HandleIO.stdout :: Handle
Int
Int.eq :: Int -> Int -> BoolInt.mult :: Int -> Int -> IntInt.plus :: Int -> Int -> IntInt.show :: Int -> TextInt.subtract :: Int -> Int -> Int
Json
Json.Array :: Vector Value -> ValueJson.Bool :: Bool -> ValueJson.Null :: ValueJson.Number :: Double -> ValueJson.Object :: Map Text Value -> ValueJson.String :: Text -> ValueJson.decode :: ByteString -> Maybe ValueJson.encode :: Value -> ByteStringJson.value :: forall a .
a ->
(Bool -> a) ->
(Text -> a) ->
(Double -> a) ->
(Vector Value -> a) -> (Map Text Value -> a) -> Value -> a
List
List.all :: forall a . (a -> Bool) -> [a] -> BoolList.and :: [Bool] -> BoolList.any :: forall a . (a -> Bool) -> [a] -> BoolList.break :: forall a . (a -> Bool) -> [a] -> ([a], [a])List.concat :: forall a . [[a]] -> [a]List.concatMap :: forall a b . (a -> [b]) -> [a] -> [b]List.cons :: forall a . a -> [a] -> [a]List.cycle :: forall a . [a] -> [a]List.deleteBy :: forall a . (a -> a -> Bool) -> a -> [a] -> [a]List.drop :: forall a . Int -> [a] -> [a]List.dropWhile :: forall a . (a -> Bool) -> [a] -> [a]List.dropWhileEnd :: forall a . (a -> Bool) -> [a] -> [a]List.elem :: forall a . Eq a => a -> [a] -> BoolList.elemIndex :: forall a . Eq a => a -> [a] -> Maybe IntList.elemIndices :: forall a . Eq a => a -> [a] -> [Int]List.filter :: forall a . (a -> Bool) -> [a] -> [a]List.find :: forall a . (a -> Bool) -> [a] -> Maybe aList.findIndex :: forall a . (a -> Bool) -> [a] -> Maybe IntList.findIndices :: forall a . (a -> Bool) -> [a] -> [Int]List.foldl' :: forall a b . (b -> a -> b) -> b -> [a] -> bList.foldr :: forall a b . (a -> b -> b) -> b -> [a] -> bList.group :: forall a . Eq a => [a] -> [[a]]List.groupBy :: forall a . (a -> a -> Bool) -> [a] -> [[a]]List.inits :: forall a . [a] -> [[a]]List.intercalate :: forall a . [a] -> [[a]] -> [a]List.intersperse :: forall a . a -> [a] -> [a]List.isInfixOf :: forall a . Eq a => [a] -> [a] -> BoolList.isPrefixOf :: forall a . Eq a => [a] -> [a] -> BoolList.isSubsequenceOf :: forall a . Eq a => [a] -> [a] -> BoolList.isSuffixOf :: forall a . Eq a => [a] -> [a] -> BoolList.iterate' :: forall a . (a -> a) -> a -> [a]List.length :: forall a . [a] -> IntList.lookup :: forall a b . Eq a => a -> [(a, b)] -> Maybe bList.map :: forall a b . (a -> b) -> [a] -> [b]List.mapAccumL :: forall s a b . (s -> a -> (s, b)) -> s -> [a] -> (s, [b])List.mapAccumR :: forall s a b . (s -> a -> (s, b)) -> s -> [a] -> (s, [b])List.nil :: forall a . [a]List.notElem :: forall a . Eq a => a -> [a] -> BoolList.nubOrd :: forall a . Ord a => [a] -> [a]List.null :: forall a . [a] -> BoolList.or :: [Bool] -> BoolList.partition :: forall a . (a -> Bool) -> [a] -> ([a], [a])List.permutations :: forall a . [a] -> [[a]]List.repeat :: forall a . a -> [a]List.reverse :: forall a . [a] -> [a]List.scanl' :: forall a b . (b -> a -> b) -> b -> [a] -> [b]List.scanr :: forall a b . (a -> b -> b) -> b -> [a] -> [b]List.sort :: forall a . Ord a => [a] -> [a]List.sortOn :: forall a b . Ord b => (a -> b) -> [a] -> [a]List.span :: forall a . (a -> Bool) -> [a] -> ([a], [a])List.splitAt :: forall a . Int -> [a] -> ([a], [a])List.subsequences :: forall a . [a] -> [[a]]List.tails :: forall a . [a] -> [[a]]List.take :: forall a . Int -> [a] -> [a]List.takeWhile :: forall a . (a -> Bool) -> [a] -> [a]List.transpose :: forall a . [[a]] -> [[a]]List.uncons :: forall a . [a] -> Maybe (a, [a])List.unfoldr :: forall a b . (b -> Maybe (a, b)) -> b -> [a]List.zip :: forall a b . [a] -> [b] -> [(a, b)]List.zipWith :: forall a b c . (a -> b -> c) -> [a] -> [b] -> [c]
Map
Map.adjust :: forall k a . Ord k => (a -> a) -> k -> Map k a -> Map k aMap.all :: forall k a . (a -> Bool) -> Map k a -> BoolMap.any :: forall k a . (a -> Bool) -> Map k a -> BoolMap.delete :: forall k a . Ord k => k -> Map k a -> Map k aMap.elems :: forall k a . Map k a -> [a]Map.filter :: forall k a . (a -> Bool) -> Map k a -> Map k aMap.filterWithKey :: forall k a . (k -> a -> Bool) -> Map k a -> Map k aMap.fromList :: forall k a . Ord k => [(k, a)] -> Map k aMap.insert :: forall k a . Ord k => k -> a -> Map k a -> Map k aMap.insertWith :: forall k a . Ord k => (a -> a -> a) -> k -> a -> Map k a -> Map k aMap.keys :: forall k a . Map k a -> [k]Map.lookup :: forall k a . Ord k => k -> Map k a -> Maybe aMap.map :: forall a b k . (a -> b) -> Map k a -> Map k bMap.singleton :: forall k a . Ord k => k -> a -> Map k aMap.size :: forall k a . Map k a -> IntMap.toList :: forall k a . Map k a -> [(k, a)]Map.unionWith :: forall k a . Ord k =>
-(a -> a -> a) -> Map k a -> Map k a -> Map k a
Maybe
Maybe.Just :: forall a . a -> Maybe aMaybe.Nothing :: forall a . Maybe aMaybe.listToMaybe :: forall a . [a] -> Maybe aMaybe.mapMaybe :: forall a b . (a -> Maybe b) -> [a] -> [b]Maybe.maybe :: forall a b . b -> (a -> b) -> Maybe a -> b
Monad
Monad.bind :: forall m a b . Monad m => m a -> (a -> m b) -> m bMonad.forM :: forall a b m . Monad m => [a] -> (a -> m b) -> m ([b])Monad.forM_ :: forall a m . Monad m => [a] -> (a -> m ()) -> m ()Monad.mapM :: forall a b m . Monad m => (a -> m b) -> [a] -> m ([b])Monad.mapM_ :: forall a m . Monad m => (a -> m ()) -> [a] -> m ()Monad.return :: forall a m . Monad m => a -> m aMonad.then :: forall m a b . Monad m => m a -> m b -> m bMonad.when :: forall m . Monad m => Bool -> m () -> m ()
Ord
Ord.gt :: forall a . Ord a => a -> a -> BoolOrd.lt :: forall a . Ord a => a -> a -> Bool
Process
Process.proc :: Text -> [Text] -> ProcessConfig () () ()Process.runProcess :: forall a b c . ProcessConfig a b c -> IO ExitCodeProcess.runProcess_ :: forall a b c . ProcessConfig a b c -> IO ()Process.setEnv :: [(Text,Text)] -> ProcessConfig () () () -> ProcessConfig () () ()Process.setStdout :: forall stdin stdout stdout' stderr .
+(a -> a -> a) -> Map k a -> Map k a -> Map k a
Maybe
Maybe.Just :: forall a . a -> Maybe aMaybe.Nothing :: forall a . Maybe aMaybe.listToMaybe :: forall a . [a] -> Maybe aMaybe.mapMaybe :: forall a b . (a -> Maybe b) -> [a] -> [b]Maybe.maybe :: forall a b . b -> (a -> b) -> Maybe a -> b
Monad
Monad.bind :: forall m a b . Monad m => m a -> (a -> m b) -> m bMonad.forM :: forall a b m . Monad m => [a] -> (a -> m b) -> m ([b])Monad.forM_ :: forall a m . Monad m => [a] -> (a -> m ()) -> m ()Monad.mapM :: forall a b m . Monad m => (a -> m b) -> [a] -> m ([b])Monad.mapM_ :: forall a m . Monad m => (a -> m ()) -> [a] -> m ()Monad.return :: forall a m . Monad m => a -> m aMonad.then :: forall m a b . Monad m => m a -> m b -> m bMonad.when :: forall m . Monad m => Bool -> m () -> m ()
Option
Option.help :: forall a . Text -> Mod OptionFields aOption.long :: forall a . Text -> Mod OptionFields aOption.value :: forall a . a -> Mod OptionFields a
Options
Options.execParser :: forall a . ParserInfo a -> IO aOptions.flag :: forall a . a -> a -> Mod FlagFields a -> Parser aOptions.flag' :: forall a . a -> Mod FlagFields a -> Parser aOptions.fullDesc :: forall a . InfoMod aOptions.helper :: forall a . Parser (a -> a)Options.info :: forall a . Parser a -> InfoMod a -> ParserInfo aOptions.strArgument :: Mod ArgumentFields Text -> Parser TextOptions.strOption :: Mod OptionFields Text -> Parser TextOptions.switch :: Mod FlagFields Bool -> Parser Bool
Ord
Ord.gt :: forall a . Ord a => a -> a -> BoolOrd.lt :: forall a . Ord a => a -> a -> Bool
Process
Process.proc :: Text -> [Text] -> ProcessConfig () () ()Process.runProcess :: forall a b c . ProcessConfig a b c -> IO ExitCodeProcess.runProcess_ :: forall a b c . ProcessConfig a b c -> IO ()Process.setEnv :: [(Text,Text)] -> ProcessConfig () () () -> ProcessConfig () () ()Process.setStdout :: forall stdin stdout stdout' stderr .
StreamSpec 'STOutput stdout' ->
ProcessConfig stdin stdout stderr ->
-ProcessConfig stdin stdout' stderrProcess.useHandleClose :: forall (a :: StreamType) . Handle -> StreamSpec a ()
Record
Record.get :: forall (k :: Symbol) a (t :: Symbol) (xs :: List) .
+ProcessConfig stdin stdout' stderrProcess.setWorkingDir :: forall a b c . Text -> ProcessConfig a b c -> ProcessConfig a b cProcess.useHandleClose :: forall (a :: StreamType) . Handle -> StreamSpec a ()Process.useHandleOpen :: forall (a :: StreamType) . Handle -> StreamSpec a ()
Record
Record.get :: forall (k :: Symbol) a (t :: Symbol) (xs :: List) .
Tagged t (Record xs) -> aRecord.modify :: forall (k :: Symbol) a (t :: Symbol) (xs :: List) .
(a -> a) -> Tagged t (Record xs) -> Tagged t (Record xs)Record.set :: forall (k :: Symbol) a (t :: Symbol) (xs :: List) .
a -> Tagged t (Record xs) -> Tagged t (Record xs)
Set
Set.delete :: forall a . Ord a => a -> Set a -> Set aSet.difference :: forall a . Ord a => Set a -> Set a -> Set aSet.fromList :: forall a . Ord a => [a] -> Set aSet.insert :: forall a . Ord a => a -> Set a -> Set aSet.intersection :: forall a . Ord a => Set a -> Set a -> Set aSet.member :: forall a . Ord a => a -> Set a -> BoolSet.singleton :: forall a . Ord a => a -> Set aSet.size :: forall a . Set a -> IntSet.toList :: forall a . Set a -> [a]Set.union :: forall a . Ord a => Set a -> Set a -> Set a
Show
Show.show :: forall a . Show a => a -> Text
Temp
Temp.withSystemTempDirectory :: forall a . Text -> (Text -> IO a) -> IO aTemp.withSystemTempFile :: forall a . Text -> (Text -> Handle -> IO a) -> IO a
Text
Text.appendFile :: Text -> Text -> IO ()Text.breakOn :: Text -> Text -> (Text,Text)Text.concat :: [Text] -> TextText.decodeUtf8 :: ByteString -> TextText.drop :: Int -> Text -> TextText.dropEnd :: Int -> Text -> TextText.encodeUtf8 :: Text -> ByteStringText.eq :: Text -> Text -> BoolText.getContents :: IO TextText.getLine :: IO TextText.hPutStr :: Handle -> Text -> IO ()Text.interact :: (Text -> Text) -> IO ()Text.intercalate :: Text -> [Text] -> TextText.isInfixOf :: Text -> Text -> BoolText.isPrefixOf :: Text -> Text -> BoolText.isSuffixOf :: Text -> Text -> BoolText.length :: Text -> IntText.lines :: Text -> [Text]Text.putStr :: Text -> IO ()Text.putStrLn :: Text -> IO ()Text.readFile :: Text -> IO TextText.readProcess :: ProcessConfig () () () -> IO (ExitCode,Text,Text)Text.readProcessStdout_ :: ProcessConfig () () () -> IO TextText.readProcess_ :: ProcessConfig () () () -> IO (Text,Text)Text.replace :: Text -> Text -> Text -> TextText.reverse :: Text -> TextText.setStdin :: Text -> ProcessConfig () () () -> ProcessConfig () () ()Text.splitOn :: Text -> Text -> [Text]Text.strip :: Text -> TextText.stripPrefix :: Text -> Text -> Maybe TextText.stripSuffix :: Text -> Text -> Maybe TextText.take :: Int -> Text -> TextText.takeEnd :: Int -> Text -> TextText.toLower :: Text -> TextText.toUpper :: Text -> TextText.unlines :: [Text] -> TextText.unwords :: [Text] -> TextText.words :: Text -> [Text]Text.writeFile :: Text -> Text -> IO ()
Timeout
Timeout.timeout :: forall a . Int -> IO a -> IO (Maybe a)
Tree
Tree.Node :: forall a . a -> [Tree a] -> Tree aTree.flatten :: forall a . Tree a -> [a]Tree.foldTree :: forall a b . (a -> [b] -> b) -> Tree a -> bTree.levels :: forall a . Tree a -> [[a]]Tree.map :: forall a b . (a -> b) -> Tree a -> Tree bTree.unfoldTree :: forall a b . (b -> (a, [b])) -> b -> Tree a
Tuple
Tuple.(,) :: forall a b . a -> b -> (a, b)Tuple.(,,) :: forall a b c . a -> b -> c -> (a, b, c)Tuple.(,,,) :: forall a b c d . a -> b -> c -> d -> (a, b, c, d)
Vector
Vector.fromList :: forall a . [a] -> Vector aVector.toList :: forall a . Vector a -> [a]
\ No newline at end of file
diff --git a/docs/examples/index.html b/docs/examples/index.html
index a619b41..f4c6e5d 100644
--- a/docs/examples/index.html
+++ b/docs/examples/index.html
@@ -96,7 +96,10 @@ 09-processes.hell
let config = Process.proc "false" []
code <- Process.runProcess config
- Text.putStrLn "Done."
+
+ Process.runProcess $ Process.setWorkingDir "/etc/" $ Process.proc "pwd" []
+
+ Text.putStrLn "Done."
main = do
dir <- Directory.getCurrentDirectory
@@ -515,11 +518,62 @@ 29-temp-files.hell
Text.putStrLn $ Text.concat ["Created temp file ", filePath]
30-process-handlers.hell
main = do
- Temp.withSystemTempFile "example" \filePath handle -> do
- Text.putStrLn $ Text.concat ["Created temp file ", filePath]
- let proc = Process.setStdout (Process.useHandleClose handle) $
+ -- 1. close the handle after the process
+ Temp.withSystemTempFile "example" \filePath handle -> do
+ Text.putStrLn $ Text.concat ["Created temp file ", filePath]
+ let proc = Process.setStdout (Process.useHandleClose handle) $
+ Process.proc "ls" ["-al"]
+ Process.runProcess_ proc
+ contents <- Text.readFile filePath
+ Text.putStrLn contents
+
+ -- 2. keep the handle open after the process
+ Temp.withSystemTempFile "example-open" \filePath handle -> do
+ Text.putStrLn $ Text.concat ["Created temp file ", filePath]
+ let proc0 = Process.setStdout (Process.useHandleOpen handle) $
+ Process.proc "echo" ["hello"]
+ -- second time around we we make sure to close the handle
+ -- so we can then read the file later
+ let proc1 = Process.setStdout (Process.useHandleClose handle) $
+ Process.proc "echo" ["world"]
+ Process.runProcess_ proc0
+ Process.runProcess_ proc1
+ contents <- Text.readFile filePath
+ Text.putStrLn contents
+
+ -- 3. manually close the handle
+ Temp.withSystemTempFile "example-manual-close" \filePath handle -> do
+ Text.putStrLn $ Text.concat ["Created temp file ", filePath]
+ let proc = Process.setStdout (Process.useHandleOpen handle) $
+ Process.proc "echo" ["hello"]
+ Process.runProcess_ proc
+ -- manually close the handle so we can open the file to be read
+ IO.hClose handle
+ contents <- Text.readFile filePath
+ Text.putStrLn contents
+31-open-file-handle.hell
main = do
+ let filepath = "out.txt"
+ handle <- IO.openFile filepath IO.WriteMode
+ let proc = Process.setStdout (Process.useHandleClose handle) $
Process.proc "ls" ["-al"]
- Process.runProcess_ proc
- contents <- Text.readFile filePath
- Text.putStrLn contents
+ Process.runProcess_ proc
+ IO.hClose handle
+
+ contents <- Text.readFile filepath
+ Text.putStrLn contents-- Includes example of Semigroup.
+data Opts = Opts {
+ quiet :: Bool,
+ filePath :: Text
+ }
+options =
+ (\quiet path -> Main.Opts { quiet = quiet, filePath = path })
+ <$> Options.switch (Flag.long "quiet" <> Flag.help "Be quiet?")
+ <*> Options.strOption (Option.long "path" <> Option.help "The filepath to export")
+main = do
+ opts <- Options.execParser (Options.info (Main.options <**> Options.helper) Options.fullDesc)
+ Text.putStrLn $ Record.get @"filePath" opts
+ Text.putStrLn $ Show.show @Bool $ Record.get @"quiet" opts