sext-0.1.0.0: Lists, Texts and ByteStrings with type-encoded length

Safe HaskellNone
LanguageHaskell2010

Data.Sext.TH

Description

Template Haskell helpers for Sext.

Synopsis

Documentation

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.