X-Git-Url: http://git.tomasm.cz/fp.git/blobdiff_plain/e26e565842cd4c347f93b3bbf1a4363f05d1cc2f..dbb3af7ea8341e87b254dc94a613aec837b676b8:/src/Lambda/Parser/Fancy.hs?ds=inline

diff --git a/src/Lambda/Parser/Fancy.hs b/src/Lambda/Parser/Fancy.hs
index 6e87da1..10231b8 100644
--- a/src/Lambda/Parser/Fancy.hs
+++ b/src/Lambda/Parser/Fancy.hs
@@ -1,7 +1,4 @@
-{-# OPTIONS_GHC
-    -fno-warn-unused-do-bind
-    -fno-warn-orphans
-#-}
+{-# OPTIONS_GHC -fno-warn-unused-do-bind -fno-warn-orphans #-}
 {-# LANGUAGE PatternSynonyms #-}
 
 -- |
@@ -16,7 +13,10 @@
 
 -- TODO: proper documentation
 
-module Lambda.Parser.Fancy where
+module Lambda.Parser.Fancy 
+  ( tRead
+  , parseTerm
+  )  where
 
 import Data.Text as T hiding (map)
 import Data.Attoparsec.Text
@@ -24,6 +24,10 @@ import Control.Applicative
 
 import Lambda.Term
 
+-- $setup
+-- >>> import Test.QuickCheck
+-- >>> import Test.Term
+
 -- | 
 -- >>> print $ Lambda "x" (Var "x")
 -- (λx.x)