Data.GI.Base.Overloading
type family ParentTypes a :: [*]
type family IsDescendantOf (parent :: *) (descendant :: *) :: Constraint where ...
type family UnknownAncestorError (a :: *) (t :: *) where ...
type family AttributeList a :: [(Symbol, *)]
class HasAttributeList a
type family ResolveAttribute (s :: Symbol) (o :: *) :: * where ...
type family HasAttribute (attr :: Symbol) (o :: *) where ...
class HasAttr attr o
type family SignalList a :: [(Symbol, *)]
type family ResolveSignal (s :: Symbol) (o :: *) :: * where ...
class MethodInfo i o s
data MethodProxy a
type family MethodResolutionFailed (method :: Symbol) (o :: *) where ...
class IsLabelProxy x a