Cfg.Deriving.Value

This module provides a type Value for generating instances for "leaf" elements of your configuration tree. These are the elements you actually care about and want to parse out of a configuration source.

Since: 0.0.2.0

Documentation

newtype Value a

This newtype is used to derive ValueParser instances for your types using the deriving via mechanism. In general this should be used for sum types, and product types without named fields (i.e. not records). The majority of the types that you would want as values should have instances in Cfg.Source and Cfg.Parser.

Since: 0.0.2.0

Constructors

Value

Fields

• unValue :: a

Instances

ConfigSource (Value a :: Type)

Base case for ConfigSource, inserts an empty map that indicates we are "expecting a value here"

Since: 0.0.1.0

Defined in Cfg.Source

Methods

configSource :: KeyTree Text Text

Generic a => Generic (Value a)

Since: 0.0.2.0

Defined in Cfg.Deriving.Value

Associated Types

type Rep (Value a)

Defined in Cfg.Deriving.Value

type Rep (Value a) = Rep a

Methods

from :: Value a -> Rep (Value a) x

to :: Rep (Value a) x -> Value a

(Generic a, GValueParser (Rep a)) => ConfigParser (Value a)

Since: 0.0.2.0

Defined in Cfg.Deriving.Value

Methods

parseConfig :: KeyTree Text Text -> Either ConfigParseError (Value a)

(Generic a, GValueParser (Rep a)) => ValueParser (Value a)

Since: 0.0.2.0

Defined in Cfg.Deriving.Value

Methods

parser :: Parser (Value a)

type Rep (Value a)

Defined in Cfg.Deriving.Value

type Rep (Value a) = Rep a