Commit 29ea9438 authored by gmainland's avatar gmainland
Browse files

Add TExp data type.

parent c949f8b5
......@@ -33,6 +33,9 @@ module Language.Haskell.TH(
-- *** Roles lookup
reifyRoles,
-- * Typed expressions
TExp, unType,
-- * Names
Name, NameSpace, -- Abstract
-- ** Constructing names
......
......@@ -136,6 +136,14 @@ instance Applicative Q where
pure x = Q (pure x)
Q f <*> Q x = Q (f <*> x)
-----------------------------------------------------
--
-- The TExp type
--
-----------------------------------------------------
newtype TExp a = TExp { unType :: Q Exp }
----------------------------------------------------
-- Packaged versions for the programmer, hiding the Quasi-ness
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment