sext-0.1.2: Lists, Texts, ByteStrings, and Vectors 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.