Data.Generics.Internal.Families.Collect

Documentation

type family CollectTotalType t f :: TypeStat where ...

Equations

CollectTotalType t (C1 (MetaCons ctor _ _) f) = AddToStat ctor (CountType t f) EmptyStat

CollectTotalType t (M1 _ _ r) = CollectTotalType t r

CollectTotalType t (l :+: r) = MergeStat (CollectTotalType t l) (CollectTotalType t r)

type family CollectPartialType t f :: [Symbol] where ...

Equations

CollectPartialType t (l :+: r) = CollectPartialType t l ++ CollectPartialType t r

CollectPartialType t (C1 (MetaCons ctor _ _) f) = If (t == GTypes f) '[ctor] '[]

CollectPartialType t (D1 _ f) = CollectPartialType t f

type family CollectField t f :: TypeStat where ...

Equations

CollectField t (C1 (MetaCons ctor _ _) f) = AddToStat ctor (CountField t f) EmptyStat

CollectField t (M1 _ _ r) = CollectField t r

CollectField t (l :+: r) = MergeStat (CollectField t l) (CollectField t r)

type family CollectFieldsOrdered (r :: * -> *) :: [Symbol] where ...

Equations

CollectFieldsOrdered (l :*: r) = Merge (CollectFieldsOrdered l) (CollectFieldsOrdered r)

CollectFieldsOrdered (S1 (MetaSel (Just name) _ _ _) _) = '[name]

CollectFieldsOrdered (M1 _ m a) = CollectFieldsOrdered a

CollectFieldsOrdered _ = '[]

data TypeStat

Constructors

TypeStat

Fields

• _containsNone :: [Symbol]
• _containsMultiple :: [Symbol]
• _containsOne :: [Symbol]

type family (xs :: [Symbol]) \\ (ys :: [Symbol]) :: [Symbol] where ... infixr 5

Equations

xs \\ '[] = xs

'[] \\ xs = '[]

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