| Copyright | (c) David Johnson 2015 |
|---|---|
| Maintainer | djohnson.m@ngmail.com |
| Stability | experimental |
| Portability | POSIX |
| Safe Haskell | None |
| Language | Haskell2010 |
System.Envy
Description
{-# LANGUAGE DeriveGeneric #-}
module Main ( main ) where
import System.Envy
import GHC.Generics
data PGConfig = PGConfig {
pgHost :: String -- "PG_HOST"
, pgPort :: Int -- "PG_PORT"
} deriving (Generic, Show)
-- Default instance used if environment variable doesn't exist
instance DefConfig PGConfig where
defConfig = PGConfig "localhost" 5432
instance FromEnv PGConfig
-- Generically produces the following body (no implementation needed if using Generics):
-- fromEnv = PGConfig <$> envMaybe "PG_HOST" .!= "localhost"
-- <*> envMaybe "PG_PORT" .!= 5432
main :: IO ()
main =
print =<< do decodeEnv :: IO (Either String PGConfig)
-- PGConfig { pgHost = "custom-pg-url", pgPort = 5432 }- class FromEnv a where
- class ToEnv a where
- class Var a where
- data EnvList a
- decodeEnv :: FromEnv a => IO (Either String a)
- decode :: FromEnv a => IO (Maybe a)
- showEnv :: IO ()
- setEnvironment :: EnvList a -> IO (Either String ())
- setEnvironment' :: ToEnv a => a -> IO (Either String ())
- unsetEnvironment :: EnvList a -> IO (Either String ())
- makeEnv :: [EnvVar] -> EnvList a
- env :: forall a. Var a => String -> Parser a
- envMaybe :: forall a. Var a => String -> Parser (Maybe a)
- (.=) :: Var a => String -> a -> EnvVar
- (.!=) :: Parser (Maybe a) -> a -> Parser a
- class DefConfig a where
- data Option = Option {}
- runEnv :: Parser a -> IO (Either String a)
- gFromEnvCustom :: forall a. (DefConfig a, Generic a, GFromEnv (Rep a)) => Option -> Parser a
Classes
ToEnv Typeclass
Minimal complete definition
Class for converting to / from an environment variable
Instances
| Var Bool Source # | |
| Var Double Source # | |
| Var Int Source # | |
| Var Int8 Source # | |
| Var Int16 Source # | |
| Var Int32 Source # | |
| Var Int64 Source # | |
| Var Integer Source # | |
| Var Word8 Source # | |
| Var Word16 Source # | |
| Var Word32 Source # | |
| Var Word64 Source # | |
| Var String Source # | |
| Var ByteString Source # | |
| Var ByteString Source # | |
| Var Text Source # | |
| Var Text Source # | |
| Var UTCTime Source # | |
| Var Day Source # | |
Functions
setEnvironment :: EnvList a -> IO (Either String ()) Source #
Set environment via a ToEnv constrained type
setEnvironment' :: ToEnv a => a -> IO (Either String ()) Source #
Set environment directly using a value of class ToEnv
unsetEnvironment :: EnvList a -> IO (Either String ()) Source #
Unset Environment from a ToEnv constrained type
envMaybe :: forall a. Var a => String -> Parser (Maybe a) Source #
Environment variable getter returning Maybe
(.=) :: Var a => String -> a -> EnvVar Source #
Infix environment variable setter
Smart constructor for producing types of EnvVar
(.!=) :: Parser (Maybe a) -> a -> Parser a Source #
For use with (.:?) for providing default arguments
Generics
For customizing environment variable generation
Constructors
| Option | |
Fields
| |