| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Cfg.Deriving.Assert
Documentation
class Assert (pred :: Bool) (msg :: ErrorMessage) Source #
type family IsTopLevelRecord f where ... Source #
Equations
| IsTopLevelRecord V1 = 'False | |
| IsTopLevelRecord U1 = 'False | |
| IsTopLevelRecord (K1 i c) = 'False | |
| IsTopLevelRecord (M1 i c f) = IsTopLevelRecord f | |
| IsTopLevelRecord (f :*: g) = 'True | |
| IsTopLevelRecord (f :+: g) = 'False |
type AssertTopLevelRecord (constraint :: Type -> Constraint) a = Assert (IsTopLevelRecord (Rep a)) ((((('Text "\128683 Cannot derive " ':<>: 'ShowType constraint) ':<>: 'Text " instance for ") ':<>: 'ShowType a) ':<>: 'Text " via ConfigRoot") ':$$: 'Text "\128161 ConfigRoot must be derived on a top level record type with named fields.") Source #