Îõ³h&»ÙÖ      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTU Safe-Inferred/"%&'()*-/0123589:;=>?ÀÁÂÃÄÅÇÌÑÒ×ÙÚÜãäëïóöøNstring-variantséIf the integer is >= 1, evaluate the function with the proof of that. Otherwise, return the default value Safe-Inferred0"%&'()*-0123589:;=>?ÀÁÂÃÄÅÇÌÑÒ×ÙÚÜãäëïóöøÇstring-variants4Non Empty Text, requires the input is between 1 and n chars and not just whitespace. string-variants;Make a NonEmptyText when you can manually verify the length string-variants Converts a  to a wider NonEmptyText   Safe-Inferred/"%&'()*-/0123589:;=>?ÀÁÂÃÄÅÇÌÑÒ×ÚÜãäëïóöø‹string-variants™Whitespace-trimmed, non-empty text, for use with API endpoints. The rationale is that there are many situations where if a client sends text that is empty or all whitespace, there's probably a client error. Not suitable for database fields, as there is no character limit (see ProsePersistFieldMsg). !"# !"# Safe-Inferred,"%&'()*-0123589:;=>?ÀÁÂÃÄÅÇÌÑÒ×ÚÜãäëïóöø !"#!"#  Safe-Inferred0"%&'()*-/0123589:;=>?ÀÁÂÃÄÅÇÌÑÒ×ÙÚÜãäëïóöø ì5string-variantsµIdentical to the normal text filter function, but maintains the type-level invariant that the text length is <= n, unlike unwrapping the text, filtering, then rewrapping the text.4Will return Nothing if the resulting length is zero.6string-variantsÇNarrows the maximum length, dropping any remaining trailing characters.7string-variantsÅNarrows the maximum length, dropping any prefix remaining characters.8string-variantsO(n) Splits a  into components of length  chunkSizeˆ. The chunks may be shorter than the chunkSize depending on the length of the input and spacing. Each chunk is stripped of whitespace.9string-variantsôConcat two NonEmptyText values, with the new maximum length being the sum of the two maximum lengths of the inputs. Mnemonic: <> for monoid, | from NonEmpty's :| operator:string-variants Concat two … values with a space in between them. The new maximum length is the sum of the two maximum lengths of the inputs + 1 for the space. Useful for V3like operations, or combining first and last names. ./0123456789:;<= 02 1 3 467859:./;<= Safe-Inferred2"%&'()*-/0123589:;=>?ÀÁÂÃÄÅÇÌÑÒ×ÙÚÜãäëïóöø“Astring-variantsÈNewtype wrapper around Maybe NonEmptyText that converts empty string to W.äThis is aimed primarily at JSON parsing: make it possible to parse empty string and turn it into Nothing), in order to convert everything into Maybe NonEmptyText at the edge of the system.'While using this for JSON parsing, use Maybe NullableNonEmptyText. Aeson special-cases Maybe to allow nulls, so Maybe catches the nulls and NullableNonEmptyText catches the empty strings. To extract Maybe NonEmptyText values from Maybe NullableNonEmptyText , use K.Nstring-variantsòThis requires the text to be non-empty. For the empty text just use the constructor `NullableNonEmptyText Nothing` @ABCDEFGHIJKLMNAB M@NCFDJHILKGE Safe-Inferred,"%&'()*-0123589:;=>?ÀÁÂÃÄÅÇÌÑÒ×ÚÜãäëïóöø&  !#./13456789;<=ABCDEFGHIJKLM& 1 43J 67859./;<=!# ABCDMHILKFGE Safe-Inferred-"%&'()*-0123589:;=>?ÀÁÂÃÄÅÇÌÑÒ×ÚÜãäëïóöøÌXYZ[\]^_à     !"#$%&''()*+,-./01234567789:;<=>?@ABCDEFGHIIJKLMNOPQRSTUVWXYZ[\ ]^ _`abcdefghé.string-variants-0.3.0.0-DxgrEkEVPN4LuFVdoavwk0 Data.StringVariants.NonEmptyTextData.StringVariants.Util)Data.StringVariants.NonEmptyText.Internal"Data.StringVariants.Prose.Internal(Data.StringVariants.NullableNonEmptyTextData.StringVariants.ProseData.StringVariantsPaths_string_variantsbase Data.Type.Ord<=SymbolNoLongerThanSymbolWithNoSpaceAroundSymbolNonEmptytextIsWhitespacetextHasNoMeaningfulContentusePositiveNat NonEmptyTextmkNonEmptyTextmkNonEmptyTextWithTruncateunsafeMkNonEmptyTextwidencompileNonEmptyTextKnownLength$fSemigroupNonEmptyText$fArbitraryNonEmptyText*$fConvertibleStringsNonEmptyTextByteString"$fConvertibleStringsNonEmptyText[]$$fConvertibleStringsNonEmptyTextText$fFromJSONNonEmptyText$fGenericNonEmptyText$fShowNonEmptyText$fReadNonEmptyText$fLiftBoxedRepNonEmptyText$fEqNonEmptyText$fOrdNonEmptyText$fToJSONNonEmptyText$fMonoFoldableNonEmptyTextIsProseProsemkProseproseFromNonEmptyText compileProse literalProse proseToText$fFromJSONProse$fConvertibleStringsProseText$fConvertibleStringsProseText0 $fEqProse$fLiftBoxedRepProse $fOrdProse $fShowProse$fSemigroupProse $fToJSONProse$fToJSONKeyProseContainsNonWhitespaceCharactersIsNonEmptyTextcompileNonEmptyTextliteralNonEmptyTextconvertEmptyTextToNothingnonEmptyTextToTextfilterNonEmptyTexttakeNonEmptyTexttakeNonEmptyTextEndchunksOfNonEmptyText<>|concatWithSpaceexactLengthRefinedToRangenonEmptyTextFromRefinedrefinedFromNonEmptyText2$fPredicateTYPEContainsNonWhitespaceCharactersText($fGenericContainsNonWhitespaceCharactersIsNullableNonEmptyTextNullableNonEmptyTextmkNullableNonEmptyTextnullNonEmptyTextisNullNonEmptyTextparseNullableNonEmptyTextfromMaybeNullableTextnonEmptyTextToNullablemaybeNonEmptyTextToNullable'maybeTextToTruncateNullableNonEmptyText'nullableNonEmptyTextToMaybeNonEmptyTextnullableNonEmptyTextToMaybeTextcompileNullableNonEmptyTextliteralNullableNonEmptyText$fFromJSONNullableNonEmptyText$fToJSONNullableNonEmptyText$fGenericNullableNonEmptyText$fShowNullableNonEmptyText$fReadNullableNonEmptyText"$fLiftBoxedRepNullableNonEmptyText$fEqNullableNonEmptyText Data.OldListunwords GHC.MaybeNothingversiongetDataFileName getBinDir getLibDir getDynLibDir getDataDir getLibexecDir getSysconfDir