Parsley.Internal.Backend.Machine.THUtils

This module contains some Template Haskell related functions for manipulating template haskell as a lower, combinator-based, level.

Since: 1.7.0.0

Documentation

eta :: forall r1 r2 (a :: TYPE r1) (b :: TYPE r2). Code (a -> b) -> Code (a -> b)

Given a function (of arbitrarily many arguments, but it must at least have 1), eta-reduces it to remove redundant arguments.

Since: 1.7.0.0

unsafeCodeCoerce :: Q Exp -> Code a

unTypeCode :: Code a -> Q Exp