configurator-0.3.0.0: Configuration management
Copyright(c) 2011 MailRank Inc.
LicenseBSD3
MaintainerBryan O'Sullivan <bos@serpentine.com>
Stabilityexperimental
Portabilityportable
Safe HaskellSafe-Inferred
LanguageHaskell98

Data.Configurator.Types

Description

Types for working with configuration files.

Synopsis

Documentation

data AutoConfig Source #

Directions for automatically reloading Config data.

Constructors

AutoConfig 

Fields

  • interval :: Int

    Interval (in seconds) at which to check for updates to config files. The smallest allowed interval is one second.

  • onError :: SomeException -> IO ()

    Action invoked when an attempt to reload a Config or notify a ChangeHandler causes an exception to be thrown.

    If this action rethrows its exception or throws a new exception, the modification checking thread will be killed. You may want your application to treat that as a fatal error, as its configuration may no longer be consistent.

Instances

Instances details
Show AutoConfig Source # 
Instance details

Defined in Data.Configurator.Types.Internal

data Config Source #

Configuration data.

type Name = Text Source #

The name of a Config value.

data Value Source #

A value in a Config.

Constructors

Bool Bool

A Boolean. Represented in a configuration file as on or off, true or false (case sensitive).

String Text

A Unicode string. Represented in a configuration file as text surrounded by double quotes.

Escape sequences:

  • \n - newline
  • \r - carriage return
  • \t - horizontal tab
  • \\ - backslash
  • \" - quotes
  • \uxxxx - Unicode character, encoded as four hexadecimal digits
  • \uxxxx\uxxxx - Unicode character (as two UTF-16 surrogates)
Number Rational

Integer.

List [Value]

Heterogeneous list. Represented in a configuration file as an opening square bracket "[", followed by a comma-separated series of values, ending with a closing square bracket "]".

Instances

Instances details
Data Value Source # 
Instance details

Defined in Data.Configurator.Types.Internal

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Value -> c Value Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Value Source #

toConstr :: Value -> Constr Source #

dataTypeOf :: Value -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Value) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Value) Source #

gmapT :: (forall b. Data b => b -> b) -> Value -> Value Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Value -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Value -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> Value -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Value -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Value -> m Value Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Value -> m Value Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Value -> m Value Source #

Show Value Source # 
Instance details

Defined in Data.Configurator.Types.Internal

Configured Value Source # 
Instance details

Defined in Data.Configurator.Instances

Eq Value Source # 
Instance details

Defined in Data.Configurator.Types.Internal

Methods

(==) :: Value -> Value -> Bool Source #

(/=) :: Value -> Value -> Bool Source #

class Configured a Source #

This class represents types that can be automatically and safely converted from a Value to a destination type. If conversion fails because the types are not compatible, Nothing is returned.

For an example of compatibility, a Value of Value True cannot be converted to an Int.

Minimal complete definition

convert

Instances

Instances details
Configured CDouble Source # 
Instance details

Defined in Data.Configurator.Instances

Configured CFloat Source # 
Instance details

Defined in Data.Configurator.Instances

Configured Int16 Source # 
Instance details

Defined in Data.Configurator.Instances

Configured Int32 Source # 
Instance details

Defined in Data.Configurator.Instances

Configured Int64 Source # 
Instance details

Defined in Data.Configurator.Instances

Configured Int8 Source # 
Instance details

Defined in Data.Configurator.Instances

Configured Word16 Source # 
Instance details

Defined in Data.Configurator.Instances

Configured Word32 Source # 
Instance details

Defined in Data.Configurator.Instances

Configured Word64 Source # 
Instance details

Defined in Data.Configurator.Instances

Configured Word8 Source # 
Instance details

Defined in Data.Configurator.Instances

Configured ByteString Source # 
Instance details

Defined in Data.Configurator.Instances

Configured ByteString Source # 
Instance details

Defined in Data.Configurator.Instances

Configured Value Source # 
Instance details

Defined in Data.Configurator.Instances

Configured Text Source # 
Instance details

Defined in Data.Configurator.Instances

Configured Text Source # 
Instance details

Defined in Data.Configurator.Instances

Configured Integer Source # 
Instance details

Defined in Data.Configurator.Instances

Configured Bool Source # 
Instance details

Defined in Data.Configurator.Instances

Configured Char Source # 
Instance details

Defined in Data.Configurator.Instances

Configured Double Source # 
Instance details

Defined in Data.Configurator.Instances

Configured Float Source # 
Instance details

Defined in Data.Configurator.Instances

Configured Int Source # 
Instance details

Defined in Data.Configurator.Instances

Configured Word Source # 
Instance details

Defined in Data.Configurator.Instances

RealFloat a => Configured (Complex a) Source # 
Instance details

Defined in Data.Configurator.Instances

Integral a => Configured (Ratio a) Source # 
Instance details

Defined in Data.Configurator.Instances

Configured a => Configured [a] Source # 
Instance details

Defined in Data.Configurator.Types.Internal

Methods

convert :: Value -> Maybe [a] Source #

convertList :: Value -> Maybe [[a]]

HasResolution a => Configured (Fixed a) Source # 
Instance details

Defined in Data.Configurator.Instances

(Configured a, Configured b) => Configured (a, b) Source # 
Instance details

Defined in Data.Configurator.Instances

Methods

convert :: Value -> Maybe (a, b) Source #

convertList :: Value -> Maybe [(a, b)]

(Configured a, Configured b, Configured c) => Configured (a, b, c) Source # 
Instance details

Defined in Data.Configurator.Instances

Methods

convert :: Value -> Maybe (a, b, c) Source #

convertList :: Value -> Maybe [(a, b, c)]

(Configured a, Configured b, Configured c, Configured d) => Configured (a, b, c, d) Source # 
Instance details

Defined in Data.Configurator.Instances

Methods

convert :: Value -> Maybe (a, b, c, d) Source #

convertList :: Value -> Maybe [(a, b, c, d)]

data Worth a Source #

Constructors

Required 

Fields

Optional 

Fields

Instances

Instances details
Functor Worth Source # 
Instance details

Defined in Data.Configurator.Types.Internal

Methods

fmap :: (a -> b) -> Worth a -> Worth b Source #

(<$) :: a -> Worth b -> Worth a Source #

IsString (Worth FilePath) Source # 
Instance details

Defined in Data.Configurator.Types.Internal

Show a => Show (Worth a) Source # 
Instance details

Defined in Data.Configurator.Types.Internal

Eq a => Eq (Worth a) Source # 
Instance details

Defined in Data.Configurator.Types.Internal

Methods

(==) :: Worth a -> Worth a -> Bool Source #

(/=) :: Worth a -> Worth a -> Bool Source #

Hashable a => Hashable (Worth a) Source # 
Instance details

Defined in Data.Configurator.Types.Internal

Methods

hashWithSalt :: Int -> Worth a -> Int Source #

hash :: Worth a -> Int Source #

Exceptions

data ConfigError Source #

An error occurred while processing a configuration file.

Constructors

ParseError FilePath String 

data KeyError Source #

An error occurred while lookup up the given Name.

Constructors

KeyError Name 

Notification of configuration changes

data Pattern Source #

A pattern specifying the name of a property that has changed.

This type is an instance of the IsString class. If you use the OverloadedStrings language extension and want to write a prefix-matching pattern as a literal string, do so by suffixing it with ".*", for example as follows:

"foo.*"

If a pattern written as a literal string does not end with ".*", it is assumed to be exact.

Instances

Instances details
Data Pattern Source # 
Instance details

Defined in Data.Configurator.Types.Internal

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Pattern -> c Pattern Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Pattern Source #

toConstr :: Pattern -> Constr Source #

dataTypeOf :: Pattern -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Pattern) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Pattern) Source #

gmapT :: (forall b. Data b => b -> b) -> Pattern -> Pattern Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Pattern -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Pattern -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> Pattern -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Pattern -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Pattern -> m Pattern Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Pattern -> m Pattern Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Pattern -> m Pattern Source #

IsString Pattern Source # 
Instance details

Defined in Data.Configurator.Types.Internal

Show Pattern Source # 
Instance details

Defined in Data.Configurator.Types.Internal

Eq Pattern Source # 
Instance details

Defined in Data.Configurator.Types.Internal

Hashable Pattern Source # 
Instance details

Defined in Data.Configurator.Types.Internal

type ChangeHandler Source #

Arguments

 = Name

Name of the changed property.

-> Maybe Value

Its new value, or Nothing if it has vanished.

-> IO () 

An action to be invoked if a configuration property is changed.

If this action is invoked and throws an exception, the onError function will be called.