MCSP.Data.String.TH
Description
Simplified derivingUnbox.
derivingUnbox
type EnumLike a = (Enum a, Bounded a, Typeable a) Source #
Types convertible to a bounded integer.
derivingUnboxVia :: TypeQ -> DecsQ Source #
Given T -> U, derives Unbox T by casting it to U.
T -> U
Unbox
T
U
>>> import Data.Word (Word8) >>> data DNA = A | C | G | T >>> -- derivingUnboxVia [t|DNA -> Word8|]
>>>
import Data.Word (Word8)
data DNA = A | C | G | T
-- derivingUnboxVia [t|DNA -> Word8|]