Safe Haskell	None
Language	Haskell2010

Data.String.Interpolate.Conversion

Synopsis

newtype B dst a = B {
- unB :: a
}
type family IsCustomSink dst where ...
class IsCustomSink dst ~ flag => InterpSink (flag :: Bool) dst where
- type Builder flag dst :: *
- ofString :: Proxy flag -> String -> B dst (Builder flag dst)
- build :: Proxy flag -> B dst (Builder flag dst) -> B dst (Builder flag dst) -> B dst (Builder flag dst)
- finalize :: Proxy flag -> B dst (Builder flag dst) -> dst
class InterpSink flag dst => Interpolatable (flag :: Bool) src dst where
- interpolate :: Proxy flag -> src -> B dst (Builder flag dst)
bsToTextBuilder :: ByteString -> Builder
lbsToTextBuilder :: ByteString -> Builder
encodeCharUTF8 :: Char -> Builder

Documentation

newtype B dst a Source #

We wrap the builders in B so that we can add a phantom type parameter. This gives the inner interpolates enough information to know where they're going and pick an instance, forcing all the types into lockstep.

Constructors

B
Fields unB :: a

Instances

Eq a => Eq (B dst a) Source #
Instance details Defined in Data.String.Interpolate.Conversion Methods (==) :: B dst a -> B dst a -> Bool # (/=) :: B dst a -> B dst a -> Bool #
Show a => Show (B dst a) Source #
Instance details Defined in Data.String.Interpolate.Conversion Methods showsPrec :: Int -> B dst a -> ShowS # show :: B dst a -> String # showList :: [B dst a] -> ShowS #

type family IsCustomSink dst where ... Source #

Does this type require special behavior when something is interpolated into it?

Equations

IsCustomSink Text = True
IsCustomSink Text = True
IsCustomSink Builder = True
IsCustomSink ByteString = True
IsCustomSink ByteString = True
IsCustomSink Builder = True
IsCustomSink _ = False

class IsCustomSink dst ~ flag => InterpSink (flag :: Bool) dst where Source #

Something that can be interpolated into.

Associated Types

type Builder flag dst :: * Source #

Methods

ofString :: Proxy flag -> String -> B dst (Builder flag dst) Source #

Meant to be used only for verbatim parts of the interpolation.

build :: Proxy flag -> B dst (Builder flag dst) -> B dst (Builder flag dst) -> B dst (Builder flag dst) Source #

build should be 'in-order'; that is, the left builder comes from a string on the left, and the right builder comes from a string on the right.

finalize :: Proxy flag -> B dst (Builder flag dst) -> dst Source #

Instances

(IsCustomSink str ~ False, IsString str) => InterpSink False str Source #
Instance details Defined in Data.String.Interpolate.Conversion Associated Types type Builder False str :: Type Source # Methods ofString :: Proxy False -> String -> B str (Builder False str) Source # build :: Proxy False -> B str (Builder False str) -> B str (Builder False str) -> B str (Builder False str) Source # finalize :: Proxy False -> B str (Builder False str) -> str Source #
InterpSink True ByteString Source #
Instance details Defined in Data.String.Interpolate.Conversion Associated Types type Builder True ByteString :: Type Source # Methods ofString :: Proxy True -> String -> B ByteString (Builder True ByteString) Source # build :: Proxy True -> B ByteString (Builder True ByteString) -> B ByteString (Builder True ByteString) -> B ByteString (Builder True ByteString) Source # finalize :: Proxy True -> B ByteString (Builder True ByteString) -> ByteString Source #
InterpSink True ByteString Source #
Instance details Defined in Data.String.Interpolate.Conversion Associated Types type Builder True ByteString :: Type Source # Methods ofString :: Proxy True -> String -> B ByteString (Builder True ByteString) Source # build :: Proxy True -> B ByteString (Builder True ByteString) -> B ByteString (Builder True ByteString) -> B ByteString (Builder True ByteString) Source # finalize :: Proxy True -> B ByteString (Builder True ByteString) -> ByteString Source #
InterpSink True Builder Source #
Instance details Defined in Data.String.Interpolate.Conversion Associated Types type Builder True Builder :: Type Source # Methods ofString :: Proxy True -> String -> B Builder (Builder0 True Builder) Source # build :: Proxy True -> B Builder (Builder0 True Builder) -> B Builder (Builder0 True Builder) -> B Builder (Builder0 True Builder) Source # finalize :: Proxy True -> B Builder (Builder0 True Builder) -> Builder Source #
InterpSink True Text Source #
Instance details Defined in Data.String.Interpolate.Conversion Associated Types type Builder True Text :: Type Source # Methods ofString :: Proxy True -> String -> B Text (Builder True Text) Source # build :: Proxy True -> B Text (Builder True Text) -> B Text (Builder True Text) -> B Text (Builder True Text) Source # finalize :: Proxy True -> B Text (Builder True Text) -> Text Source #
InterpSink True Builder Source #
Instance details Defined in Data.String.Interpolate.Conversion Associated Types type Builder True Builder :: Type Source # Methods ofString :: Proxy True -> String -> B Builder (Builder0 True Builder) Source # build :: Proxy True -> B Builder (Builder0 True Builder) -> B Builder (Builder0 True Builder) -> B Builder (Builder0 True Builder) Source # finalize :: Proxy True -> B Builder (Builder0 True Builder) -> Builder Source #
InterpSink True Text Source #
Instance details Defined in Data.String.Interpolate.Conversion Associated Types type Builder True Text :: Type Source # Methods ofString :: Proxy True -> String -> B Text (Builder True Text) Source # build :: Proxy True -> B Text (Builder True Text) -> B Text (Builder True Text) -> B Text (Builder True Text) Source # finalize :: Proxy True -> B Text (Builder True Text) -> Text Source #

class InterpSink flag dst => Interpolatable (flag :: Bool) src dst where Source #

Represents that we can interpolate objects of type src into a an interpolation string that returns type dst.

Methods

interpolate :: Proxy flag -> src -> B dst (Builder flag dst) Source #

Instances

(IsString dst, IsCustomSink dst ~ False) => Interpolatable False Char dst Source #
Instance details Defined in Data.String.Interpolate.Conversion Methods interpolate :: Proxy False -> Char -> B dst (Builder False dst) Source #
(Show src, IsString dst, IsCustomSink dst ~ False) => Interpolatable False src dst Source #
Instance details Defined in Data.String.Interpolate.Conversion Methods interpolate :: Proxy False -> src -> B dst (Builder False dst) Source #
(IsString dst, IsCustomSink dst ~ False) => Interpolatable False String dst Source #
Instance details Defined in Data.String.Interpolate.Conversion Methods interpolate :: Proxy False -> String -> B dst (Builder False dst) Source #
(IsString dst, IsCustomSink dst ~ False) => Interpolatable False ByteString dst Source #
Instance details Defined in Data.String.Interpolate.Conversion Methods interpolate :: Proxy False -> ByteString -> B dst (Builder False dst) Source #
(IsString dst, IsCustomSink dst ~ False) => Interpolatable False ByteString dst Source #
Instance details Defined in Data.String.Interpolate.Conversion Methods interpolate :: Proxy False -> ByteString -> B dst (Builder False dst) Source #
(IsString dst, IsCustomSink dst ~ False) => Interpolatable False Builder dst Source #
Instance details Defined in Data.String.Interpolate.Conversion Methods interpolate :: Proxy False -> Builder -> B dst (Builder0 False dst) Source #
(IsString dst, IsCustomSink dst ~ False) => Interpolatable False Text dst Source #
Instance details Defined in Data.String.Interpolate.Conversion Methods interpolate :: Proxy False -> Text -> B dst (Builder False dst) Source #
(IsString dst, IsCustomSink dst ~ False) => Interpolatable False Builder dst Source #
Instance details Defined in Data.String.Interpolate.Conversion Methods interpolate :: Proxy False -> Builder -> B dst (Builder0 False dst) Source #
(IsString dst, IsCustomSink dst ~ False) => Interpolatable False Text dst Source #
Instance details Defined in Data.String.Interpolate.Conversion Methods interpolate :: Proxy False -> Text -> B dst (Builder False dst) Source #
Interpolatable True Char ByteString Source #
Instance details Defined in Data.String.Interpolate.Conversion Methods interpolate :: Proxy True -> Char -> B ByteString (Builder True ByteString) Source #
Interpolatable True Char ByteString Source #
Instance details Defined in Data.String.Interpolate.Conversion Methods interpolate :: Proxy True -> Char -> B ByteString (Builder True ByteString) Source #
Interpolatable True Char Builder Source #
Instance details Defined in Data.String.Interpolate.Conversion Methods interpolate :: Proxy True -> Char -> B Builder (Builder0 True Builder) Source #
Interpolatable True Char Text Source #
Instance details Defined in Data.String.Interpolate.Conversion Methods interpolate :: Proxy True -> Char -> B Text (Builder True Text) Source #
Interpolatable True Char Builder Source #
Instance details Defined in Data.String.Interpolate.Conversion Methods interpolate :: Proxy True -> Char -> B Builder (Builder0 True Builder) Source #
Interpolatable True Char Text Source #
Instance details Defined in Data.String.Interpolate.Conversion Methods interpolate :: Proxy True -> Char -> B Text (Builder True Text) Source #
Show src => Interpolatable True src Builder Source #
Instance details Defined in Data.String.Interpolate.Conversion Methods interpolate :: Proxy True -> src -> B Builder (Builder0 True Builder) Source #
Show src => Interpolatable True src ByteString Source #
Instance details Defined in Data.String.Interpolate.Conversion Methods interpolate :: Proxy True -> src -> B ByteString (Builder True ByteString) Source #
Show src => Interpolatable True src ByteString Source #
Instance details Defined in Data.String.Interpolate.Conversion Methods interpolate :: Proxy True -> src -> B ByteString (Builder True ByteString) Source #
Show src => Interpolatable True src Builder Source #
Instance details Defined in Data.String.Interpolate.Conversion Methods interpolate :: Proxy True -> src -> B Builder (Builder0 True Builder) Source #
Show src => Interpolatable True src Text Source #
Instance details Defined in Data.String.Interpolate.Conversion Methods interpolate :: Proxy True -> src -> B Text (Builder True Text) Source #
Show src => Interpolatable True src Text Source #
Instance details Defined in Data.String.Interpolate.Conversion Methods interpolate :: Proxy True -> src -> B Text (Builder True Text) Source #
Interpolatable True String ByteString Source #
Instance details Defined in Data.String.Interpolate.Conversion Methods interpolate :: Proxy True -> String -> B ByteString (Builder True ByteString) Source #
Interpolatable True String ByteString Source #
Instance details Defined in Data.String.Interpolate.Conversion Methods interpolate :: Proxy True -> String -> B ByteString (Builder True ByteString) Source #
Interpolatable True String Builder Source #
Instance details Defined in Data.String.Interpolate.Conversion Methods interpolate :: Proxy True -> String -> B Builder (Builder0 True Builder) Source #
Interpolatable True String Text Source #
Instance details Defined in Data.String.Interpolate.Conversion Methods interpolate :: Proxy True -> String -> B Text (Builder True Text) Source #
Interpolatable True String Builder Source #
Instance details Defined in Data.String.Interpolate.Conversion Methods interpolate :: Proxy True -> String -> B Builder (Builder0 True Builder) Source #
Interpolatable True String Text Source #
Instance details Defined in Data.String.Interpolate.Conversion Methods interpolate :: Proxy True -> String -> B Text (Builder True Text) Source #
Interpolatable True ByteString ByteString Source #
Instance details Defined in Data.String.Interpolate.Conversion Methods interpolate :: Proxy True -> ByteString -> B ByteString (Builder True ByteString) Source #
Interpolatable True ByteString ByteString Source #
Instance details Defined in Data.String.Interpolate.Conversion Methods interpolate :: Proxy True -> ByteString0 -> B ByteString (Builder True ByteString) Source #
Interpolatable True ByteString Builder Source #
Instance details Defined in Data.String.Interpolate.Conversion Methods interpolate :: Proxy True -> ByteString -> B Builder (Builder0 True Builder) Source #
Interpolatable True ByteString Text Source #
Instance details Defined in Data.String.Interpolate.Conversion Methods interpolate :: Proxy True -> ByteString -> B Text (Builder True Text) Source #
Interpolatable True ByteString Builder Source #
Instance details Defined in Data.String.Interpolate.Conversion Methods interpolate :: Proxy True -> ByteString -> B Builder (Builder0 True Builder) Source #
Interpolatable True ByteString Text Source #
Instance details Defined in Data.String.Interpolate.Conversion Methods interpolate :: Proxy True -> ByteString -> B Text (Builder True Text) Source #
Interpolatable True ByteString ByteString Source #
Instance details Defined in Data.String.Interpolate.Conversion Methods interpolate :: Proxy True -> ByteString -> B ByteString0 (Builder True ByteString0) Source #
Interpolatable True ByteString ByteString Source #
Instance details Defined in Data.String.Interpolate.Conversion Methods interpolate :: Proxy True -> ByteString -> B ByteString (Builder True ByteString) Source #
Interpolatable True ByteString Builder Source #
Instance details Defined in Data.String.Interpolate.Conversion Methods interpolate :: Proxy True -> ByteString -> B Builder (Builder0 True Builder) Source #
Interpolatable True ByteString Text Source #
Instance details Defined in Data.String.Interpolate.Conversion Methods interpolate :: Proxy True -> ByteString -> B Text (Builder True Text) Source #
Interpolatable True ByteString Builder Source #
Instance details Defined in Data.String.Interpolate.Conversion Methods interpolate :: Proxy True -> ByteString -> B Builder (Builder0 True Builder) Source #
Interpolatable True ByteString Text Source #
Instance details Defined in Data.String.Interpolate.Conversion Methods interpolate :: Proxy True -> ByteString -> B Text (Builder True Text) Source #
Interpolatable True Builder ByteString Source #
Instance details Defined in Data.String.Interpolate.Conversion Methods interpolate :: Proxy True -> Builder -> B ByteString (Builder0 True ByteString) Source #
Interpolatable True Builder ByteString Source #
Instance details Defined in Data.String.Interpolate.Conversion Methods interpolate :: Proxy True -> Builder -> B ByteString (Builder0 True ByteString) Source #
Interpolatable True Builder Builder Source #
Instance details Defined in Data.String.Interpolate.Conversion Methods interpolate :: Proxy True -> Builder -> B Builder (Builder0 True Builder) Source #
Interpolatable True Builder Text Source #
Instance details Defined in Data.String.Interpolate.Conversion Methods interpolate :: Proxy True -> Builder -> B Text (Builder0 True Text) Source #
Interpolatable True Builder Builder Source #
Instance details Defined in Data.String.Interpolate.Conversion Methods interpolate :: Proxy True -> Builder0 -> B Builder (Builder1 True Builder) Source #
Interpolatable True Builder Text Source #
Instance details Defined in Data.String.Interpolate.Conversion Methods interpolate :: Proxy True -> Builder -> B Text (Builder0 True Text) Source #
Interpolatable True Text ByteString Source #
Instance details Defined in Data.String.Interpolate.Conversion Methods interpolate :: Proxy True -> Text -> B ByteString (Builder True ByteString) Source #
Interpolatable True Text ByteString Source #
Instance details Defined in Data.String.Interpolate.Conversion Methods interpolate :: Proxy True -> Text -> B ByteString (Builder True ByteString) Source #
Interpolatable True Text Builder Source #
Instance details Defined in Data.String.Interpolate.Conversion Methods interpolate :: Proxy True -> Text -> B Builder (Builder0 True Builder) Source #
Interpolatable True Text Text Source #
Instance details Defined in Data.String.Interpolate.Conversion Methods interpolate :: Proxy True -> Text -> B Text (Builder True Text) Source #
Interpolatable True Text Builder Source #
Instance details Defined in Data.String.Interpolate.Conversion Methods interpolate :: Proxy True -> Text -> B Builder (Builder0 True Builder) Source #
Interpolatable True Text Text Source #
Instance details Defined in Data.String.Interpolate.Conversion Methods interpolate :: Proxy True -> Text0 -> B Text (Builder True Text) Source #
Interpolatable True Builder ByteString Source #
Instance details Defined in Data.String.Interpolate.Conversion Methods interpolate :: Proxy True -> Builder -> B ByteString (Builder0 True ByteString) Source #
Interpolatable True Builder ByteString Source #
Instance details Defined in Data.String.Interpolate.Conversion Methods interpolate :: Proxy True -> Builder -> B ByteString (Builder0 True ByteString) Source #
Interpolatable True Builder Builder Source #
Instance details Defined in Data.String.Interpolate.Conversion Methods interpolate :: Proxy True -> Builder -> B Builder0 (Builder1 True Builder0) Source #
Interpolatable True Builder Text Source #
Instance details Defined in Data.String.Interpolate.Conversion Methods interpolate :: Proxy True -> Builder -> B Text (Builder0 True Text) Source #
Interpolatable True Builder Builder Source #
Instance details Defined in Data.String.Interpolate.Conversion Methods interpolate :: Proxy True -> Builder -> B Builder (Builder0 True Builder) Source #
Interpolatable True Builder Text Source #
Instance details Defined in Data.String.Interpolate.Conversion Methods interpolate :: Proxy True -> Builder -> B Text (Builder0 True Text) Source #
Interpolatable True Text ByteString Source #
Instance details Defined in Data.String.Interpolate.Conversion Methods interpolate :: Proxy True -> Text -> B ByteString (Builder True ByteString) Source #
Interpolatable True Text ByteString Source #
Instance details Defined in Data.String.Interpolate.Conversion Methods interpolate :: Proxy True -> Text -> B ByteString (Builder True ByteString) Source #
Interpolatable True Text Builder Source #
Instance details Defined in Data.String.Interpolate.Conversion Methods interpolate :: Proxy True -> Text -> B Builder (Builder0 True Builder) Source #
Interpolatable True Text Text Source #
Instance details Defined in Data.String.Interpolate.Conversion Methods interpolate :: Proxy True -> Text -> B Text0 (Builder True Text0) Source #
Interpolatable True Text Builder Source #
Instance details Defined in Data.String.Interpolate.Conversion Methods interpolate :: Proxy True -> Text -> B Builder (Builder0 True Builder) Source #
Interpolatable True Text Text Source #
Instance details Defined in Data.String.Interpolate.Conversion Methods interpolate :: Proxy True -> Text -> B Text (Builder True Text) Source #

bsToTextBuilder :: ByteString -> Builder Source #

Convert a strict ByteString into a Text Builder, converting any invalid characters into the Unicode replacement character � (U+FFFD).

lbsToTextBuilder :: ByteString -> Builder Source #

Convert a lazy ByteString into a Text Builder, converting any invalid characters into the Unicode replacement character � (U+FFFD).

encodeCharUTF8 :: Char -> Builder Source #

Data.ByteString.Builder provides charUtf8 to do this, but it doesn't correctly handle invalid characters.