Data.StringVariants.Util

Documentation

type family SymbolNonEmpty (s :: Symbol) :: Constraint where ...

Equations

SymbolNonEmpty "" = TypeError ('Text "Symbol is empty")

SymbolNonEmpty _ = ()

type SymbolWithNoSpaceAround s = (SymbolNoLeadingSpace (UnconsSymbol s), SymbolNoTrailingSpace (UnconsSymbol s))

type family SymbolNoLongerThan (s :: Symbol) (n :: Nat) :: Constraint where ...

Equations

SymbolNoLongerThan s n = If (SymbolLength 0 (UnconsSymbol s) <=? n) (() :: Constraint) (TypeError (((('Text "Invalid NonEmptyText. Needs to be <= " :<>: 'ShowType n) :<>: 'Text " characters. Has ") :<>: 'ShowType (SymbolLength 0 (UnconsSymbol s))) :<>: 'Text " characters."))

usePositiveNat :: Integer -> a -> (forall n proxy. (KnownNat n, 1 <= n) => proxy n -> a) -> a

If the integer is >= 1, evaluate the function with the proof of that. Otherwise, return the default value

textIsWhitespace :: Text -> Bool

textHasNoMeaningfulContent :: Text -> Bool