úγ‰      None345C"All types that have a length, eg.  , '[a]', 'Vector a', etc. .A transforming validation rule. Combine using () or () .A transforming validation rule. Combine using () or () !A validation rule. Combine using () or () !A validation rule. Combine using () or () The validation monad transformerThe validation monadRun a validation on a type aRun a validation on a type a!Mark a custom check as failed0Check that the value is at least N elements long1Check that the value is at maxium N elements long0Check that the value's length is between N and M Specialized minLength with N = 1#Check that a value is larger than N$Check that a value is smaller than N%Check that a value is between M and N0Checks that a value matches a regular expression'Check that a value conforms a predicate'Check that a value conforms a predicate8Check that an optional value is actually set to 'Just a'Check that a list is not emptyDo some check returning "0 if the value is invalid and 'Just a' otherwise.Do some check returning "0 if the value is invalid and 'Just a' otherwise.  #$!%&'()      #$!%&'()*   !"#$%&'()*+,-+./012345valid_45ZXyw7clJ4BJUlNI0Jy02Data.ValidatorbaseGHC.IntInt64 Control.Monad<=<>=>pcreh_8999EsKcfCjChrMQUn4qpBText.Regex.PCRE.Heavyre mkRegexQQpcrel_7tKxgmDe2ZbEDsvcKlVaqmText.Regex.PCRE.Light.BaseRegexstrin_CM3uQgirrYoJ74zeMMuV3eData.String.Conversions convertStringConvertibleStrings HasLength getLengthTransValidationRuleTTransValidationRuleValidationRuleTValidationRule ValidationT ValidationM runValidator runValidatorT minLength maxLength lengthBetweennotEmpty largerThan smallerThan valueBetween matchesRegex conformsPred conformsPredM requiredValue nonEmptyListconformsPredTransconformsPredTransMGHC.BaseString checkFailedNothing unValidationT$fHasLengthByteString$fHasLengthByteString0$fHasLengthText$fHasLengthText0 $fHasLength[]