X-Git-Url: http://gitweb.michael.orlitzky.com/?p=dead%2Fharbl.git;a=blobdiff_plain;f=src%2FDomain.hs;h=87a63d9757f8bb2c6cfda6bac49651101a3153ab;hp=46c93061f3247c7710c202a530f8e9cd8f95bf30;hb=80b389fd4d76bc8b2cb5dfad0f066fd7a838bdfb;hpb=e8ff5a36c776c6808aacaa6ba488fe5fd19db497

diff --git a/src/Domain.hs b/src/Domain.hs
index 46c9306..87a63d9 100644
--- a/src/Domain.hs
+++ b/src/Domain.hs
@@ -1,3 +1,5 @@
+{-# LANGUAGE DoAndIfThenElse #-}
+
 -- | The 'Domain' data type and its parser. A 'Domain' represents a
 --   name in the domain name system (DNS) as described by
 --   RFC1035. In particular, we enforce the restrictions from Section
@@ -19,18 +21,11 @@ where
 
 import Data.Char ( toLower )
 import Text.Parsec (
-  ParseError,
   (<|>),
-  alphaNum,
   char,
-  eof,
-  many1,
-  option,
   optionMaybe,
-  parse,
   string,
-  try,
-  unexpected )
+  try )
 import qualified Text.Parsec as Parsec ( digit, letter)
 import Text.Parsec.String ( Parser )
 
@@ -204,6 +199,7 @@ instance Pretty LdhStr where
 --
 --   As well as strings of them:
 --
+--   >>> import Text.Parsec ( parse )
 --   >>> pretty_print $ parse ldh_str "" "a0-b"
 --   a0-b
 --
@@ -228,6 +224,8 @@ ldh_str = try both <|> just_one
 --
 --   ==== _Examples_
 --
+--   >>> import Text.Parsec ( parse )
+--
 --   >>> let (Right r) = parse ldh_str "" "a"
 --   >>> last_ldh_str r
 --   LetDigHypLetDig (LetDigLetter (Letter 'a'))
@@ -251,6 +249,8 @@ last_ldh_str (LdhStrMultipleLdh _ x) = last_ldh_str x
 --
 --   ==== _Examples_
 --
+--   >>> import Text.Parsec ( parse )
+--
 --   >>> let (Right r) = parse ldh_str "" "a"
 --   >>> init_ldh_str r
 --   Nothing
@@ -280,6 +280,8 @@ init_ldh_str (LdhStrMultipleLdh h t) =
 --
 --   ==== _Examples_
 --
+--   >>> import Text.Parsec ( parse )
+--
 --   >>> let (Right r) = parse ldh_str "" "a"
 --   >>> length_ldh_str r
 --   1
@@ -317,7 +319,7 @@ instance Pretty LdhStrLetDig where
 --
 --   ==== _Examples_
 --
---   >>> import Text.Parsec ( parseTest )
+--   >>> import Text.Parsec ( parse, parseTest )
 --
 --   Make sure we can parse a single character:
 --
@@ -368,6 +370,8 @@ ldh_str_let_dig = do
 --
 --   ==== _Examples_
 --
+--   >>> import Text.Parsec ( parse )
+--
 --   >>> let (Right r) = parse ldh_str_let_dig "" "a"
 --   >>> length_ldh_str_let_dig r
 --   1
@@ -419,7 +423,7 @@ instance Pretty Label where
 --
 --   ==== _Examples_
 --
---   >>> import Text.Parsec ( parseTest )
+--   >>> import Text.Parsec ( parse, parseTest )
 --
 --   Make sure we can parse a single character:
 --
@@ -514,7 +518,7 @@ instance Pretty Subdomain where
 --
 --   ==== _Examples_
 --
---   >>> import Text.Parsec ( parseTest )
+--   >>> import Text.Parsec ( parse, parseTest )
 --
 --   Make sure we can parse a single character:
 --
@@ -544,7 +548,7 @@ subdomain = try both <|> just_one
     both :: Parser Subdomain
     both = do
       l <- label
-      char '.'
+      _ <- char '.'
       s <- subdomain
       let result = SubdomainMultipleLabel l s
       if (subdomain_has_equal_neighbors result)
@@ -560,6 +564,8 @@ subdomain = try both <|> just_one
 --
 --   ==== _Examples_
 --
+--   >>> import Text.Parsec ( parse )
+--
 --   >>> let (Right r) = parse subdomain "" "a"
 --   >>> pretty_print $ subdomain_labels r
 --   ["a"]
@@ -581,6 +587,7 @@ subdomain_labels (SubdomainMultipleLabel l s) = l : (subdomain_labels s)
 --
 --   ==== _Examples_
 --
+--   >>> import Text.Parsec ( parse )
 --   >>> let (Right r) = parse subdomain "" "www.example.com"
 --   >>> pretty_print $ subdomain_label_neighbors r
 --   ["(\"www\",\"example\")","(\"example\",\"com\")"]
@@ -597,6 +604,8 @@ subdomain_label_neighbors s =
 --
 --   ==== _Examples_
 --
+--   >>> import Text.Parsec ( parse )
+--
 --   >>> let (Right r) = parse subdomain "" "www.example.com"
 --   >>> subdomain_has_equal_neighbors r
 --   False
@@ -641,7 +650,7 @@ instance Pretty Domain where
 --
 --   ==== _Examples_
 --
---   >>> import Text.Parsec ( parseTest )
+--   >>> import Text.Parsec ( parse, parseTest )
 --
 --   Make sure we can parse a single character:
 --
@@ -699,7 +708,7 @@ domain = try parse_subdomain <|> parse_empty
     parse_subdomain :: Parser Domain
     parse_subdomain = do
       s <- subdomain
-      if (length $ pretty_show s) <= 255
+      if length (pretty_show s) <= 255
       then return $ DomainName s
       else fail "subdomains can be at most 255 characters"
 
@@ -740,7 +749,7 @@ instance Pretty UserDomain where
 --
 --   ==== _Examples_
 --
---   >>> import Text.Parsec ( parseTest )
+--   >>> import Text.Parsec ( parse, parseTest )
 --
 --   We can really parse the root now!
 --
@@ -773,7 +782,7 @@ user_domain = try absolute <|> relative
     absolute :: Parser UserDomain
     absolute = do
       d <- domain
-      r <- char '.'
+      _ <- char '.'
       return $ UserDomainAbsolute d
 
     relative :: Parser UserDomain