| Copyright | 2017 Kei Hibino |
|---|---|
| License | BSD3 |
| Maintainer | ex8k.hibino@gmail.com |
| Stability | experimental |
| Portability | unknown |
| Safe Haskell | None |
| Language | Haskell2010 |
Database.Relational.OverloadedProjection
Contents
Description
This module provides interfaces of overloaded projections.
- class HasProjection l a b | l a -> b where
Documentation
class HasProjection l a b | l a -> b where Source #
Projection interface to implement Pi with row polymorphism.
Minimal complete definition
Methods
projection :: PiLabel l -> Pi a b Source #
Orphan instances
| HasProjection l a b => IsLabel l (Pi a b) Source # | Derive |
| (PersistableWidth a, HasProjection l a b) => IsLabel l (PI c a b) Source # | Derive |