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 k. (Generic (config k), Generic (LensConfig k config), GLensFor (config k) (Rep (config k)) (Rep (LensConfig k config))) => LensConfig k config

fromPartialConfig :: (Generic (Partial config), Generic (Complete config), GFromPartialConfig (Rep (Partial config)) (Rep (Complete config))) => Partial config -> Maybe (Complete config)