Copyright | (c) Galois Inc 2013-2020 |
---|---|
License | BSD3 |
Maintainer | Joe Hendrix <jhendrix@galois.com> |
Stability | provisional |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
What4.Utils.Environment
Description
Provides functions for finding an executable, and expanding a path with referenced to environment variables.
Synopsis
- findExecutable :: (MonadIO m, MonadFail m) => FilePath -> m FilePath
- expandEnvironmentPath :: Map String String -> String -> IO String
Documentation
Arguments
:: (MonadIO m, MonadFail m) | |
=> FilePath | Path to expand |
-> m FilePath |
Find an executable from a string.
expandEnvironmentPath :: Map String String -> String -> IO String Source #