Safe Haskell | Trustworthy |
---|---|
Language | Haskell2010 |
Utility functions and reexports for System.Envy, an environment variable config reader.
Synopsis
- showEnv :: IO ()
- unsetEnvironment' :: ToEnv a => a -> IO (Either String ())
- unsetEnvironment :: EnvList a -> IO (Either String ())
- setEnvironment' :: ToEnv a => a -> IO (Either String ())
- setEnvironment :: EnvList a -> IO (Either String ())
- decodeEnv :: FromEnv a => IO (Either String a)
- makeEnv :: [EnvVar] -> EnvList a
- gFromEnvCustom :: (DefConfig a, Generic a, GFromEnv (Rep a)) => Option -> Parser a
- envMaybe :: Var a => String -> Parser (Maybe a)
- env :: Var a => String -> Parser a
- runEnv :: Parser a -> IO (Either String a)
- newtype Parser a = Parser {}
- class FromEnv a where
- class DefConfig a where
- data Option = Option {}
- class ToEnv a where
- data EnvList a
- class Typeable a => Var a where
- decodeEnvy :: FromEnv a => IO (Maybe a)
- withEnvConfig :: FromEnv α => (α -> IO ()) -> IO ()
Documentation
unsetEnvironment' :: ToEnv a => a -> IO (Either String ()) #
Unset Environment using a value of class ToEnv
unsetEnvironment :: EnvList a -> IO (Either String ()) #
Unset Environment from a ToEnv
constrained type
setEnvironment' :: ToEnv a => a -> IO (Either String ()) #
Set environment directly using a value of class ToEnv
gFromEnvCustom :: (DefConfig a, Generic a, GFromEnv (Rep a)) => Option -> Parser a #
Meant for specifying a custom Option
for environment retrieval
instance FromEnv PGConfig where fromEnv = gFromEnvCustom Option { dropPrefixCount = 8, customPrefix = "PG" }
Environment variable getter returning Maybe
Environment variable getter. Fails if the variable is not set or fails to parse.
runEnv :: Parser a -> IO (Either String a) #
For use with Generics, no FromEnv
typeclass necessary
getPgConfig :: IO (Either String ConnectInfo) getPgConfig = runEnv $ gFromEnvCustom defOption
Parser Monad for environment variable retrieval
Instances
Monad Parser | |
Functor Parser | |
Applicative Parser | |
Alternative Parser | |
MonadPlus Parser | |
MonadIO Parser | |
Defined in System.Envy | |
MonadError String Parser | |
Defined in System.Envy throwError :: String -> Parser a # catchError :: Parser a -> (String -> Parser a) -> Parser a # |
Type class for objects which have a default configuration.
For customizing environment variable generation
Option | |
|
Type class for objects which can be converted to a set of environment variable settings.
List of environment variables. Captures a "phantom type" which allows the type checker to detect the proper implementation of toEnv to use.
class Typeable a => Var a where #
Class for converting to / from an environment variable
Convert a value into an environment variable.
fromVar :: String -> Maybe a #
Parse an environment variable.
Instances
Var Bool | |
Var Double | |
Var Int | |
Var Int8 | |
Var Int16 | |
Var Int32 | |
Var Int64 | |
Var Integer | |
Var Word8 | |
Var Word16 | |
Var Word32 | |
Var Word64 | |
Var () | |
Var String | |
Var ByteString | |
Defined in System.Envy toVar :: ByteString -> String # fromVar :: String -> Maybe ByteString # | |
Var ByteString | |
Defined in System.Envy toVar :: ByteString -> String # fromVar :: String -> Maybe ByteString # | |
Var Text | |
Var UTCTime | |
Var Text | |
Var Day | |
Var a => Var (Maybe a) | |