Network.Pushbullet.Internal.Reflection

Documentation

type family Demote' (p :: KProxy k) :: k -> *

Instances

type Demote' Status (KProxy Status)

type Demote' Status (KProxy Status)

type Demote (a :: k) = Demote' (KProxy :: KProxy k)

type Reflected a = Demote a a

class Reflect a where

Minimal complete definition

reflect

Methods

reflect :: proxy a -> Reflected a

Instances

Reflect Status New

Methods

reflect :: proxy a -> Reflected New a

Reflect Status Existing

Methods

reflect :: proxy a -> Reflected Existing a

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

KProxy