Proposal: Lifting to TExpQ

Emil Axelsson 78emil at gmail.com
Fri Jan 12 10:47:30 UTC 2018


Hi!

I wasn't able to find a function like this anywhere:

   liftT :: Lift a => a -> TExpQ a
   liftT = unsafeTExpCoerce . lift

It seems like a nice addition that would reduce the need for 
`unsafeTExpCoerce` in user code.

Should it be added?

/ Emil


More information about the Libraries mailing list