| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Cfg.Source.NestedConfig
Synopsis
- defaultToNestedConfig :: forall a. (Generic a, GConfigForest (Rep a)) => ConfigOptions -> [Tree Text]
- class GConfigForest (a :: Type -> Type) where
- gToForest :: ConfigOptions -> [Tree Text]
Documentation
defaultToNestedConfig :: forall a. (Generic a, GConfigForest (Rep a)) => ConfigOptions -> [Tree Text] Source #
class GConfigForest (a :: Type -> Type) where Source #
Generic typeclass machinery for inducting on the structure
of the type, such that we can thread Display instances through
the structure of the type. The primary use case is for implementing
RecordInstance, which does this "threading" for record fields. This
machinery does, crucially, depend on child types (i.e. the type of a
record field) having a Display instance.
Since: 0.0.1.0
Instances
| GConfigForest (U1 :: Type -> Type) Source # | |
Defined in Cfg.Source.NestedConfig | |
| GConfigForest (V1 :: Type -> Type) Source # | |
Defined in Cfg.Source.NestedConfig | |
| (GConfigForest a, GConfigForest b) => GConfigForest (a :*: b) Source # | |
Defined in Cfg.Source.NestedConfig | |
| GConfigForest (a :+: b) Source # | |
Defined in Cfg.Source.NestedConfig | |
| NestedConfig a => GConfigForest (K1 R a :: Type -> Type) Source # | |
Defined in Cfg.Source.NestedConfig | |
| (Constructor c, GConfigForest f) => GConfigForest (M1 C c f) Source # | |
Defined in Cfg.Source.NestedConfig | |
| GConfigForest f => GConfigForest (M1 D s f) Source # | |
Defined in Cfg.Source.NestedConfig | |
| (Selector s, GConfigForest f) => GConfigForest (M1 S s f) Source # | |
Defined in Cfg.Source.NestedConfig | |