Language.Jsonnet.TH

Documentation

liftText :: Text -> Q Exp

liftDataWithText :: Data a => a -> Q Exp

parse :: FilePath -> Text -> Q Exp

Orphan instances

Lift Scientific

Methods

lift :: Quote m => Scientific -> m Exp

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

Lift SrcSpan

Methods

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

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

Lift Literal

Methods

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

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

Lift Strictness

Methods

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

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

Lift LogicalOp

Methods

lift :: Quote m => LogicalOp -> m Exp

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

Lift BitwiseOp

Methods

lift :: Quote m => BitwiseOp -> m Exp

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

Lift CompOp

Methods

lift :: Quote m => CompOp -> m Exp

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

Lift ArithOp

Methods

lift :: Quote m => ArithOp -> m Exp

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

Lift UnyOp

Methods

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

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

Lift BinOp

Methods

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

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

Lift Visibility

Methods

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

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

Lift Expr

Methods

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

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

Data a => Lift (Arg a :: Type)

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)

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)

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)

Methods

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

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

Data a => Lift (Hideable a :: Type)

Methods

lift :: Quote m => Hideable a -> m Exp

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

Data a => Lift (Field a :: Type)

Methods

lift :: Quote m => Field a -> m Exp

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

Data a => Lift (ExprF a :: Type)

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)

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)