Copyright | 2017 Kei Hibino |
---|---|
License | BSD3 |
Maintainer | ex8k.hibino@gmail.com |
Stability | experimental |
Portability | unknown |
Safe Haskell | None |
Language | Haskell2010 |
This module defines templates for internally using.
- defineTupleShowConstantInstance :: Int -> Q [Dec]
- defineTuplePi :: Int -> Q [Dec]
- defineRecordProjections :: TypeQ -> [Name] -> [Name] -> [TypeQ] -> Q [Dec]
Documentation
defineTupleShowConstantInstance :: Int -> Q [Dec] Source #
Make template of ShowConstantTermsSQL
instance of tuple type.