Config.Simple

Functions for declaring a configuration data type.

Documentation

type family ConfigBool k where ...

Equations

ConfigBool CPartial = Any

ConfigBool CComplete = Bool

ConfigBool CAccum = Bool

ConfigBool (CLensFor k root) = ConfigLensFor k root (ConfigBool (ConfigLensTarget k))

type family ConfigLast a k where ...

Equations

ConfigLast a CPartial = Last a

ConfigLast a CComplete = a

ConfigLast a CAccum = a

ConfigLast a (CLensFor k root) = ConfigLensFor k root (ConfigLast a (ConfigLensTarget k))

type family ConfigSet a k where ...

Equations

ConfigSet a CPartial = Set a

ConfigSet a CComplete = Set a

ConfigSet a CAccum = a

ConfigSet a (CLensFor k root) = ConfigLensFor k root (ConfigSet a (ConfigLensTarget k))

type Partial config = config CPartial

type Complete config = config CComplete

newtype LensFor s a

Constructors

LensFor (Lens' s a)

newtype AccumFor s a

Constructors

AccumFor (a -> s -> s)

configLens :: forall config. (Generic (config CComplete), Generic (LensConfig CComplete config), GLensFor (config CComplete) (Rep (config CComplete)) (Rep (LensConfig CComplete config))) => LensConfig CComplete config

configLensPartial :: forall config. (Generic (config CPartial), Generic (LensConfig CPartial config), GLensFor (config CPartial) (Rep (config CPartial)) (Rep (LensConfig CPartial config))) => LensConfig CPartial config

fromPartialConfig :: (Generic (Partial config), Generic (Complete config), GFromPartialConfig (Rep (Partial config)) (Rep (Complete config)), IsString text) => Partial config -> Validation [text] (Complete config)