packages feed

email-validate 0.1 → 0.2

raw patch · 2 files changed

+280/−82 lines, 2 filesdep +rangesnew-uploaderPVP ok

version bump matches the API change (PVP)

Dependencies added: ranges

API changes (from Hackage documentation)

+ Text.Email.Validate: validate :: String -> Either ParseError ()

Files

Text/Email/Validate.hs view
@@ -1,97 +1,294 @@-{- |--Properly validating e-mail addresses (or converting EBNF to Parsec)--In recent times there have been several calls for websites to properly validate-email addresses. Invariably, the compiled regex from Perl’s RFC822 is pasted up-as The Way To Do It. The problem with this is (as the source code from the Perl-module notes) is that email addresses cannot be validated by a simple regex-(due to requiring parenthesis-matching). The Perl code addresses this by first-stripping out all comments and then parsing via regex.--With this in mind, I thought that implementing the Addr-Spec specification from-RFC 5322 (only released less than 6 months ago) might be a good test of the-Haskell library Parsec. So, without further ado I went ahead and translated the-EBNF from RFC 5322 directly into Parsec.--Author: Porges-Source: <http://porg.es/blog/properly-validating-e-mail-addresses>---}--module Text.Email.Validate ( isValid ) where+module Text.Email.Validate (isValid,validate)+where +import Control.Arrow ((***))+import qualified Data.Ranges as Range import Text.Parsec import Text.Parsec.Char import Data.Char (chr) --- | Validate an email address encoded in a String satisifes RFC 5322+-- | Validates whether a particular string is an email address+--   according to RFC5322. isValid :: String -> Bool-isValid x = let result = valid x in-        either (const False) (const True) result+isValid x = let result = validate x in+	either (const False) (const True) result -valid :: String -> Either ParseError ()-valid x = parse addrSpec "" x+simply = (>> return ()) -ignore x = x >> return ()+-- | If you want to find out why a particular string is not+--   an email address, use this!+validate :: String -> Either ParseError ()+validate = parse addrSpec ""  addrSpec = localPart >> char '@' >> domain >> eof -localPart = dotAtom <|> quotedString <|> obsLocalPart <?> "local part"-domain = dotAtom <|> domainLiteral <|> obsDomain <?> "domain"+localPart = dottedAtoms+domain = dottedAtoms <|> domainLiteral  -domainLiteral = optional cfws >> char '[' >>-                many ( optional fws >> dtext) >>-                optional fws  >> char ']' >> optional cfws-                <?> "domain literal"+dottedAtoms = simply $ (optional cfws >> (atom <|> quotedString) >> optional cfws)+	`sepBy1` (char '.')+atom = simply $ many1 atomText+atomText = simply $ alphaNum <|> oneOf "!#$%&'*+-/=?^_`{|}~" -ranges = oneOf . map chr . concat-vchar = ranges [[0x21..0x7E]] -- from Backus-Naur RFC-dtext = ranges [[33..90],[94..126]] <|> obsDtext-qtext = ranges [[33],[35..91],[93..126]] <|> obsQtext-atext = alphaNum <|> oneOf "!#$%&'*+-/=?^_`{|}~"-ctext = ranges [[33..39],[42..91],[93..126]] <|> obsCtext-wsp = char ' '-        <|> char '\t'-        <?> "space or tab"+domainLiteral =  between (optional cfws >> char '[') (char ']' >> optional cfws) $+	many (optional fws >> domainText) >> optional fws+domainText = ranges [(33,90),(94,126)] <|> obsNoWsCtl -cr = char '\r' <?> "carriage return"-lf = char '\n' <?> "line feed"-crlf = cr >> lf <?> "CRLF line ending" --- # modification: added try-cfws = try (many1 (optional fws >> comment) >> optional fws) <|> ignore fws--- # modification from RFC: adding try because of overlap-fws = try (optional (many wsp >> crlf) >> many1 wsp)-        <|> many1 wsp-        <|> obsFws+quotedString = between (char '"') (char '"') $+	many (optional fws >> quotedContent) >> optional fws+quotedContent = quotedText <|> quotedPair+quotedText = ranges [(33,33),(35,91),(93,126)] <|> obsNoWsCtl+quotedPair = char '\\' >> (vchar <|> wsp <|> lf <|> cr <|> obsNoWsCtl <|> nullChar) --- # modification: added try-comment = between (char '(') (char ')') (many (try (optional fws >> ccontent)) >> optional fws)-        <?> "comment"-ccontent = ignore ctext-        <|> ignore quotedPair-        <|> comment+fws = (many1 wsp >> optional (crlf >> many1 wsp))+	<|> (many1 (crlf >> many1 wsp) >> return ()) -atom = optional cfws >> many1 atext >> optional cfws-dotAtomText = many1 atext >> many (char '.' >> many1 atext)-dotAtom = optional cfws >> dotAtomText >> optional cfws+cfws = simply $ many (comment <|> fws)+comment = simply $ between (char '(') (char ')') $+	many (commentContent <|> fws) --- # other change from RFC -- merge prefix-quotedPair = char '\\' >> ((vchar <|> wsp) <|> obsQp)-qcontent = qtext <|> quotedPair-quotedString = optional cfws >> char '\"' >> many (optional fws >> qcontent) >>-        optional fws >> char '\"' >> optional cfws-        <?> "quoted string"+commentContent = commentText <|> quotedPair <|> comment+commentText = ranges [(33,39),(42,91),(93,126)] <|> obsNoWsCtl --- # Obsolete syntax-obsNoWsCtl = ranges [[1..8],[11..12],[14..31],[127]]-obsCtext = obsNoWsCtl-obsDtext = obsNoWsCtl <|> quotedPair-obsQtext = obsNoWsCtl--- # change: see above-obsQp = (char (chr 0) <|> obsNoWsCtl <|> lf <|> cr)-obsLocalPart = word >> many (char '.' >> word) >> return ()-obsDomain = atom >> many (char '.' >> atom) >> return ()-obsFws = many1 wsp >> many (crlf >> many1 wsp) >> return []-word = atom <|> quotedString+nullChar = simply $ char '\0'+wsp = simply $ oneOf " \t"+cr = simply $ char '\r'+lf = simply $ char '\n'+crlf = simply $ cr >> lf+vchar = ranges [(0x21,0x7e)]+obsNoWsCtl = ranges [(1,8),(11,12),(14,31),(127,127)]+ranges xs = simply $ satisfy (\c -> Range.inRanges c $ Range.ranges $ map (chr***chr) $ xs)++unitTest (x, y, z) = if isValid x == y then "" else (x ++": Should be "++show y ++", got "++show (not y)++"\n\t"++z++"\n")++doSomeTests = do+	putStr$unitTest("first.last@example.com", True, "")+	putStr$unitTest("1234567890123456789012345678901234567890123456789012345678901234@example.com", True, "")+	putStr$unitTest("\"first last\"@example.com", True, "")+	putStr$unitTest("\"first\\\"last\"@example.com", True, "")+	putStr$unitTest("first\\@last@example.com", False, "Escaping can only happen within a quoted string")+	putStr$unitTest("\"first@last\"@example.com", True, "")+	putStr$unitTest("\"first\\\\last\"@example.com", True, "")+	putStr$unitTest("x@x23456789.x23456789.x23456789.x23456789.x23456789.x23456789.x23456789.x23456789.x23456789.x23456789.x23456789.x23456789.x23456789.x23456789.x23456789.x23456789.x23456789.x23456789.x23456789.x23456789.x23456789.x23456789.x23456789.x23456789.x23456789.x234", True, "")+	putStr$unitTest("123456789012345678901234567890123456789012345678901234567890@12345678901234567890123456789012345678901234567890123456789.12345678901234567890123456789012345678901234567890123456789.123456789012345678901234567890123456789012345678901234567890123.example.com", True, "")+	putStr$unitTest("first.last@[12.34.56.78]", True, "")+	putStr$unitTest("first.last@[IPv6:::12.34.56.78]", True, "")+	putStr$unitTest("first.last@[IPv6:1111:2222:3333::4444:12.34.56.78]", True, "")+	putStr$unitTest("first.last@[IPv6:1111:2222:3333:4444:5555:6666:12.34.56.78]", True, "")+	putStr$unitTest("first.last@[IPv6:::1111:2222:3333:4444:5555:6666]", True, "")+	putStr$unitTest("first.last@[IPv6:1111:2222:3333::4444:5555:6666]", True, "")+	putStr$unitTest("first.last@[IPv6:1111:2222:3333:4444:5555:6666::]", True, "")+	putStr$unitTest("first.last@[IPv6:1111:2222:3333:4444:5555:6666:7777:8888]", True, "")+	putStr$unitTest("first.last@x23456789012345678901234567890123456789012345678901234567890123.example.com", True, "")+	putStr$unitTest("first.last@1xample.com", True, "")+	putStr$unitTest("first.last@123.example.com", True, "")+	putStr$unitTest("123456789012345678901234567890123456789012345678901234567890@12345678901234567890123456789012345678901234567890123456789.12345678901234567890123456789012345678901234567890123456789.12345678901234567890123456789012345678901234567890123456789.1234.example.com", False, "Entire address is longer than 256 characters")+	putStr$unitTest("first.last", False, "No @")+	putStr$unitTest("12345678901234567890123456789012345678901234567890123456789012345@example.com", False, "Local part more than 64 characters")+	putStr$unitTest(".first.last@example.com", False, "Local part starts with a dot")+	putStr$unitTest("first.last.@example.com", False, "Local part ends with a dot")+	putStr$unitTest("first..last@example.com", False, "Local part has consecutive dots")+	putStr$unitTest("\"first\"last\"@example.com", False, "Local part contains unescaped excluded characters")+	putStr$unitTest("\"first\\last\"@example.com", True, "Any character can be escaped in a quoted string")+	putStr$unitTest("\"\"\"@example.com", False, "Local part contains unescaped excluded characters")+	putStr$unitTest("\"\\\"@example.com", False, "Local part cannot end with a backslash")+	putStr$unitTest("\"\"@example.com", False, "Local part is effectively empty")+	putStr$unitTest("first\\\\@last@example.com", False, "Local part contains unescaped excluded characters")+	putStr$unitTest("first.last@", False, "No domain")+	putStr$unitTest("x@x23456789.x23456789.x23456789.x23456789.x23456789.x23456789.x23456789.x23456789.x23456789.x23456789.x23456789.x23456789.x23456789.x23456789.x23456789.x23456789.x23456789.x23456789.x23456789.x23456789.x23456789.x23456789.x23456789.x23456789.x23456789.x23456", False, "Domain exceeds 255 chars")+	putStr$unitTest("first.last@[.12.34.56.78]", False, "Only char that can precede IPv4 address is \':\'")+	putStr$unitTest("first.last@[12.34.56.789]", False, "Can\'t be interpreted as IPv4 so IPv6 tag is missing")+	putStr$unitTest("first.last@[::12.34.56.78]", False, "IPv6 tag is missing")+	putStr$unitTest("first.last@[IPv5:::12.34.56.78]", False, "IPv6 tag is wrong")+	putStr$unitTest("first.last@[IPv6:1111:2222:3333::4444:5555:12.34.56.78]", False, "Too many IPv6 groups (4 max)")+	putStr$unitTest("first.last@[IPv6:1111:2222:3333:4444:5555:12.34.56.78]", False, "Not enough IPv6 groups")+	putStr$unitTest("first.last@[IPv6:1111:2222:3333:4444:5555:6666:7777:12.34.56.78]", False, "Too many IPv6 groups (6 max)")+	putStr$unitTest("first.last@[IPv6:1111:2222:3333:4444:5555:6666:7777]", False, "Not enough IPv6 groups")+	putStr$unitTest("first.last@[IPv6:1111:2222:3333:4444:5555:6666:7777:8888:9999]", False, "Too many IPv6 groups (8 max)")+	putStr$unitTest("first.last@[IPv6:1111:2222::3333::4444:5555:6666]", False, "Too many \'::\' (can be none or one)")+	putStr$unitTest("first.last@[IPv6:1111:2222:3333::4444:5555:6666:7777]", False, "Too many IPv6 groups (6 max)")+	putStr$unitTest("first.last@[IPv6:1111:2222:333x::4444:5555]", False, "x is not valid in an IPv6 address")+	putStr$unitTest("first.last@[IPv6:1111:2222:33333::4444:5555]", False, "33333 is not a valid group in an IPv6 address")+	putStr$unitTest("first.last@example.123", False, "TLD can\'t be all digits")+	putStr$unitTest("first.last@com", False, "Mail host must be second- or lower level")+	putStr$unitTest("first.last@-xample.com", False, "Label can\'t begin with a hyphen")+	putStr$unitTest("first.last@exampl-.com", False, "Label can\'t end with a hyphen")+	putStr$unitTest("first.last@x234567890123456789012345678901234567890123456789012345678901234.example.com", False, "Label can\'t be longer than 63 octets")+	putStr$unitTest("\"Abc\\@def\"@example.com", True, "")+	putStr$unitTest("\"Fred\\ Bloggs\"@example.com", True, "")+	putStr$unitTest("\"Joe.\\\\Blow\"@example.com", True, "")+	putStr$unitTest("\"Abc@def\"@example.com", True, "")+	putStr$unitTest("\"Fred Bloggs\"@example.com", True, "")+	putStr$unitTest("user+mailbox@example.com", True, "")+	putStr$unitTest("customer/department=shipping@example.com", True, "")+	putStr$unitTest("$A12345@example.com", True, "")+	putStr$unitTest("!def!xyz%abc@example.com", True, "")+	putStr$unitTest("_somename@example.com", True, "")+	putStr$unitTest("dclo@us.ibm.com", True, "")+	putStr$unitTest("abc\\@def@example.com", False, "This example from RFC3696 was corrected in an erratum")+	putStr$unitTest("abc\\\\@example.com", False, "This example from RFC3696 was corrected in an erratum")+	putStr$unitTest("peter.piper@example.com", True, "")+	putStr$unitTest("Doug\\ \\\"Ace\\\"\\ Lovell@example.com", False, "Escaping can only happen in a quoted string")+	putStr$unitTest("\"Doug \\\"Ace\\\" L.\"@example.com", True, "")+	putStr$unitTest("abc@def@example.com", False, "Doug Lovell says this should fail")+	putStr$unitTest("abc\\\\@def@example.com", False, "Doug Lovell says this should fail")+	putStr$unitTest("abc\\@example.com", False, "Doug Lovell says this should fail")+	putStr$unitTest("@example.com", False, "No local part")+	putStr$unitTest("doug@", False, "Doug Lovell says this should fail")+	putStr$unitTest("\"qu@example.com", False, "Doug Lovell says this should fail")+	putStr$unitTest("ote\"@example.com", False, "Doug Lovell says this should fail")+	putStr$unitTest(".dot@example.com", False, "Doug Lovell says this should fail")+	putStr$unitTest("dot.@example.com", False, "Doug Lovell says this should fail")+	putStr$unitTest("two..dot@example.com", False, "Doug Lovell says this should fail")+	putStr$unitTest("\"Doug \"Ace\" L.\"@example.com", False, "Doug Lovell says this should fail")+	putStr$unitTest("Doug\\ \\\"Ace\\\"\\ L\\.@example.com", False, "Doug Lovell says this should fail")+	putStr$unitTest("hello world@example.com", False, "Doug Lovell says this should fail")+	putStr$unitTest("gatsby@f.sc.ot.t.f.i.tzg.era.l.d.", False, "Doug Lovell says this should fail")+	putStr$unitTest("test@example.com", True, "")+	putStr$unitTest("TEST@example.com", True, "")+	putStr$unitTest("1234567890@example.com", True, "")+	putStr$unitTest("test+test@example.com", True, "")+	putStr$unitTest("test-test@example.com", True, "")+	putStr$unitTest("t*est@example.com", True, "")+	putStr$unitTest("+1~1+@example.com", True, "")+	putStr$unitTest("{_test_}@example.com", True, "")+	putStr$unitTest("\"[[ test ]]\"@example.com", True, "")+	putStr$unitTest("test.test@example.com", True, "")+	putStr$unitTest("\"test.test\"@example.com", True, "")+	putStr$unitTest("test.\"test\"@example.com", True, "Obsolete form, but documented in RFC2822")+	putStr$unitTest("\"test@test\"@example.com", True, "")+	putStr$unitTest("test@123.123.123.x123", True, "")+	putStr$unitTest("test@123.123.123.123", False, "Top Level Domain won\'t be all-numeric (see RFC3696 Section 2). I disagree with Dave Child on this one.")+	putStr$unitTest("test@[123.123.123.123]", True, "")+	putStr$unitTest("test@example.example.com", True, "")+	putStr$unitTest("test@example.example.example.com", True, "")+	putStr$unitTest("test.example.com", False, "")+	putStr$unitTest("test.@example.com", False, "")+	putStr$unitTest("test..test@example.com", False, "")+	putStr$unitTest(".test@example.com", False, "")+	putStr$unitTest("test@test@example.com", False, "")+	putStr$unitTest("test@@example.com", False, "")+	putStr$unitTest("-- test --@example.com", False, "No spaces allowed in local part")+	putStr$unitTest("[test]@example.com", False, "Square brackets only allowed within quotes")+	putStr$unitTest("\"test\\test\"@example.com", True, "Any character can be escaped in a quoted string")+	putStr$unitTest("\"test\"test\"@example.com", False, "Quotes cannot be nested")+	putStr$unitTest("()[]\\;:,><@example.com", False, "Disallowed Characters")+	putStr$unitTest("test@.", False, "Dave Child says so")+	putStr$unitTest("test@example.", False, "Dave Child says so")+	putStr$unitTest("test@.org", False, "Dave Child says so")+	putStr$unitTest("test@123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012.com", False, "255 characters is maximum length for domain. This is 256.")+	putStr$unitTest("test@example", False, "Dave Child says so")+	putStr$unitTest("test@[123.123.123.123", False, "Dave Child says so")+	putStr$unitTest("test@123.123.123.123]", False, "Dave Child says so")+	putStr$unitTest("NotAnEmail", False, "Phil Haack says so")+	putStr$unitTest("@NotAnEmail", False, "Phil Haack says so")+	putStr$unitTest("\"test\\\\blah\"@example.com", True, "")+	putStr$unitTest("\"test\\blah\"@example.com", True, "Any character can be escaped in a quoted string")+	putStr$unitTest("\"test\\\rblah\"@example.com", True, "Quoted string specifically excludes carriage returns unless escaped")+	putStr$unitTest("\"test\rblah\"@example.com", False, "Quoted string specifically excludes carriage returns")+	putStr$unitTest("\"test\\\"blah\"@example.com", True, "")+	putStr$unitTest("\"test\"blah\"@example.com", False, "Phil Haack says so")+	putStr$unitTest("customer/department@example.com", True, "")+	putStr$unitTest("_Yosemite.Sam@example.com", True, "")+	putStr$unitTest("~@example.com", True, "")+	putStr$unitTest(".wooly@example.com", False, "Phil Haack says so")+	putStr$unitTest("wo..oly@example.com", False, "Phil Haack says so")+	putStr$unitTest("pootietang.@example.com", False, "Phil Haack says so")+	putStr$unitTest(".@example.com", False, "Phil Haack says so")+	putStr$unitTest("\"Austin@Powers\"@example.com", True, "")+	putStr$unitTest("Ima.Fool@example.com", True, "")+	putStr$unitTest("\"Ima.Fool\"@example.com", True, "")+	putStr$unitTest("\"Ima Fool\"@example.com", True, "")+	putStr$unitTest("Ima Fool@example.com", False, "Phil Haack says so")+	putStr$unitTest("phil.h\\@\\@ck@haacked.com", False, "Escaping can only happen in a quoted string")+	putStr$unitTest("\"first\".\"last\"@example.com", True, "")+	putStr$unitTest("\"first\".middle.\"last\"@example.com", True, "")+	putStr$unitTest("\"first\\\\\"last\"@example.com", False, "Contains an unescaped quote")+	putStr$unitTest("\"first\".last@example.com", True, "obs-local-part form as described in RFC 2822")+	putStr$unitTest("first.\"last\"@example.com", True, "obs-local-part form as described in RFC 2822")+	putStr$unitTest("\"first\".\"middle\".\"last\"@example.com", True, "obs-local-part form as described in RFC 2822")+	putStr$unitTest("\"first.middle\".\"last\"@example.com", True, "obs-local-part form as described in RFC 2822")+	putStr$unitTest("\"first.middle.last\"@example.com", True, "obs-local-part form as described in RFC 2822")+	putStr$unitTest("\"first..last\"@example.com", True, "obs-local-part form as described in RFC 2822")+	putStr$unitTest("foo@[\\1.2.3.4]", False, "RFC 5321 specifies the syntax for address-literal and does not allow escaping")+	putStr$unitTest("\"first\\\\\\\"last\"@example.com", True, "")+	putStr$unitTest("first.\"mid\\dle\".\"last\"@example.com", True, "Backslash can escape anything but must escape something")+	putStr$unitTest("Test.\r\n Folding.\r\n Whitespace@example.com", True, "")+	putStr$unitTest("first.\"\".last@example.com", False, "Contains a zero-length element")+	putStr$unitTest("first\\last@example.com", False, "Unquoted string must be an atom")+	putStr$unitTest("Abc\\@def@example.com", False, "Was incorrectly given as a valid address in the original RFC3696")+	putStr$unitTest("Fred\\ Bloggs@example.com", False, "Was incorrectly given as a valid address in the original RFC3696")+	putStr$unitTest("Joe.\\\\Blow@example.com", False, "Was incorrectly given as a valid address in the original RFC3696")+	putStr$unitTest("first.last@[IPv6:1111:2222:3333:4444:5555:6666:12.34.567.89]", False, "IPv4 part contains an invalid octet")+	putStr$unitTest("\"test\\\r\n blah\"@example.com", False, "Folding white space can\'t appear within a quoted pair")+	putStr$unitTest("\"test\r\n blah\"@example.com", True, "This is a valid quoted string with folding white space")+	putStr$unitTest("{^c\\@**Dog^}@cartoon.com", False, "This is a throwaway example from Doug Lovell\'s article. Actually it\'s not a valid address.")+	putStr$unitTest("(foo)cal(bar)@(baz)iamcal.com(quux)", True, "A valid address containing comments")+	putStr$unitTest("cal@iamcal(woo).(yay)com", True, "A valid address containing comments")+	putStr$unitTest("\"foo\"(yay)@(hoopla)[1.2.3.4]", False, "Address literal can\'t be commented (RFC5321)")+	putStr$unitTest("cal(woo(yay)hoopla)@iamcal.com", True, "A valid address containing comments")+	putStr$unitTest("cal(foo\\@bar)@iamcal.com", True, "A valid address containing comments")+	putStr$unitTest("cal(foo\\)bar)@iamcal.com", True, "A valid address containing comments and an escaped parenthesis")+	putStr$unitTest("cal(foo(bar)@iamcal.com", False, "Unclosed parenthesis in comment")+	putStr$unitTest("cal(foo)bar)@iamcal.com", False, "Too many closing parentheses")+	putStr$unitTest("cal(foo\\)@iamcal.com", False, "Backslash at end of comment has nothing to escape")+	putStr$unitTest("first().last@example.com", True, "A valid address containing an empty comment")+	putStr$unitTest("first.(\r\n middle\r\n )last@example.com", True, "Comment with folding white space")+	putStr$unitTest("first(12345678901234567890123456789012345678901234567890)last@(1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890)example.com", False, "Too long with comments, not too long without")+	putStr$unitTest("first(Welcome to\r\n the (\"wonderful\" (!)) world\r\n of email)@example.com", True, "Silly example from my blog post")+	putStr$unitTest("pete(his account)@silly.test(his host)", True, "Canonical example from RFC5322")+	putStr$unitTest("c@(Chris\'s host.)public.example", True, "Canonical example from RFC5322")+	putStr$unitTest("jdoe@machine(comment).  example", True, "Canonical example from RFC5322")+	putStr$unitTest("1234   @   local(blah)  .machine .example", True, "Canonical example from RFC5322")+	putStr$unitTest("first(middle)last@example.com", False, "Can\'t have a comment or white space except at an element boundary")+	putStr$unitTest("first(abc.def).last@example.com", True, "Comment can contain a dot")+	putStr$unitTest("first(a\"bc.def).last@example.com", True, "Comment can contain double quote")+	putStr$unitTest("first.(\")middle.last(\")@example.com", True, "Comment can contain a quote")+	putStr$unitTest("first(abc(\"def\".ghi).mno)middle(abc(\"def\".ghi).mno).last@(abc(\"def\".ghi).mno)example(abc(\"def\".ghi).mno).(abc(\"def\".ghi).mno)com(abc(\"def\".ghi).mno)", False, "Can\'t have comments or white space except at an element boundary")+	putStr$unitTest("first(abc\\(def)@example.com", True, "Comment can contain quoted-pair")+	putStr$unitTest("first.last@x(1234567890123456789012345678901234567890123456789012345678901234567890).com", True, "Label is longer than 63 octets, but not with comment removed")+	putStr$unitTest("a(a(b(c)d(e(f))g)h(i)j)@example.com", True, "")+	putStr$unitTest("a(a(b(c)d(e(f))g)(h(i)j)@example.com", False, "Braces are not properly matched")+	putStr$unitTest("name.lastname@domain.com", True, "")+	putStr$unitTest(".@", False, "")+	putStr$unitTest("a@b", False, "")+	putStr$unitTest("@bar.com", False, "")+	putStr$unitTest("@@bar.com", False, "")+	putStr$unitTest("a@bar.com", True, "")+	putStr$unitTest("aaa.com", False, "")+	putStr$unitTest("aaa@.com", False, "")+	putStr$unitTest("aaa@.123", False, "")+	putStr$unitTest("aaa@[123.123.123.123]", True, "")+	putStr$unitTest("aaa@[123.123.123.123]a", False, "extra data outside ip")+	putStr$unitTest("aaa@[123.123.123.333]", False, "not a valid IP")+	putStr$unitTest("a@bar.com.", False, "")+	putStr$unitTest("a@bar", False, "")+	putStr$unitTest("a-b@bar.com", True, "")+	putStr$unitTest("+@b.c", True, "TLDs can be any length")+	putStr$unitTest("+@b.com", True, "")+	putStr$unitTest("a@-b.com", False, "")+	putStr$unitTest("a@b-.com", False, "")+	putStr$unitTest("-@..com", False, "")+	putStr$unitTest("-@a..com", False, "")+	putStr$unitTest("a@b.co-foo.uk", True, "")+	putStr$unitTest("\"hello my name is\"@stutter.com", True, "")+	putStr$unitTest("\"Test \\\"Fail\\\" Ing\"@example.com", True, "")+	putStr$unitTest("valid@special.museum", True, "")+	putStr$unitTest("invalid@special.museum-", False, "")+	putStr$unitTest("shaitan@my-domain.thisisminekthx", True, "Disagree with Paul Gregg here")+	putStr$unitTest("test@...........com", False, "......")+	putStr$unitTest("foobar@192.168.0.1", False, "ip need to be []")+	putStr$unitTest("\"Joe\\\\Blow\"@example.com", True, "")+	putStr$unitTest("Invalid \\\n Folding \\\n Whitespace@example.com", False, "This isn\'t FWS so Dominic Sayers says it\'s invalid")+	putStr$unitTest("HM2Kinsists@(that comments are allowed)this.is.ok", True, "")+	putStr$unitTest("user%uucp!path@somehost.edu", True, "")+	putStr$unitTest("\"first(last)\"@example.com", True, "")+	putStr$unitTest(" \r\n (\r\n x \r\n ) \r\n first\r\n ( \r\n x\r\n ) \r\n .\r\n ( \r\n x) \r\n last \r\n (  x \r\n ) \r\n @example.com", True, "")+	putStr$unitTest("test.\r\n \r\n obs@syntax.com", True, "obs-fws allows multiple lines")+	putStr$unitTest("test. \r\n \r\n obs@syntax.com", True, "obs-fws allows multiple lines (test 2: space before break)")+	putStr$unitTest("test.\r\n\r\n obs@syntax.com", False, "obs-fws must have at least one WSP per line")+	putStr$unitTest("\"null \\\0\"@char.com", True, "can have escaped null character")+	putStr$unitTest("\"null \0\"@char.com", False, "cannot have unescaped null character")+	+
email-validate.cabal view
@@ -1,10 +1,10 @@ name:           email-validate-version:        0.1+version:        0.2 license:        BSD3 license-file:   LICENSE author:         George Pollard-maintainer:     Don Stewart <dons@galois.com>-homepage:       http://porg.es/blog/properly-validating-e-mail-addresses+maintainer:     George Pollard <porges@porg.es>+homepage:       http://porg.es/blog/email-address-validation-simpler-faster-more-correct category:       Text synopsis:       Validating an email address string against RFC 5322 description:    Validating an email address string against RFC 5322@@ -13,7 +13,8 @@ cabal-version:  >= 1.2  library-    build-depends:  base, parsec >= 3.0+    build-depends:  base, parsec >= 3.0, ranges >= 0.1+    ghc-options: -O2      exposed-modules:             Text.Email.Validate