@@ -12,6 +12,7 @@ module Data.Text.Validator (
1212
1313import qualified Data.Text as T
1414import Data.Char
15+import Data.Limits
1516
1617isValidChar :: Char -> Bool
1718isValidChar = isPrint
@@ -29,16 +30,6 @@ instance (HasValidatableText t) => HasValidatableText (ExtraPredicate t) where
2930 validateText (t `ExtraPredicate` p) = validateText t && p t
3031
3132
32−
33−-- instance (Traversable f) => HasValidatableText (RangeableText (ExtraPredicate (f String))) where
34−-- validateText ((t `ExtraPredicate` p) `RangeableText` lims) = p t && validateText (t `RangeableText` lims)
35−
36−-- instance HasValidatableText (RangeableText (ExtraPredicate (f T.Text))) where
37−-- validateText ((t `ExtraPredicate` p) `RangeableText` lims) = p t && validateText (t `RangeableText` lims)
38−
39−-- instance (Foldable f) => HasValidatableText (RangeableText (ExtraPredicate (f T.Text))) where
40−-- validateText ((t `ExtraPredicate` p) `RangeableText` lims) = p t && validateText (t `RangeableText` lims)
41−
4233infixl 5 ~<
4334(~<) :: t -> Int -> RangeableText t
4435t ~< n = t <~> (0, n)
@@ -59,16 +50,8 @@ instance HasValidatableText (RangeableText T.Text) where
5950 where
6051 len = T.length t
6152
62−-- instance HasValidatableText (RangeableText T.Text) where
63−-- validateText (t `RangeableText` (lower, upper)) = len >= lower && len <= upper
64−-- where
65−-- len = T.length t
66−
67−-- instance (Traversable t, HasValidatableText v) => HasValidatableText (t v) where
68−-- validateText = all validateText
69−
7053instance HasValidatableText T.Text where
71− validateText t = T.all isValidChar t && (not . T.null) t
54+ validateText t = T.all isValidChar t && (not . T.null) t && T.length t < globalTextLimit
7255
7356instance HasValidatableText String where
74− validateText t = all isValidChar t && length t > 0
57+ validateText t = all isValidChar t && length t > 0 && length t < globalTextLimit