1 files changed, 5 insertions, 0 deletions

diff --git a/Unique.hs b/Unique.hs
index d0d3eb1..1594b4a 100644
--- a/Unique.hs
+++ b/Unique.hs
@@ -1,8 +1,10 @@
 module Unique
     ( UniqueFactory
     , freshUniques
+    , genUnique
     , Unique
     , uniqueSymbol
+    , uniquePattern
     , substituteUnique
     , multipleOccurances
     ) where
@@ -25,6 +27,9 @@ genUnique (UniqueFactory c) = (Unique c, UniqueFactory (succ c))
 uniqueSymbol :: Unique -> Exp ()
 uniqueSymbol (Unique i) = Var () (UnQual () (Ident () (showSym i)))
 
+uniquePattern :: Unique -> Pat ()
+uniquePattern (Unique i) = PVar () (Ident () (showSym i))
+
 showSym :: Integer -> String
 showSym i = " u" ++ show i