Config.Simple

Functions for declaring a configuration data type.

Documentation

type family ConfigBool k where ...

Equations

ConfigBool CPartial = Any

ConfigBool CComplete = Bool

ConfigBool (CLensFor k root) = LensFor root (ConfigBool k)

type family ConfigLast a k where ...

Equations

ConfigLast a CPartial = Last a

ConfigLast a CComplete = a

ConfigLast a (CLensFor k root) = LensFor root (ConfigLast a k)

type family ConfigSet a k where ...

Equations

ConfigSet a CPartial = Set a

ConfigSet a CComplete = Set a

ConfigSet a (CLensFor k root) = LensFor root (ConfigSet a k)

type Partial config = config CPartial

type Complete config = config CComplete

newtype LensFor s a

Constructors

LensFor (Lens' s a)

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

configLensPartial :: forall config proxy. (Generic (config CPartial), Generic (LensConfig CPartial config), GLensFor CPartial (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))) => Partial config -> Maybe (Complete config)