Safe Haskell	None
Language	Haskell2010

UVMHS.Lib.THLiftInstances

Contents

Orphan instances

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 Name Source #
Instance details Methods lift :: Quote m => Name -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Name -> Code m Name #
Lift SName Source #
Instance details Methods lift :: Quote m => SName -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => SName -> Code m SName #
Lift DVar Source #
Instance details Methods lift :: Quote m => DVar -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => DVar -> Code m DVar #
Lift GVar Source #
Instance details Methods lift :: Quote m => GVar -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => GVar -> Code m GVar #
Lift NVar Source #
Instance details Methods lift :: Quote m => NVar -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => NVar -> Code m NVar #
Lift Var Source #
Instance details Methods lift :: Quote m => Var -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Var -> Code m Var #
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 (𝑃 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 (𝕍 a :: Type) Source #
Instance details Methods lift :: Quote m => 𝕍 a -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => 𝕍 a -> Code m (𝕍 a) #
(Lift k, Lift v) => Lift (k ⇰ v :: Type) Source #
Instance details Methods lift :: Quote m => (k ⇰ v) -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => (k ⇰ v) -> Code m (k ⇰ v) #
(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 s, Lift e) => Lift (Subst s e :: Type) Source #
Instance details Methods lift :: Quote m => Subst s e -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Subst s e -> Code m (Subst s e) #
(Lift s, Lift e) => Lift (SSubstElem s e :: Type) Source #
Instance details Methods lift :: Quote m => SSubstElem s e -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => SSubstElem s e -> Code m (SSubstElem s e) #
(Lift s, Lift e) => Lift (SubstElem s e :: Type) Source #
Instance details Methods lift :: Quote m => SubstElem s e -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => SubstElem s e -> Code m (SubstElem s e) #
(Lift s, Lift e) => Lift (SubstScoped s e :: Type) Source #
Instance details Methods lift :: Quote m => SubstScoped s e -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => SubstScoped s e -> Code m (SubstScoped s e) #
(Lift s, Lift e) => Lift (MVar s e :: Type) Source #
Instance details Methods lift :: Quote m => MVar s e -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => MVar s e -> Code m (MVar s e) #
(Lift s, Lift e) => Lift (UVar s e :: Type) Source #
Instance details Methods lift :: Quote m => UVar s e -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => UVar s e -> Code m (UVar s e) #
(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) #
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 s₁, Lift s₂, Lift e) => Lift (SubstSpaced s₁ s₂ e :: Type) Source #
Instance details Methods lift :: Quote m => SubstSpaced s₁ s₂ e -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => SubstSpaced s₁ s₂ e -> Code m (SubstSpaced s₁ s₂ e) #