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.
- defineProductConstructorInstance :: TypeQ -> ExpQ -> [TypeQ] -> Q [Dec]
- defineTupleProductConstructor :: Int -> Q [Dec]
- defineTupleShowConstantInstance :: Int -> Q [Dec]
- defineTuplePi :: Int -> Q [Dec]
Documentation
defineProductConstructorInstance :: TypeQ -> ExpQ -> [TypeQ] -> Q [Dec] Source #
Make template for ProductConstructor
instance.
defineTupleProductConstructor :: Int -> Q [Dec] Source #
Make template of ProductConstructor instance of tuple type.
defineTupleShowConstantInstance :: Int -> Q [Dec] Source #
Make template of ShowConstantTermsSQL
instance of tuple type.