Copyright	2017 Kei Hibino
License	BSD3
Maintainer	ex8k.hibino@gmail.com
Stability	experimental
Portability	unknown
Safe Haskell	None
Language	Haskell2010

Database.Relational.OverloadedInstances

Contents

Orphan instances

Description

This module provides basic instances of overloaded projections like tuples..

Orphan instances

PersistableWidth a => HasProjection "fst" (a, b) a #
Methods projection :: PiLabel "fst" -> Pi (a, b) a #
(PersistableWidth a, PersistableWidth b) => HasProjection "snd" (a, b) b #
Methods projection :: PiLabel "snd" -> Pi (a, b) b #
(PersistableWidth a1, PersistableWidth a2) => HasProjection "tuplePi2_0" (a1, a2) a1 #
Methods projection :: PiLabel "tuplePi2_0" -> Pi (a1, a2) a1 #
(PersistableWidth a1, PersistableWidth a2) => HasProjection "tuplePi2_1" (a1, a2) a2 #
Methods projection :: PiLabel "tuplePi2_1" -> Pi (a1, a2) a2 #
(PersistableWidth a1, PersistableWidth a2, PersistableWidth a3) => HasProjection "tuplePi3_0" (a1, a2, a3) a1 #
Methods projection :: PiLabel "tuplePi3_0" -> Pi (a1, a2, a3) a1 #
(PersistableWidth a1, PersistableWidth a2, PersistableWidth a3) => HasProjection "tuplePi3_1" (a1, a2, a3) a2 #
Methods projection :: PiLabel "tuplePi3_1" -> Pi (a1, a2, a3) a2 #
(PersistableWidth a1, PersistableWidth a2, PersistableWidth a3) => HasProjection "tuplePi3_2" (a1, a2, a3) a3 #
Methods projection :: PiLabel "tuplePi3_2" -> Pi (a1, a2, a3) a3 #
(PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4) => HasProjection "tuplePi4_0" (a1, a2, a3, a4) a1 #
Methods projection :: PiLabel "tuplePi4_0" -> Pi (a1, a2, a3, a4) a1 #
(PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4) => HasProjection "tuplePi4_1" (a1, a2, a3, a4) a2 #
Methods projection :: PiLabel "tuplePi4_1" -> Pi (a1, a2, a3, a4) a2 #
(PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4) => HasProjection "tuplePi4_2" (a1, a2, a3, a4) a3 #
Methods projection :: PiLabel "tuplePi4_2" -> Pi (a1, a2, a3, a4) a3 #
(PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4) => HasProjection "tuplePi4_3" (a1, a2, a3, a4) a4 #
Methods projection :: PiLabel "tuplePi4_3" -> Pi (a1, a2, a3, a4) a4 #
(PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5) => HasProjection "tuplePi5_0" (a1, a2, a3, a4, a5) a1 #
Methods projection :: PiLabel "tuplePi5_0" -> Pi (a1, a2, a3, a4, a5) a1 #
(PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5) => HasProjection "tuplePi5_1" (a1, a2, a3, a4, a5) a2 #
Methods projection :: PiLabel "tuplePi5_1" -> Pi (a1, a2, a3, a4, a5) a2 #
(PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5) => HasProjection "tuplePi5_2" (a1, a2, a3, a4, a5) a3 #
Methods projection :: PiLabel "tuplePi5_2" -> Pi (a1, a2, a3, a4, a5) a3 #
(PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5) => HasProjection "tuplePi5_3" (a1, a2, a3, a4, a5) a4 #
Methods projection :: PiLabel "tuplePi5_3" -> Pi (a1, a2, a3, a4, a5) a4 #
(PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5) => HasProjection "tuplePi5_4" (a1, a2, a3, a4, a5) a5 #
Methods projection :: PiLabel "tuplePi5_4" -> Pi (a1, a2, a3, a4, a5) a5 #
(PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5, PersistableWidth a6) => HasProjection "tuplePi6_0" (a1, a2, a3, a4, a5, a6) a1 #
Methods projection :: PiLabel "tuplePi6_0" -> Pi (a1, a2, a3, a4, a5, a6) a1 #
(PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5, PersistableWidth a6) => HasProjection "tuplePi6_1" (a1, a2, a3, a4, a5, a6) a2 #
Methods projection :: PiLabel "tuplePi6_1" -> Pi (a1, a2, a3, a4, a5, a6) a2 #
(PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5, PersistableWidth a6) => HasProjection "tuplePi6_2" (a1, a2, a3, a4, a5, a6) a3 #
Methods projection :: PiLabel "tuplePi6_2" -> Pi (a1, a2, a3, a4, a5, a6) a3 #
(PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5, PersistableWidth a6) => HasProjection "tuplePi6_3" (a1, a2, a3, a4, a5, a6) a4 #
Methods projection :: PiLabel "tuplePi6_3" -> Pi (a1, a2, a3, a4, a5, a6) a4 #
(PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5, PersistableWidth a6) => HasProjection "tuplePi6_4" (a1, a2, a3, a4, a5, a6) a5 #
Methods projection :: PiLabel "tuplePi6_4" -> Pi (a1, a2, a3, a4, a5, a6) a5 #
(PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5, PersistableWidth a6) => HasProjection "tuplePi6_5" (a1, a2, a3, a4, a5, a6) a6 #
Methods projection :: PiLabel "tuplePi6_5" -> Pi (a1, a2, a3, a4, a5, a6) a6 #
(PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5, PersistableWidth a6, PersistableWidth a7) => HasProjection "tuplePi7_0" (a1, a2, a3, a4, a5, a6, a7) a1 #
Methods projection :: PiLabel "tuplePi7_0" -> Pi (a1, a2, a3, a4, a5, a6, a7) a1 #
(PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5, PersistableWidth a6, PersistableWidth a7) => HasProjection "tuplePi7_1" (a1, a2, a3, a4, a5, a6, a7) a2 #
Methods projection :: PiLabel "tuplePi7_1" -> Pi (a1, a2, a3, a4, a5, a6, a7) a2 #
(PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5, PersistableWidth a6, PersistableWidth a7) => HasProjection "tuplePi7_2" (a1, a2, a3, a4, a5, a6, a7) a3 #
Methods projection :: PiLabel "tuplePi7_2" -> Pi (a1, a2, a3, a4, a5, a6, a7) a3 #
(PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5, PersistableWidth a6, PersistableWidth a7) => HasProjection "tuplePi7_3" (a1, a2, a3, a4, a5, a6, a7) a4 #
Methods projection :: PiLabel "tuplePi7_3" -> Pi (a1, a2, a3, a4, a5, a6, a7) a4 #
(PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5, PersistableWidth a6, PersistableWidth a7) => HasProjection "tuplePi7_4" (a1, a2, a3, a4, a5, a6, a7) a5 #
Methods projection :: PiLabel "tuplePi7_4" -> Pi (a1, a2, a3, a4, a5, a6, a7) a5 #
(PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5, PersistableWidth a6, PersistableWidth a7) => HasProjection "tuplePi7_5" (a1, a2, a3, a4, a5, a6, a7) a6 #
Methods projection :: PiLabel "tuplePi7_5" -> Pi (a1, a2, a3, a4, a5, a6, a7) a6 #
(PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5, PersistableWidth a6, PersistableWidth a7) => HasProjection "tuplePi7_6" (a1, a2, a3, a4, a5, a6, a7) a7 #
Methods projection :: PiLabel "tuplePi7_6" -> Pi (a1, a2, a3, a4, a5, a6, a7) a7 #