sext-0.1.0.0: Lists, Texts and ByteStrings with type-encoded length
Data.Sext.TH
Description
Template Haskell helpers for Sext.
Synopsis
sext :: LitS -> Q Exp Source
Type-safe Sext constructor macro for string literals.
Example:
$(sext "Foobar")
compiles to
unsafeCreate "Foobar" :: forall a. (IsString a, Sextable a) => Sext 6 a
where 6 is the string length obtained at compile time.