Parsley.Internal.Backend.Machine.THUtils
eta :: forall r1 r2 (a :: TYPE r1) (b :: TYPE r2). Code (a -> b) -> Code (a -> b) Source #
unsafeCodeCoerce :: Q Exp -> Code a Source #
unTypeCode :: Code a -> Q Exp Source #