Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
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 |