Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.StringVariants.Prose

Description

Prose type: arbitrary length non-empty text that is trimmed.

Synopsis

data Prose
mkProse :: Text -> Maybe Prose
compileProse :: QuasiQuoter
type IsProse s = (KnownSymbol s, SymbolWithNoSpaceAround s)
literalProse :: forall (s :: Symbol). IsProse s => Prose
proseToText :: Prose -> Text
proseFromNonEmptyText :: NonEmptyText n -> Prose

Documentation

data Prose Source #

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).

Instances

Instances details

FromJSON Prose Source #
Instance details Defined in Data.StringVariants.Prose.Internal Methods parseJSON :: Value -> Parser Prose # parseJSONList :: Value -> Parser [Prose] #
ToJSON Prose Source #
Instance details Defined in Data.StringVariants.Prose.Internal Methods toJSON :: Prose -> Value # toEncoding :: Prose -> Encoding # toJSONList :: [Prose] -> Value # toEncodingList :: [Prose] -> Encoding #
ToJSONKey Prose Source #
Instance details Defined in Data.StringVariants.Prose.Internal Methods toJSONKey :: ToJSONKeyFunction Prose # toJSONKeyList :: ToJSONKeyFunction [Prose] #
Semigroup Prose Source #
Instance details Defined in Data.StringVariants.Prose.Internal Methods (<>) :: Prose -> Prose -> Prose # sconcat :: NonEmpty Prose -> Prose # stimes :: Integral b => b -> Prose -> Prose #
Show Prose Source #
Instance details Defined in Data.StringVariants.Prose.Internal Methods showsPrec :: Int -> Prose -> ShowS # show :: Prose -> String # showList :: [Prose] -> ShowS #
Eq Prose Source #
Instance details Defined in Data.StringVariants.Prose.Internal Methods (==) :: Prose -> Prose -> Bool # (/=) :: Prose -> Prose -> Bool #
Ord Prose Source #
Instance details Defined in Data.StringVariants.Prose.Internal Methods compare :: Prose -> Prose -> Ordering # (<) :: Prose -> Prose -> Bool # (<=) :: Prose -> Prose -> Bool # (>) :: Prose -> Prose -> Bool # (>=) :: Prose -> Prose -> Bool # max :: Prose -> Prose -> Prose # min :: Prose -> Prose -> Prose #
ConvertibleStrings Prose Text Source #
Instance details Defined in Data.StringVariants.Prose.Internal Methods convertString :: Prose -> Text #
ConvertibleStrings Prose Text Source #
Instance details Defined in Data.StringVariants.Prose.Internal Methods convertString :: Prose -> Text #
Lift Prose Source #
Instance details Defined in Data.StringVariants.Prose.Internal Methods lift :: Quote m => Prose -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Prose -> Code m Prose #

mkProse :: Text -> Maybe Prose Source #

compileProse :: QuasiQuoter Source #

type IsProse s = (KnownSymbol s, SymbolWithNoSpaceAround s) Source #

literalProse :: forall (s :: Symbol). IsProse s => Prose Source #

proseToText :: Prose -> Text Source #

proseFromNonEmptyText :: NonEmptyText n -> Prose Source #