pushbullet-types-0.4.1.0: Datatypes used by the Pushbullet APIs
Network.Pushbullet.Internal.Reflection
Synopsis
type family Demote' (p :: KProxy k) :: k -> * Source #
Instances
type Demote (a :: k) = Demote' (KProxy :: KProxy k) Source #
type Reflected a = Demote a a Source #
class Reflect a where Source #
Minimal complete definition
reflect
Methods
reflect :: proxy a -> Reflected a Source #
reflect :: proxy a -> Reflected New a Source #
reflect :: proxy a -> Reflected Existing a Source #
data KProxy t :: * -> * #
A concrete, promotable proxy type, for use at the kind level There are no instances for this because it is intended at the kind level only
Constructors