jsonnet-0.3.0.0: Jsonnet implementaton in pure Haskell
Copyright(c) 2020-2021 Alexandre Moreno
LicenseBSD-3-Clause OR Apache-2.0
MaintainerAlexandre Moreno <alexmorenocano@gmail.com>
Stabilityexperimental
Portabilitynon-portable
Safe HaskellNone
LanguageHaskell2010

Language.Jsonnet.TH

Description

 

Documentation

Orphan instances

Lift SrcSpan Source # 
Instance details

Methods

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

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

Lift Literal Source # 
Instance details

Methods

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

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

Lift Strictness Source # 
Instance details

Methods

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

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

Lift UnyOp Source # 
Instance details

Methods

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

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

Lift BinOp Source # 
Instance details

Methods

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

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

Lift Prim Source # 
Instance details

Methods

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

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

Lift Visibility Source # 
Instance details

Methods

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

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

Lift Expr Source # 
Instance details

Methods

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

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

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

Methods

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

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

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

Methods

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

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

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

Methods

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

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

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

Methods

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

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

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

Methods

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

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

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

Methods

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

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

(Typeable a, Typeable f, Typeable g, Data (f a), Data (g a)) => Lift (Product f g a :: Type) Source # 
Instance details

Methods

lift :: Quote m => Product f g a -> m Exp #

liftTyped :: forall (m :: Type -> Type). Quote m => Product f g a -> Code m (Product f g a) #