| Copyright | (C) 2020 Csongor Kiss |
|---|---|
| License | BSD3 |
| Maintainer | Csongor Kiss <kiss.csongor.kiss@gmail.com> |
| Stability | experimental |
| Portability | non-portable |
| Safe Haskell | None |
| Language | Haskell2010 |
Data.Generics.Internal.Families.Has
Description
Documentation
type family HasTotalFieldP (field :: Symbol) f :: Maybe Type where ... Source #
Equations
| HasTotalFieldP field (S1 ('MetaSel ('Just field) _ _ _) (Rec0 t)) = 'Just t | |
| HasTotalFieldP field (l :*: r) = Alt (HasTotalFieldP field l) (HasTotalFieldP field r) | |
| HasTotalFieldP field (l :+: r) = Both (HasTotalFieldP field l) (HasTotalFieldP field r) | |
| HasTotalFieldP field (S1 _ _) = 'Nothing | |
| HasTotalFieldP field (C1 _ f) = HasTotalFieldP field f | |
| HasTotalFieldP field (D1 _ f) = HasTotalFieldP field f | |
| HasTotalFieldP field (K1 _ _) = 'Nothing | |
| HasTotalFieldP field U1 = 'Nothing | |
| HasTotalFieldP field V1 = 'Nothing |
type family HasTotalTypeP (typ :: Type) f :: Maybe Type where ... Source #
Equations
| HasTotalTypeP typ (S1 _ (K1 _ typ)) = 'Just typ | |
| HasTotalTypeP typ (l :*: r) = Alt (HasTotalTypeP typ l) (HasTotalTypeP typ r) | |
| HasTotalTypeP typ (l :+: r) = Both (HasTotalTypeP typ l) (HasTotalTypeP typ r) | |
| HasTotalTypeP typ (S1 _ _) = 'Nothing | |
| HasTotalTypeP typ (C1 _ f) = HasTotalTypeP typ f | |
| HasTotalTypeP typ (D1 _ f) = HasTotalTypeP typ f | |
| HasTotalTypeP typ (K1 _ _) = 'Nothing | |
| HasTotalTypeP typ U1 = 'Nothing | |
| HasTotalTypeP typ V1 = 'Nothing |
type family HasTotalPositionP (pos :: Nat) f :: Maybe Type where ... Source #
Equations
| HasTotalPositionP pos (S1 _ (K1 (Pos pos) t)) = 'Just t | |
| HasTotalPositionP pos (l :*: r) = Alt (HasTotalPositionP pos l) (HasTotalPositionP pos r) | |
| HasTotalPositionP pos (l :+: r) = Both (HasTotalPositionP pos l) (HasTotalPositionP pos r) | |
| HasTotalPositionP pos (S1 _ _) = 'Nothing | |
| HasTotalPositionP pos (C1 _ f) = HasTotalPositionP pos f | |
| HasTotalPositionP pos (D1 _ f) = HasTotalPositionP pos f | |
| HasTotalPositionP pos (K1 _ _) = 'Nothing | |
| HasTotalPositionP pos U1 = 'Nothing | |
| HasTotalPositionP pos V1 = 'Nothing |
type family HasPartialTypeP a f :: Bool where ... Source #
Equations
| HasPartialTypeP t (l :+: r) = HasPartialTypeP t l || HasPartialTypeP t r | |
| HasPartialTypeP t (C1 m f) = t == GTypes f | |
| HasPartialTypeP t (M1 _ _ f) = HasPartialTypeP t f | |
| HasPartialTypeP t _ = 'False |