Safe Haskell	Safe
Language	Haskell2010

Conferer.FromConfig.Basics

Contents

Orphan instances

Synopsis

updateAllAtOnceUsingFetch :: forall a. (FromConfig a, Typeable a) => Key -> Config -> a -> IO a
parseBool :: Text -> Maybe Bool
updateFromConfigByRead :: (Typeable a, Read a) => Key -> Config -> a -> IO a
updateFromConfigByIsString :: (Typeable a, IsString a) => Key -> Config -> a -> IO a
fetchFromConfigByRead :: (Typeable a, Read a) => Key -> Config -> IO (Maybe a)
fetchFromConfigByIsString :: (Typeable a, IsString a) => Key -> Config -> IO (Maybe a)
fromValueWith :: (Text -> Maybe a) -> Text -> Maybe a
fetchFromConfigWith :: forall a. Typeable a => (Text -> Maybe a) -> Key -> Config -> IO (Maybe a)
updateFromConfigWith :: forall a. Typeable a => (Text -> Maybe a) -> Key -> Config -> a -> IO a
findKeyAndApplyConfig :: forall newvalue config. FromConfig newvalue => Config -> Key -> Key -> (config -> newvalue) -> (newvalue -> config -> config) -> config -> IO config
class FromConfigWithConNameG f where
- updateFromConfigWithConNameG :: String -> Key -> Config -> f a -> IO (f a)
- fetchFromConfigWithConNameG :: String -> Key -> Config -> IO (Maybe (f a))

Documentation

updateAllAtOnceUsingFetch :: forall a. (FromConfig a, Typeable a) => Key -> Config -> a -> IO a Source #

parseBool :: Text -> Maybe Bool Source #

updateFromConfigByRead :: (Typeable a, Read a) => Key -> Config -> a -> IO a Source #

updateFromConfigByIsString :: (Typeable a, IsString a) => Key -> Config -> a -> IO a Source #

fetchFromConfigByRead :: (Typeable a, Read a) => Key -> Config -> IO (Maybe a) Source #

fetchFromConfigByIsString :: (Typeable a, IsString a) => Key -> Config -> IO (Maybe a) Source #

fromValueWith :: (Text -> Maybe a) -> Text -> Maybe a Source #

fetchFromConfigWith :: forall a. Typeable a => (Text -> Maybe a) -> Key -> Config -> IO (Maybe a) Source #

updateFromConfigWith :: forall a. Typeable a => (Text -> Maybe a) -> Key -> Config -> a -> IO a Source #

findKeyAndApplyConfig Source #

Arguments

:: FromConfig newvalue
=> Config	Complete config
-> Key	Key that indicates the part of the config that we care about
-> Key	Key that we use to find the config (usually concatenating with the other key)
-> (config -> newvalue)	Function that knows how to use the value to update the config
-> (newvalue -> config -> config)	Function that knows how to use the value to update the config
-> config	Result of the last config updating
-> IO config	Updated config

Concatenate many transformations to the config based on keys and functions

class FromConfigWithConNameG f where Source #

Methods

updateFromConfigWithConNameG :: String -> Key -> Config -> f a -> IO (f a) Source #

fetchFromConfigWithConNameG :: String -> Key -> Config -> IO (Maybe (f a)) Source #

Instances

(FromConfigWithConNameG left, FromConfigWithConNameG right) => FromConfigWithConNameG (left :*: right) Source #
Instance details Defined in Conferer.FromConfig.Basics Methods updateFromConfigWithConNameG :: String -> Key -> Config -> (left :: right) a -> IO ((left :: right) a) Source # fetchFromConfigWithConNameG :: String -> Key -> Config -> IO (Maybe ((left :*: right) a)) Source #
(FromConfigG inner, Selector selector) => FromConfigWithConNameG (S1 selector inner) Source #
Instance details Defined in Conferer.FromConfig.Basics Methods updateFromConfigWithConNameG :: String -> Key -> Config -> S1 selector inner a -> IO (S1 selector inner a) Source # fetchFromConfigWithConNameG :: String -> Key -> Config -> IO (Maybe (S1 selector inner a)) Source #

Orphan instances

FromConfig Bool Source #
Instance details Methods updateFromConfig :: Key -> Config -> Bool -> IO Bool Source # fetchFromConfig :: Key -> Config -> IO (Maybe Bool) Source #
FromConfig Float Source #
Instance details Methods updateFromConfig :: Key -> Config -> Float -> IO Float Source # fetchFromConfig :: Key -> Config -> IO (Maybe Float) Source #
FromConfig Int Source #
Instance details Methods updateFromConfig :: Key -> Config -> Int -> IO Int Source # fetchFromConfig :: Key -> Config -> IO (Maybe Int) Source #
FromConfig Integer Source #
Instance details Methods updateFromConfig :: Key -> Config -> Integer -> IO Integer Source # fetchFromConfig :: Key -> Config -> IO (Maybe Integer) Source #
FromConfig String Source #
Instance details Methods updateFromConfig :: Key -> Config -> String -> IO String Source # fetchFromConfig :: Key -> Config -> IO (Maybe String) Source #
FromConfig ByteString Source #
Instance details Methods updateFromConfig :: Key -> Config -> ByteString -> IO ByteString Source # fetchFromConfig :: Key -> Config -> IO (Maybe ByteString) Source #
FromConfig Text Source #
Instance details Methods updateFromConfig :: Key -> Config -> Text -> IO Text Source # fetchFromConfig :: Key -> Config -> IO (Maybe Text) Source #
FromConfig a => FromConfig (Maybe a) Source #
Instance details Methods updateFromConfig :: Key -> Config -> Maybe a -> IO (Maybe a) Source # fetchFromConfig :: Key -> Config -> IO (Maybe (Maybe a)) Source #
DefaultConfig (Maybe a) Source #
Instance details Methods configDef :: Maybe a Source #
FromConfig inner => FromConfigG (Rec0 inner) Source #	Purely `Generics` machinery, ignore...
Instance details Methods updateFromConfigG :: Key -> Config -> Rec0 inner a -> IO (Rec0 inner a) Source # fetchFromConfigG :: Key -> Config -> IO (Maybe (Rec0 inner a)) Source #
FromConfigG inner => FromConfigG (D1 metadata inner) Source #
Instance details Methods updateFromConfigG :: Key -> Config -> D1 metadata inner a -> IO (D1 metadata inner a) Source # fetchFromConfigG :: Key -> Config -> IO (Maybe (D1 metadata inner a)) Source #
(FromConfigWithConNameG inner, Constructor constructor) => FromConfigG (C1 constructor inner) Source #
Instance details Methods updateFromConfigG :: Key -> Config -> C1 constructor inner a -> IO (C1 constructor inner a) Source # fetchFromConfigG :: Key -> Config -> IO (Maybe (C1 constructor inner a)) Source #