h*:N      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUV0.3.1.0 Safe-Inferred/"%&'()*-/013469:;<>?\string-variantsIf the integer is >= 1, evaluate the function with the proof of that. Otherwise, return the default value Safe-Inferred1"%&'()*-0134679:;<>?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/"%&'()*-/013469:;<>?string-variantsWhitespace-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,"%&'()*-013469:;<>? "#$! "#$! Safe-Inferred0"%&'()*-/013469:;<>? 6string-variantsIdentical 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.7string-variantsNarrows the maximum length, dropping any remaining trailing characters.8string-variantsNarrows the maximum length, dropping any prefix remaining characters.9string-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.:string-variantsConcat 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 W3like operations, or combining first and last names. 13 2 4 57896:;/0<=> 13 2 4 57896:;/0<=> Safe-Inferred2"%&'()*-/013469:;<>?Bstring-variantsNewtype wrapper around Maybe NonEmptyText that converts empty string to X.B n is used in API types to represent optional text fields when you do not want an empty string to fail to parse. Like , the payload Y is guaranteed to be non-empty, within the character limit, and stripped of whitespace. Unlike ., it will successfully parse empty strings as E.?Since Aeson version 2.2, fields of this type maybe be missing, null4, or empty without failing to parse. Avoid using Maybe (NullableNonEmptyText n) in API types, since it creates unnecessary edge cases that complicate the code.NB:1 When using a version of Aeson prior to 2.2, you must use Maybe (NullableNonEmptyText n)6 if you want to allow missing or null fields to parse. % data Person = Person { name ::  50 , catchphrase :: B 500 } With this type definition, these four JSON objects below are valid and parse as Person Daniel nullNonEmptyText. {"name": "Daniel"} {"name": "Daniel", catchphrase: null} {"name": "Daniel", catchphrase: ""} {"name": "Daniel", catchphrase: " "}!These two JSON objects parses as Person Daniel+ (mkNullableNonEmptyText "Yabba-Dabba Do!") {"name": "Daniel", catchphrase: "Yabba-Dabba Do!"} {"name": "Daniel", catchphrase: " Yabba-Dabba Do! "}Use L to extract Maybe (NonEmptyText n) from NullableNonEmptyText n.Ostring-variantsThis requires the text to be non-empty. For the empty text just use the constructor `NullableNonEmptyText Nothing`BC NAODGEKIJMLHFBC NAODGEKIJMLHF Safe-Inferred,"%&'()*-013469:;<>?& 2 54K 7896:/0<=> "$!BCDENIJMLGHF& 2 54K 7896:/0<=> "$!BCDENIJMLGHF  Safe-Inferred-"%&'()*-013469:;<>?AZ[\]^_`a    !"#$%&'())*+,-./01234567899:;<=>?@ABCDEFGHIJKKLMNOPQRSTUVWXYZ[\]^ _` abcde f g h i j k l m.string-variants-0.3.1.0-7oZ1CmOM9DaEt259oVGHqF Data.StringVariants.NonEmptyTextData.StringVariants.Util)Data.StringVariants.NonEmptyText.Internal"Data.StringVariants.Prose.Internal(Data.StringVariants.NullableNonEmptyTextstring-variantsData.StringVariants.ProseData.StringVariantsPaths_string_variantsbase Data.Type.Ord<=SymbolNoLongerThanSymbolWithNoSpaceAroundSymbolNonEmptytextIsWhitespacetextHasNoMeaningfulContentusePositiveNat NonEmptyTextmkNonEmptyTextmkNonEmptyTextWithTruncateunsafeMkNonEmptyTextwidencompileNonEmptyTextKnownLength$fSemigroupNonEmptyText$fArbitraryNonEmptyText*$fConvertibleStringsNonEmptyTextByteString$$fConvertibleStringsNonEmptyTextList$$fConvertibleStringsNonEmptyTextText$fFromJSONNonEmptyText$fDataNonEmptyText$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.MaybeNothing text-2.0.2Data.Text.InternalTextversion getBinDir getLibDir getDynLibDir getDataDir getLibexecDirgetDataFileName getSysconfDir