Documentation

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 #