Safe Haskell	Safe-Inferred
Language	GHC2021

Generic.Data.Function.Common.Generic.Meta

Synopsis

Documentation

type family CstrNames gf :: [Symbol] where ... Source #

List every constructor name in a generic type rep.

Equations

CstrNames (l :+: r) = CstrNames l ++ CstrNames r
CstrNames (C1 (MetaCons n _ _) _) = '[n]

type family (as :: [k]) ++ (bs :: [k]) :: [k] where ... Source #

Append for type-level lists.

Equations

'[] ++ bs = bs
(a ': as) ++ bs = a ': (as ++ bs)

Reify a list of type-level strings. Order is maintained.

Methods

Instances details

KnownSymbols ('[] :: [k]) Source #
Instance details Defined in Generic.Data.Function.Common.Generic.Meta Methods symbolVals :: [String] Source #
(KnownSymbol a, KnownSymbols as) => KnownSymbols (a ': as :: [Symbol]) Source #
Instance details Defined in Generic.Data.Function.Common.Generic.Meta Methods symbolVals :: [String] Source #