Copyright | 2013-2017 Kei Hibino |
---|---|
License | BSD3 |
Maintainer | ex8k.hibino@gmail.com |
Stability | experimental |
Portability | unknown |
Safe Haskell | None |
Language | Haskell2010 |
This module defines type classes and templates for scalar queries.
- class PersistableWidth ct => ScalarDegree ct
- defineScalarDegree :: TypeQ -> Q [Dec]
Single degree constraint
class PersistableWidth ct => ScalarDegree ct Source #
Constraint which represents scalar degree.
ScalarDegree ct => ScalarDegree (Maybe ct) Source # | |
defineScalarDegree :: TypeQ -> Q [Dec] Source #
ScalarDegree
instance templates.