Îõ³h&…·Ò      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQ Safe-Inferred/"%&'()*-/0123589:;=>?ÀÁÂÃÄÅÇÌÑÒ×ÙÚÜãäëïóöø>string-variantséIf the integer is >= 1, evaluate the function with the proof of that. Otherwise, return the default value 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:;=>?ÀÁÂÃÄÅÇÌÑÒ×ÚÜãäëïóöøq   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 lengthstring-variants Converts a  to a wider NonEmptyText Safe-Inferred/"%&'()*-0123589:;=>?ÀÁÂÃÄÅÇÌÑÒ×ÙÚÜãäëïóöø Ò2string-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.3string-variantsÇNarrows the maximum length, dropping any remaining trailing characters.4string-variantsÅNarrows the maximum length, dropping any prefix remaining characters.5string-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.6string-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 :| operator7string-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 R3like operations, or combining first and last names.,-./0123456789:/1.0345267,-89: Safe-Inferred0"%&'()*-0123589:;=>?ÀÁÂÃÄÅÇÌÑÒ×ÙÚÜãäëïóöøu=string-variantsÈNewtype wrapper around Maybe NonEmptyText that converts empty string to S.ä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 G.Jstring-variantsòThis requires the text to be non-empty. For the empty text just use the constructor `NullableNonEmptyText Nothing`=>?@ABCDEFGHIJ=>IJ?B@FDEHGCA Safe-Inferred,"%&'()*-0123589:;=>?ÀÁÂÃÄÅÇÌÑÒ×ÚÜãäëïóöøù% ,-.012345689:=>?@ABCDEFGHI%.10F34526,-89: =>?@IDEHGBCA Safe-Inferred-"%&'()*-0123589:;=>?ÀÁÂÃÄÅÇÌÑÒ×ÚÜãäëïóöøªTUVWXYZ[Ü     !!"#$%&'()*+,-./01234556789:;<=>?@ABCDEEFGHIJKLMNOPQRSTUVWX YZ [\]^_`abcdå.string-variants-0.2.0.0-Ibj8xjKMcicJdCv0IWSIjz Data.StringVariants.NonEmptyTextData.StringVariants.Util"Data.StringVariants.Prose.Internal)Data.StringVariants.NonEmptyText.Internal(Data.StringVariants.NullableNonEmptyTextData.StringVariants.ProseData.StringVariantsPaths_string_variantsbase Data.Type.Ord<=SymbolNoLongerThanSymbolWithNoSpaceAroundSymbolNonEmptytextIsWhitespacetextHasNoMeaningfulContentusePositiveNatProsemkProse compileProse literalProse proseToText$fFromJSONProse$fConvertibleStringsProseText$fConvertibleStringsProseText0 $fEqProse$fLiftBoxedRepProse $fOrdProse $fShowProse$fSemigroupProse $fToJSONProse$fToJSONKeyProse NonEmptyTextmkNonEmptyTextmkNonEmptyTextWithTruncateunsafeMkNonEmptyTextwidencompileNonEmptyTextKnownLength$fArbitraryNonEmptyText*$fConvertibleStringsNonEmptyTextByteString"$fConvertibleStringsNonEmptyText[]$$fConvertibleStringsNonEmptyTextText$fFromJSONNonEmptyText$fGenericNonEmptyText$fShowNonEmptyText$fReadNonEmptyText$fLiftBoxedRepNonEmptyText$fEqNonEmptyText$fOrdNonEmptyText$fToJSONNonEmptyText$fSemigroupNonEmptyText$fMonoFoldableNonEmptyTextContainsNonWhitespaceCharacterscompileNonEmptyTextliteralNonEmptyTextconvertEmptyTextToNothingnonEmptyTextToTextfilterNonEmptyTexttakeNonEmptyTexttakeNonEmptyTextEndchunksOfNonEmptyText<>|concatWithSpaceexactLengthRefinedToRangenonEmptyTextFromRefinedrefinedFromNonEmptyText2$fPredicateTYPEContainsNonWhitespaceCharactersText($fGenericContainsNonWhitespaceCharactersNullableNonEmptyTextmkNullableNonEmptyTextnullNonEmptyTextisNullNonEmptyTextparseNullableNonEmptyTextfromMaybeNullableTextnonEmptyTextToNullablemaybeNonEmptyTextToNullable'maybeTextToTruncateNullableNonEmptyText'nullableNonEmptyTextToMaybeNonEmptyTextnullableNonEmptyTextToMaybeTextcompileNullableNonEmptyTextliteralNullableNonEmptyText$fFromJSONNullableNonEmptyText$fGenericNullableNonEmptyText$fShowNullableNonEmptyText$fReadNullableNonEmptyText"$fLiftBoxedRepNullableNonEmptyText$fEqNullableNonEmptyText$fToJSONNullableNonEmptyText Data.OldListunwords GHC.MaybeNothingversiongetDataFileName getBinDir getLibDir getDynLibDir getDataDir getLibexecDir getSysconfDir