Skip to content

HORIZON HASKELL Docs lts/ghc-10.0.xfc4e5982026-10-11Search names, modules, packages, or :: a typeCtrl K

GHC 10.0.0.20260917 · lts/ghc-10.0.x · fc4e598 · 2026-10-11

Modulegeneric-lens-core-2.3.0.0Haskell2010

Data.Generics.Internal.Families.Collect

1 type

Packagegeneric-lens-core-2.3.0.0
Exports6
LanguageHaskell2010
LicenceBSD-3-Clause

familytype family CollectTotalType t (f :: k -> Type) :: TypeStat where

Equations

CollectTotalType t (C1 ('MetaCons ctor _1 _2) f) = AddToStat ctor (CountType t f) EmptyStat
CollectTotalType t (M1 _1 _2 r) = CollectTotalType t r
CollectTotalType t (l :+: r) = MergeStat (CollectTotalType t l) (CollectTotalType t r)

familytype family CollectPartialType (t :: [Type]) (f :: Type -> Type) :: [Symbol] where

Equations

CollectPartialType t (l :+: r) = CollectPartialType t l ++ CollectPartialType t r
CollectPartialType t (C1 ('MetaCons ctor _1 _2) f) = If (t == GTypes f) '[ctor] '[]
CollectPartialType t (D1 _1 f) = CollectPartialType t f

familytype family CollectField (t :: Symbol) (f :: k -> Type) :: TypeStat where

Equations

CollectField t (C1 ('MetaCons ctor _1 _2) f) = AddToStat ctor (CountField t f) EmptyStat
CollectField t (M1 _1 _2 r) = CollectField t r
CollectField t (l :+: r) = MergeStat (CollectField t l) (CollectField t r)

familytype family CollectFieldsOrdered (r :: Type -> Type) :: [Symbol] where

Equations

CollectFieldsOrdered (l :*: r) = Merge (CollectFieldsOrdered l) (CollectFieldsOrdered r)
CollectFieldsOrdered (S1 ('MetaSel ('Just name) _1 _2 _3) _4) = '[name]
CollectFieldsOrdered (M1 _1 m a) = CollectFieldsOrdered a
CollectFieldsOrdered _1 = '[]

datadata TypeStat

Constructors

TypeStat
- _containsNone :: [Symbol]
- _containsMultiple :: [Symbol]
- _containsOne :: [Symbol]

familytype family (\\) (xs :: [Symbol]) (ys :: [Symbol]) :: [Symbol] where

Equations

(\\) xs '[] = xs
(\\) '[] xs = '[]
(\\) (x ': xs) (y ': ys) = Sub' (CmpSymbol x y) x y xs ys