uvmhs-0.0.0.0
Safe HaskellSafe-Inferred
LanguageHaskell2010

UVMHS.Lib.THLiftInstances

Orphan instances

Lift Loc Source # 
Instance details

Methods

lift :: Quote m => Loc -> m Exp #

liftTyped :: forall (m :: Type -> Type). Quote m => Loc -> Code m Loc #

Lift LocRange Source # 
Instance details

Methods

lift :: Quote m => LocRange -> m Exp #

liftTyped :: forall (m :: Type -> Type). Quote m => LocRange -> Code m LocRange #

Lift SrcCxt Source # 
Instance details

Methods

lift :: Quote m => SrcCxt -> m Exp #

liftTyped :: forall (m :: Type -> Type). Quote m => SrcCxt -> Code m SrcCxt #

Lift Annotation Source # 
Instance details

Methods

lift :: Quote m => Annotation -> m Exp #

liftTyped :: forall (m :: Type -> Type). Quote m => Annotation -> Code m Annotation #

Lift Formats Source # 
Instance details

Methods

lift :: Quote m => Formats -> m Exp #

liftTyped :: forall (m :: Type -> Type). Quote m => Formats -> Code m Formats #

Lift Color Source # 
Instance details

Methods

lift :: Quote m => Color -> m Exp #

liftTyped :: forall (m :: Type -> Type). Quote m => Color -> Code m Color #

Lift Color3Bit Source # 
Instance details

Methods

lift :: Quote m => Color3Bit -> m Exp #

liftTyped :: forall (m :: Type -> Type). Quote m => Color3Bit -> Code m Color3Bit #

Lift ChunkI Source # 
Instance details

Methods

lift :: Quote m => ChunkI -> m Exp #

liftTyped :: forall (m :: Type -> Type). Quote m => ChunkI -> Code m ChunkI #

Lift Doc Source # 
Instance details

Methods

lift :: Quote m => Doc -> m Exp #

liftTyped :: forall (m :: Type -> Type). Quote m => Doc -> Code m Doc #

Lift 𝕏 Source # 
Instance details

Methods

lift :: Quote m => 𝕏 -> m Exp #

liftTyped :: forall (m :: Type -> Type). Quote m => 𝕏 -> Code m 𝕏 #

Lift 𝕐 Source # 
Instance details

Methods

lift :: Quote m => 𝕐 -> m Exp #

liftTyped :: forall (m :: Type -> Type). Quote m => 𝕐 -> Code m 𝕐 #

Lift a => Lift (𝐼 a :: Type) Source # 
Instance details

Methods

lift :: Quote m => 𝐼 a -> m Exp #

liftTyped :: forall (m :: Type -> Type). Quote m => 𝐼 a -> Code m (𝐼 a) #

Lift a => Lift (𝑂 a :: Type) Source # 
Instance details

Methods

lift :: Quote m => 𝑂 a -> m Exp #

liftTyped :: forall (m :: Type -> Type). Quote m => 𝑂 a -> Code m (𝑂 a) #

Lift a => Lift (AddBT a :: Type) Source # 
Instance details

Methods

lift :: Quote m => AddBT a -> m Exp #

liftTyped :: forall (m :: Type -> Type). Quote m => AddBT a -> Code m (AddBT a) #

(Lift a, Lift b) => Lift (a ∧ b :: Type) Source # 
Instance details

Methods

lift :: Quote m => (a ∧ b) -> m Exp #

liftTyped :: forall (m :: Type -> Type). Quote m => (a ∧ b) -> Code m (a ∧ b) #

(Lift 𝒸, Lift a) => Lift (𝐴 𝒸 a :: Type) Source # 
Instance details

Methods

lift :: Quote m => 𝐴 𝒸 a -> m Exp #

liftTyped :: forall (m :: Type -> Type). Quote m => 𝐴 𝒸 a -> Code m (𝐴 𝒸 a) #

(Lift i, Lift a) => Lift (𝑇 i a :: Type) Source # 
Instance details

Methods

lift :: Quote m => 𝑇 i a -> m Exp #

liftTyped :: forall (m :: Type -> Type). Quote m => 𝑇 i a -> Code m (𝑇 i a) #

(Lift i, Lift a) => Lift (𝑇V i a :: Type) Source # 
Instance details

Methods

lift :: Quote m => 𝑇V i a -> m Exp #

liftTyped :: forall (m :: Type -> Type). Quote m => 𝑇V i a -> Code m (𝑇V i a) #

(Lift i, Lift a) => Lift (WindowL i a :: Type) Source # 
Instance details

Methods

lift :: Quote m => WindowL i a -> m Exp #

liftTyped :: forall (m :: Type -> Type). Quote m => WindowL i a -> Code m (WindowL i a) #

(Lift i, Lift a) => Lift (WindowR i a :: Type) Source # 
Instance details

Methods

lift :: Quote m => WindowR i a -> m Exp #

liftTyped :: forall (m :: Type -> Type). Quote m => WindowR i a -> Code m (WindowR i a) #