Data.StringVariants.Util
natOfLength :: proxy (n :: Nat) -> f (other n) -> f (other n) Source #
useNat :: Integer -> (forall n proxy. KnownNat n => proxy n -> x) -> x Source #
textIsTooLong :: Text -> Int -> Bool Source #
textIsWhitespace :: Text -> Bool Source #
textHasNoMeaningfulContent :: Text -> Bool Source #