Skip to content

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

GHC 9.14.1 · lts/ghc-9.14.x · 45dd537 · 2026-10-11

Modulegeneric-lens-core-2.3.0.0Haskell2010

Data.Generics.Internal.Families.Has

1 type

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

familytype family HasTotalFieldP (field :: Symbol) (f :: k -> Type) :: Maybe Type where

Equations

HasTotalFieldP field (S1 ('MetaSel ('Just field) _1 _2 _3) (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 _1 _2) = 'Nothing
HasTotalFieldP field (C1 _1 f) = HasTotalFieldP field f
HasTotalFieldP field (D1 _1 f) = HasTotalFieldP field f
HasTotalFieldP field (K1 _1 _2) = 'Nothing
HasTotalFieldP field U1 = 'Nothing
HasTotalFieldP field V1 = 'Nothing

familytype family HasTotalTypeP typ (f :: k -> Type) :: Maybe Type where

Equations

HasTotalTypeP typ (S1 _1 (K1 _2 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 _1 _2) = 'Nothing
HasTotalTypeP typ (C1 _1 f) = HasTotalTypeP typ f
HasTotalTypeP typ (D1 _1 f) = HasTotalTypeP typ f
HasTotalTypeP typ (K1 _1 _2) = 'Nothing
HasTotalTypeP typ U1 = 'Nothing
HasTotalTypeP typ V1 = 'Nothing

familytype family HasTotalPositionP (pos :: Nat) (f :: k -> Type) :: Maybe Type where

Equations

HasTotalPositionP pos (S1 _1 (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 _1 _2) = 'Nothing
HasTotalPositionP pos (C1 _1 f) = HasTotalPositionP pos f
HasTotalPositionP pos (D1 _1 f) = HasTotalPositionP pos f
HasTotalPositionP pos (K1 _1 _2) = 'Nothing
HasTotalPositionP pos U1 = 'Nothing
HasTotalPositionP pos V1 = 'Nothing

datadata Pos (p :: Nat)

familytype family HasPartialTypeP (a :: [Type]) (f :: Type -> Type) :: Bool where

Equations

HasPartialTypeP t (l :+: r) = HasPartialTypeP t l || HasPartialTypeP t r
HasPartialTypeP t (C1 m f) = t == GTypes f
HasPartialTypeP t (M1 _1 _2 f) = HasPartialTypeP t f
HasPartialTypeP t _1 = 'False

familytype family HasCtorP (ctor :: Symbol) (f :: k -> Type) :: Bool where

Equations

HasCtorP ctor (C1 ('MetaCons ctor _1 _2) _3) = 'True
HasCtorP ctor (f :+: g) = HasCtorP ctor f || HasCtorP ctor g
HasCtorP ctor (D1 m f) = HasCtorP ctor f
HasCtorP ctor _1 = 'False

familytype family GTypes (rep :: Type -> Type) :: [Type] where

Equations

GTypes (l :*: r) = GTypes l ++ GTypes r
GTypes (K1 _1 a) = '[a]
GTypes (M1 _1 m a) = GTypes a
GTypes U1 = '[]