Safe Haskell	None
Language	Haskell98

Text.StringTemplate.Classes

Synopsis

data SElem a
- = STR String
- | BS ByteString
- | TXT Text
- | STSH STShow
- | SM (SMap a)
- | LI [SElem a]
- | SBLE a
- | SNAT a
- | SNull
class Show a => StringTemplateShows a where
class ToSElem a where
type SMap a = Map String (SElem a)
data STShow = StringTemplateShows a => STShow a
newtype StFirst a = StFirst {
- stGetFirst :: Maybe a
}
class Monoid a => Stringable a where
stShowsToSE :: (StringTemplateShows a, Stringable b) => a -> SElem b

Documentation

data SElem a #

Constructors

STR String
BS ByteString
TXT Text
STSH STShow
SM (SMap a)
LI [SElem a]
SBLE a
SNAT a
SNull

class Show a => StringTemplateShows a where #

The StringTemplateShows class should be instantiated for all types that are directly displayed in a StringTemplate, but take an optional format string. Each such type must have an appropriate ToSElem method defined as well.

Methods

stringTemplateShow :: a -> String #

Defaults to show.

stringTemplateFormattedShow :: String -> a -> String #

Defaults to _ a -> stringTemplateShow a

Instances

StringTemplateShows Double #
Instance details Defined in Text.StringTemplate.Instances Methods stringTemplateShow :: Double -> String # stringTemplateFormattedShow :: String -> Double -> String #
StringTemplateShows Float #
Instance details Defined in Text.StringTemplate.Instances Methods stringTemplateShow :: Float -> String # stringTemplateFormattedShow :: String -> Float -> String #
StringTemplateShows ZonedTime #
Instance details Defined in Text.StringTemplate.Instances Methods stringTemplateShow :: ZonedTime -> String # stringTemplateFormattedShow :: String -> ZonedTime -> String #
StringTemplateShows LocalTime #
Instance details Defined in Text.StringTemplate.Instances Methods stringTemplateShow :: LocalTime -> String # stringTemplateFormattedShow :: String -> LocalTime -> String #
StringTemplateShows TimeOfDay #
Instance details Defined in Text.StringTemplate.Instances Methods stringTemplateShow :: TimeOfDay -> String # stringTemplateFormattedShow :: String -> TimeOfDay -> String #
StringTemplateShows TimeZone #
Instance details Defined in Text.StringTemplate.Instances Methods stringTemplateShow :: TimeZone -> String # stringTemplateFormattedShow :: String -> TimeZone -> String #
StringTemplateShows UTCTime #
Instance details Defined in Text.StringTemplate.Instances Methods stringTemplateShow :: UTCTime -> String # stringTemplateFormattedShow :: String -> UTCTime -> String #
StringTemplateShows Day #
Instance details Defined in Text.StringTemplate.Instances Methods stringTemplateShow :: Day -> String # stringTemplateFormattedShow :: String -> Day -> String #

class ToSElem a where #

The ToSElem class should be instantiated for all types that can be inserted as attributes into a StringTemplate.

Minimal complete definition

toSElem

Methods

toSElem :: Stringable b => a -> SElem b #

toSElemList :: Stringable b => [a] -> SElem b #

Instances

ToSElem Bool #
Instance details Defined in Text.StringTemplate.Instances Methods toSElem :: Stringable b => Bool -> SElem b # toSElemList :: Stringable b => [Bool] -> SElem b #
ToSElem Char #
Instance details Defined in Text.StringTemplate.Instances Methods toSElem :: Stringable b => Char -> SElem b # toSElemList :: Stringable b => [Char] -> SElem b #
ToSElem Double #
Instance details Defined in Text.StringTemplate.Instances Methods toSElem :: Stringable b => Double -> SElem b # toSElemList :: Stringable b => [Double] -> SElem b #
ToSElem Float #
Instance details Defined in Text.StringTemplate.Instances Methods toSElem :: Stringable b => Float -> SElem b # toSElemList :: Stringable b => [Float] -> SElem b #
ToSElem Int #
Instance details Defined in Text.StringTemplate.Instances Methods toSElem :: Stringable b => Int -> SElem b # toSElemList :: Stringable b => [Int] -> SElem b #
ToSElem Integer #
Instance details Defined in Text.StringTemplate.Instances Methods toSElem :: Stringable b => Integer -> SElem b # toSElemList :: Stringable b => [Integer] -> SElem b #
ToSElem () #
Instance details Defined in Text.StringTemplate.Instances Methods toSElem :: Stringable b => () -> SElem b # toSElemList :: Stringable b => [()] -> SElem b #
Data a => ToSElem a #
Instance details Defined in Text.StringTemplate.GenericStandard Methods toSElem :: Stringable b => a -> SElem b # toSElemList :: Stringable b => [a] -> SElem b #
ToSElem Void #
Instance details Defined in Text.StringTemplate.Instances Methods toSElem :: Stringable b => Void -> SElem b # toSElemList :: Stringable b => [Void] -> SElem b #
ToSElem ByteString #
Instance details Defined in Text.StringTemplate.Instances Methods toSElem :: Stringable b => ByteString -> SElem b # toSElemList :: Stringable b => [ByteString] -> SElem b #
ToSElem ByteString #
Instance details Defined in Text.StringTemplate.Instances Methods toSElem :: Stringable b => ByteString -> SElem b # toSElemList :: Stringable b => [ByteString] -> SElem b #
ToSElem Text #
Instance details Defined in Text.StringTemplate.Instances Methods toSElem :: Stringable b => Text -> SElem b # toSElemList :: Stringable b => [Text] -> SElem b #
ToSElem Text #
Instance details Defined in Text.StringTemplate.Instances Methods toSElem :: Stringable b => Text -> SElem b # toSElemList :: Stringable b => [Text] -> SElem b #
ToSElem ZonedTime #
Instance details Defined in Text.StringTemplate.Instances Methods toSElem :: Stringable b => ZonedTime -> SElem b # toSElemList :: Stringable b => [ZonedTime] -> SElem b #
ToSElem LocalTime #
Instance details Defined in Text.StringTemplate.Instances Methods toSElem :: Stringable b => LocalTime -> SElem b # toSElemList :: Stringable b => [LocalTime] -> SElem b #
ToSElem TimeOfDay #
Instance details Defined in Text.StringTemplate.Instances Methods toSElem :: Stringable b => TimeOfDay -> SElem b # toSElemList :: Stringable b => [TimeOfDay] -> SElem b #
ToSElem TimeZone #
Instance details Defined in Text.StringTemplate.Instances Methods toSElem :: Stringable b => TimeZone -> SElem b # toSElemList :: Stringable b => [TimeZone] -> SElem b #
ToSElem UTCTime #
Instance details Defined in Text.StringTemplate.Instances Methods toSElem :: Stringable b => UTCTime -> SElem b # toSElemList :: Stringable b => [UTCTime] -> SElem b #
ToSElem Day #
Instance details Defined in Text.StringTemplate.Instances Methods toSElem :: Stringable b => Day -> SElem b # toSElemList :: Stringable b => [Day] -> SElem b #
ToSElem a => ToSElem [a] #
Instance details Defined in Text.StringTemplate.Instances Methods toSElem :: Stringable b => [a] -> SElem b # toSElemList :: Stringable b => [[a]] -> SElem b #
ToSElem a => ToSElem (Maybe a) #
Instance details Defined in Text.StringTemplate.Instances Methods toSElem :: Stringable b => Maybe a -> SElem b # toSElemList :: Stringable b => [Maybe a] -> SElem b #
(Integral a, Show a) => ToSElem (Ratio a) #
Instance details Defined in Text.StringTemplate.Instances Methods toSElem :: Stringable b => Ratio a -> SElem b # toSElemList :: Stringable b => [Ratio a] -> SElem b #
(ToSElem a, Foldable t) => ToSElem (t a) #
Instance details Defined in Text.StringTemplate.Instances Methods toSElem :: Stringable b => t a -> SElem b # toSElemList :: Stringable b => [t a] -> SElem b #
(ToSElem a, ToSElem b) => ToSElem (a, b) #
Instance details Defined in Text.StringTemplate.Instances Methods toSElem :: Stringable b0 => (a, b) -> SElem b0 # toSElemList :: Stringable b0 => [(a, b)] -> SElem b0 #
(ToSElem a, Ix i) => ToSElem (Array i a) #
Instance details Defined in Text.StringTemplate.Instances Methods toSElem :: Stringable b => Array i a -> SElem b # toSElemList :: Stringable b => [Array i a] -> SElem b #
ToSElem a => ToSElem (Map String a) #
Instance details Defined in Text.StringTemplate.Instances Methods toSElem :: Stringable b => Map String a -> SElem b # toSElemList :: Stringable b => [Map String a] -> SElem b #
(ToSElem a, ToSElem b, ToSElem c) => ToSElem (a, b, c) #
Instance details Defined in Text.StringTemplate.Instances Methods toSElem :: Stringable b0 => (a, b, c) -> SElem b0 # toSElemList :: Stringable b0 => [(a, b, c)] -> SElem b0 #
(ToSElem a, ToSElem b, ToSElem c, ToSElem d) => ToSElem (a, b, c, d) #
Instance details Defined in Text.StringTemplate.Instances Methods toSElem :: Stringable b0 => (a, b, c, d) -> SElem b0 # toSElemList :: Stringable b0 => [(a, b, c, d)] -> SElem b0 #
(ToSElem a, ToSElem b, ToSElem c, ToSElem d, ToSElem e) => ToSElem (a, b, c, d, e) #
Instance details Defined in Text.StringTemplate.Instances Methods toSElem :: Stringable b0 => (a, b, c, d, e) -> SElem b0 # toSElemList :: Stringable b0 => [(a, b, c, d, e)] -> SElem b0 #
(ToSElem a, ToSElem b, ToSElem c, ToSElem d, ToSElem e, ToSElem f) => ToSElem (a, b, c, d, e, f) #
Instance details Defined in Text.StringTemplate.Instances Methods toSElem :: Stringable b0 => (a, b, c, d, e, f) -> SElem b0 # toSElemList :: Stringable b0 => [(a, b, c, d, e, f)] -> SElem b0 #
(ToSElem a, ToSElem b, ToSElem c, ToSElem d, ToSElem e, ToSElem f, ToSElem g) => ToSElem (a, b, c, d, e, f, g) #
Instance details Defined in Text.StringTemplate.Instances Methods toSElem :: Stringable b0 => (a, b, c, d, e, f, g) -> SElem b0 # toSElemList :: Stringable b0 => [(a, b, c, d, e, f, g)] -> SElem b0 #
(ToSElem a, ToSElem b, ToSElem c, ToSElem d, ToSElem e, ToSElem f, ToSElem g, ToSElem h) => ToSElem (a, b, c, d, e, f, g, h) #
Instance details Defined in Text.StringTemplate.Instances Methods toSElem :: Stringable b0 => (a, b, c, d, e, f, g, h) -> SElem b0 # toSElemList :: Stringable b0 => [(a, b, c, d, e, f, g, h)] -> SElem b0 #
(ToSElem a, ToSElem b, ToSElem c, ToSElem d, ToSElem e, ToSElem f, ToSElem g, ToSElem h, ToSElem i) => ToSElem (a, b, c, d, e, f, g, h, i) #
Instance details Defined in Text.StringTemplate.Instances Methods toSElem :: Stringable b0 => (a, b, c, d, e, f, g, h, i) -> SElem b0 # toSElemList :: Stringable b0 => [(a, b, c, d, e, f, g, h, i)] -> SElem b0 #
(ToSElem a, ToSElem b, ToSElem c, ToSElem d, ToSElem e, ToSElem f, ToSElem g, ToSElem h, ToSElem i, ToSElem j) => ToSElem (a, b, c, d, e, f, g, h, i, j) #
Instance details Defined in Text.StringTemplate.Instances Methods toSElem :: Stringable b0 => (a, b, c, d, e, f, g, h, i, j) -> SElem b0 # toSElemList :: Stringable b0 => [(a, b, c, d, e, f, g, h, i, j)] -> SElem b0 #

type SMap a = Map String (SElem a) #

data STShow #

Constructors

StringTemplateShows a => STShow a

newtype StFirst a #

Constructors

StFirst
Fields stGetFirst :: Maybe a

Instances

Functor StFirst #
Instance details Defined in Text.StringTemplate.Classes Methods fmap :: (a -> b) -> StFirst a -> StFirst b # (<$) :: a -> StFirst b -> StFirst a #
Eq a => Eq (StFirst a) #
Instance details Defined in Text.StringTemplate.Classes Methods (==) :: StFirst a -> StFirst a -> Bool # (/=) :: StFirst a -> StFirst a -> Bool #
Ord a => Ord (StFirst a) #
Instance details Defined in Text.StringTemplate.Classes Methods compare :: StFirst a -> StFirst a -> Ordering # (<) :: StFirst a -> StFirst a -> Bool # (<=) :: StFirst a -> StFirst a -> Bool # (>) :: StFirst a -> StFirst a -> Bool # (>=) :: StFirst a -> StFirst a -> Bool # max :: StFirst a -> StFirst a -> StFirst a # min :: StFirst a -> StFirst a -> StFirst a #
Read a => Read (StFirst a) #
Instance details Defined in Text.StringTemplate.Classes Methods readsPrec :: Int -> ReadS (StFirst a) # readList :: ReadS [StFirst a] # readPrec :: ReadPrec (StFirst a) # readListPrec :: ReadPrec [StFirst a] #
Show a => Show (StFirst a) #
Instance details Defined in Text.StringTemplate.Classes Methods showsPrec :: Int -> StFirst a -> ShowS # show :: StFirst a -> String # showList :: [StFirst a] -> ShowS #
Semigroup (StFirst a) #
Instance details Defined in Text.StringTemplate.Classes Methods (<>) :: StFirst a -> StFirst a -> StFirst a # sconcat :: NonEmpty (StFirst a) -> StFirst a # stimes :: Integral b => b -> StFirst a -> StFirst a #
Monoid (StFirst a) #
Instance details Defined in Text.StringTemplate.Classes Methods mempty :: StFirst a # mappend :: StFirst a -> StFirst a -> StFirst a # mconcat :: [StFirst a] -> StFirst a #

class Monoid a => Stringable a where #

The Stringable class should be instantiated with care. Generally, the provided instances should be enough for anything.

Minimal complete definition

stFromString, stToString

Methods

stFromString :: String -> a #

stFromByteString :: ByteString -> a #

stFromText :: Text -> a #

stToString :: a -> String #

mconcatMap :: [b] -> (b -> a) -> a #

Defaults to mconcatMap m k = foldr (mappend . k) mempty m

mintercalate :: a -> [a] -> a #

Defaults to (mconcat .) . intersperse

mlabel :: a -> a -> a #

Defaults to mlabel x y = mconcat [x, stFromString "[", y, stFromString "]"]

Instances

Stringable String #
Instance details Defined in Text.StringTemplate.Classes Methods stFromString :: String -> String # stFromByteString :: ByteString -> String # stFromText :: Text -> String # stToString :: String -> String # mconcatMap :: [b] -> (b -> String) -> String # mintercalate :: String -> [String] -> String # mlabel :: String -> String -> String #
Stringable ByteString #
Instance details Defined in Text.StringTemplate.Classes Methods stFromString :: String -> ByteString # stFromByteString :: ByteString -> ByteString # stFromText :: Text -> ByteString # stToString :: ByteString -> String # mconcatMap :: [b] -> (b -> ByteString) -> ByteString # mintercalate :: ByteString -> [ByteString] -> ByteString # mlabel :: ByteString -> ByteString -> ByteString #
Stringable ByteString #
Instance details Defined in Text.StringTemplate.Classes Methods stFromString :: String -> ByteString # stFromByteString :: ByteString0 -> ByteString # stFromText :: Text -> ByteString # stToString :: ByteString -> String # mconcatMap :: [b] -> (b -> ByteString) -> ByteString # mintercalate :: ByteString -> [ByteString] -> ByteString # mlabel :: ByteString -> ByteString -> ByteString #
Stringable Builder #
Instance details Defined in Text.StringTemplate.Classes Methods stFromString :: String -> Builder # stFromByteString :: ByteString -> Builder # stFromText :: Text -> Builder # stToString :: Builder -> String # mconcatMap :: [b] -> (b -> Builder) -> Builder # mintercalate :: Builder -> [Builder] -> Builder # mlabel :: Builder -> Builder -> Builder #
Stringable Text #
Instance details Defined in Text.StringTemplate.Classes Methods stFromString :: String -> Text # stFromByteString :: ByteString -> Text # stFromText :: Text -> Text # stToString :: Text -> String # mconcatMap :: [b] -> (b -> Text) -> Text # mintercalate :: Text -> [Text] -> Text # mlabel :: Text -> Text -> Text #
Stringable Text #
Instance details Defined in Text.StringTemplate.Classes Methods stFromString :: String -> Text # stFromByteString :: ByteString -> Text # stFromText :: Text0 -> Text # stToString :: Text -> String # mconcatMap :: [b] -> (b -> Text) -> Text # mintercalate :: Text -> [Text] -> Text # mlabel :: Text -> Text -> Text #
Stringable Doc #
Instance details Defined in Text.StringTemplate.Classes Methods stFromString :: String -> Doc # stFromByteString :: ByteString -> Doc # stFromText :: Text -> Doc # stToString :: Doc -> String # mconcatMap :: [b] -> (b -> Doc) -> Doc # mintercalate :: Doc -> [Doc] -> Doc # mlabel :: Doc -> Doc -> Doc #
Stringable Builder #
Instance details Defined in Text.StringTemplate.Classes Methods stFromString :: String -> Builder # stFromByteString :: ByteString -> Builder # stFromText :: Text -> Builder # stToString :: Builder -> String # mconcatMap :: [b] -> (b -> Builder) -> Builder # mintercalate :: Builder -> [Builder] -> Builder # mlabel :: Builder -> Builder -> Builder #
Stringable (Endo String) #
Instance details Defined in Text.StringTemplate.Classes Methods stFromString :: String -> Endo String # stFromByteString :: ByteString -> Endo String # stFromText :: Text -> Endo String # stToString :: Endo String -> String # mconcatMap :: [b] -> (b -> Endo String) -> Endo String # mintercalate :: Endo String -> [Endo String] -> Endo String # mlabel :: Endo String -> Endo String -> Endo String #

stShowsToSE :: (StringTemplateShows a, Stringable b) => a -> SElem b #

This method should be used to create ToSElem instances for types defining a custom formatted show function.