X-Git-Url: http://git.tomasm.cz/fp.git/blobdiff_plain/7be2a6546f666dbbc5e3fe756766ee17e3c3d46a..f9d54d61f2feba3f37c9e7c5f4ab87bf7b3e6166:/src/Lambda/Parser/Fancy.hs

diff --git a/src/Lambda/Parser/Fancy.hs b/src/Lambda/Parser/Fancy.hs
index b0f0c2d..9a1deb3 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 #-}
 
 -- |
@@ -12,13 +9,17 @@
 -- Maintainer  :  tomik.musil@gmail.com
 -- Stability   :  experimental
 --
--- Parser for λ-terms. '.' in λ implies brackets to the end of the context.
+-- Parser for λ-terms. \'.\' in λ implies brackets to the end of the context.
 
 -- TODO: proper documentation
 
 module Lambda.Parser.Fancy 
-  ( tRead
+  (
+  -- * Main parser
+    tRead
   , parseTerm
+  -- * Auxiliary parsers
+  , parseVar
   )  where
 
 import Data.Text as T hiding (map)