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 a1, PersistableWidth a2) => HasProjection "fst" (a1, a2) a1 Source #
Instance details Methods projection :: PiLabel "fst" -> Pi (a1, a2) a1 Source #
(PersistableWidth a1, PersistableWidth a2) => HasProjection "pi0" (a1, a2) a1 Source #
Instance details Methods projection :: PiLabel "pi0" -> Pi (a1, a2) a1 Source #
(PersistableWidth a1, PersistableWidth a2) => HasProjection "pi1" (a1, a2) a2 Source #
Instance details Methods projection :: PiLabel "pi1" -> Pi (a1, a2) a2 Source #
(PersistableWidth a1, PersistableWidth a2) => HasProjection "snd" (a1, a2) a2 Source #
Instance details Methods projection :: PiLabel "snd" -> Pi (a1, a2) a2 Source #
(PersistableWidth a1, PersistableWidth a2) => HasProjection "tuplePi2_0" (a1, a2) a1 Source #
Instance details Methods projection :: PiLabel "tuplePi2_0" -> Pi (a1, a2) a1 Source #
(PersistableWidth a1, PersistableWidth a2) => HasProjection "tuplePi2_1" (a1, a2) a2 Source #
Instance details Methods projection :: PiLabel "tuplePi2_1" -> Pi (a1, a2) a2 Source #
(PersistableWidth a1, PersistableWidth a2, PersistableWidth a3) => HasProjection "fst" (a1, a2, a3) a1 Source #
Instance details Methods projection :: PiLabel "fst" -> Pi (a1, a2, a3) a1 Source #
(PersistableWidth a1, PersistableWidth a2, PersistableWidth a3) => HasProjection "pi0" (a1, a2, a3) a1 Source #
Instance details Methods projection :: PiLabel "pi0" -> Pi (a1, a2, a3) a1 Source #
(PersistableWidth a1, PersistableWidth a2, PersistableWidth a3) => HasProjection "pi1" (a1, a2, a3) a2 Source #
Instance details Methods projection :: PiLabel "pi1" -> Pi (a1, a2, a3) a2 Source #
(PersistableWidth a1, PersistableWidth a2, PersistableWidth a3) => HasProjection "pi2" (a1, a2, a3) a3 Source #
Instance details Methods projection :: PiLabel "pi2" -> Pi (a1, a2, a3) a3 Source #
(PersistableWidth a1, PersistableWidth a2, PersistableWidth a3) => HasProjection "snd" (a1, a2, a3) a2 Source #
Instance details Methods projection :: PiLabel "snd" -> Pi (a1, a2, a3) a2 Source #
(PersistableWidth a1, PersistableWidth a2, PersistableWidth a3) => HasProjection "tuplePi3_0" (a1, a2, a3) a1 Source #
Instance details Methods projection :: PiLabel "tuplePi3_0" -> Pi (a1, a2, a3) a1 Source #
(PersistableWidth a1, PersistableWidth a2, PersistableWidth a3) => HasProjection "tuplePi3_1" (a1, a2, a3) a2 Source #
Instance details Methods projection :: PiLabel "tuplePi3_1" -> Pi (a1, a2, a3) a2 Source #
(PersistableWidth a1, PersistableWidth a2, PersistableWidth a3) => HasProjection "tuplePi3_2" (a1, a2, a3) a3 Source #
Instance details Methods projection :: PiLabel "tuplePi3_2" -> Pi (a1, a2, a3) a3 Source #
(PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4) => HasProjection "fst" (a1, a2, a3, a4) a1 Source #
Instance details Methods projection :: PiLabel "fst" -> Pi (a1, a2, a3, a4) a1 Source #
(PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4) => HasProjection "pi0" (a1, a2, a3, a4) a1 Source #
Instance details Methods projection :: PiLabel "pi0" -> Pi (a1, a2, a3, a4) a1 Source #
(PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4) => HasProjection "pi1" (a1, a2, a3, a4) a2 Source #
Instance details Methods projection :: PiLabel "pi1" -> Pi (a1, a2, a3, a4) a2 Source #
(PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4) => HasProjection "pi2" (a1, a2, a3, a4) a3 Source #
Instance details Methods projection :: PiLabel "pi2" -> Pi (a1, a2, a3, a4) a3 Source #
(PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4) => HasProjection "pi3" (a1, a2, a3, a4) a4 Source #
Instance details Methods projection :: PiLabel "pi3" -> Pi (a1, a2, a3, a4) a4 Source #
(PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4) => HasProjection "snd" (a1, a2, a3, a4) a2 Source #
Instance details Methods projection :: PiLabel "snd" -> Pi (a1, a2, a3, a4) a2 Source #
(PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4) => HasProjection "tuplePi4_0" (a1, a2, a3, a4) a1 Source #
Instance details Methods projection :: PiLabel "tuplePi4_0" -> Pi (a1, a2, a3, a4) a1 Source #
(PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4) => HasProjection "tuplePi4_1" (a1, a2, a3, a4) a2 Source #
Instance details Methods projection :: PiLabel "tuplePi4_1" -> Pi (a1, a2, a3, a4) a2 Source #
(PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4) => HasProjection "tuplePi4_2" (a1, a2, a3, a4) a3 Source #
Instance details Methods projection :: PiLabel "tuplePi4_2" -> Pi (a1, a2, a3, a4) a3 Source #
(PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4) => HasProjection "tuplePi4_3" (a1, a2, a3, a4) a4 Source #
Instance details Methods projection :: PiLabel "tuplePi4_3" -> Pi (a1, a2, a3, a4) a4 Source #
(PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5) => HasProjection "fst" (a1, a2, a3, a4, a5) a1 Source #
Instance details Methods projection :: PiLabel "fst" -> Pi (a1, a2, a3, a4, a5) a1 Source #
(PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5) => HasProjection "pi0" (a1, a2, a3, a4, a5) a1 Source #
Instance details Methods projection :: PiLabel "pi0" -> Pi (a1, a2, a3, a4, a5) a1 Source #
(PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5) => HasProjection "pi1" (a1, a2, a3, a4, a5) a2 Source #
Instance details Methods projection :: PiLabel "pi1" -> Pi (a1, a2, a3, a4, a5) a2 Source #
(PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5) => HasProjection "pi2" (a1, a2, a3, a4, a5) a3 Source #
Instance details Methods projection :: PiLabel "pi2" -> Pi (a1, a2, a3, a4, a5) a3 Source #
(PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5) => HasProjection "pi3" (a1, a2, a3, a4, a5) a4 Source #
Instance details Methods projection :: PiLabel "pi3" -> Pi (a1, a2, a3, a4, a5) a4 Source #
(PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5) => HasProjection "pi4" (a1, a2, a3, a4, a5) a5 Source #
Instance details Methods projection :: PiLabel "pi4" -> Pi (a1, a2, a3, a4, a5) a5 Source #
(PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5) => HasProjection "snd" (a1, a2, a3, a4, a5) a2 Source #
Instance details Methods projection :: PiLabel "snd" -> Pi (a1, a2, a3, a4, a5) a2 Source #
(PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5) => HasProjection "tuplePi5_0" (a1, a2, a3, a4, a5) a1 Source #
Instance details Methods projection :: PiLabel "tuplePi5_0" -> Pi (a1, a2, a3, a4, a5) a1 Source #
(PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5) => HasProjection "tuplePi5_1" (a1, a2, a3, a4, a5) a2 Source #
Instance details Methods projection :: PiLabel "tuplePi5_1" -> Pi (a1, a2, a3, a4, a5) a2 Source #
(PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5) => HasProjection "tuplePi5_2" (a1, a2, a3, a4, a5) a3 Source #
Instance details Methods projection :: PiLabel "tuplePi5_2" -> Pi (a1, a2, a3, a4, a5) a3 Source #
(PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5) => HasProjection "tuplePi5_3" (a1, a2, a3, a4, a5) a4 Source #
Instance details Methods projection :: PiLabel "tuplePi5_3" -> Pi (a1, a2, a3, a4, a5) a4 Source #
(PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5) => HasProjection "tuplePi5_4" (a1, a2, a3, a4, a5) a5 Source #
Instance details Methods projection :: PiLabel "tuplePi5_4" -> Pi (a1, a2, a3, a4, a5) a5 Source #
(PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5, PersistableWidth a6) => HasProjection "fst" (a1, a2, a3, a4, a5, a6) a1 Source #
Instance details Methods projection :: PiLabel "fst" -> Pi (a1, a2, a3, a4, a5, a6) a1 Source #
(PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5, PersistableWidth a6) => HasProjection "pi0" (a1, a2, a3, a4, a5, a6) a1 Source #
Instance details Methods projection :: PiLabel "pi0" -> Pi (a1, a2, a3, a4, a5, a6) a1 Source #
(PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5, PersistableWidth a6) => HasProjection "pi1" (a1, a2, a3, a4, a5, a6) a2 Source #
Instance details Methods projection :: PiLabel "pi1" -> Pi (a1, a2, a3, a4, a5, a6) a2 Source #
(PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5, PersistableWidth a6) => HasProjection "pi2" (a1, a2, a3, a4, a5, a6) a3 Source #
Instance details Methods projection :: PiLabel "pi2" -> Pi (a1, a2, a3, a4, a5, a6) a3 Source #
(PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5, PersistableWidth a6) => HasProjection "pi3" (a1, a2, a3, a4, a5, a6) a4 Source #
Instance details Methods projection :: PiLabel "pi3" -> Pi (a1, a2, a3, a4, a5, a6) a4 Source #
(PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5, PersistableWidth a6) => HasProjection "pi4" (a1, a2, a3, a4, a5, a6) a5 Source #
Instance details Methods projection :: PiLabel "pi4" -> Pi (a1, a2, a3, a4, a5, a6) a5 Source #
(PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5, PersistableWidth a6) => HasProjection "pi5" (a1, a2, a3, a4, a5, a6) a6 Source #
Instance details Methods projection :: PiLabel "pi5" -> Pi (a1, a2, a3, a4, a5, a6) a6 Source #
(PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5, PersistableWidth a6) => HasProjection "snd" (a1, a2, a3, a4, a5, a6) a2 Source #
Instance details Methods projection :: PiLabel "snd" -> Pi (a1, a2, a3, a4, a5, a6) a2 Source #
(PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5, PersistableWidth a6) => HasProjection "tuplePi6_0" (a1, a2, a3, a4, a5, a6) a1 Source #
Instance details Methods projection :: PiLabel "tuplePi6_0" -> Pi (a1, a2, a3, a4, a5, a6) a1 Source #
(PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5, PersistableWidth a6) => HasProjection "tuplePi6_1" (a1, a2, a3, a4, a5, a6) a2 Source #
Instance details Methods projection :: PiLabel "tuplePi6_1" -> Pi (a1, a2, a3, a4, a5, a6) a2 Source #
(PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5, PersistableWidth a6) => HasProjection "tuplePi6_2" (a1, a2, a3, a4, a5, a6) a3 Source #
Instance details Methods projection :: PiLabel "tuplePi6_2" -> Pi (a1, a2, a3, a4, a5, a6) a3 Source #
(PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5, PersistableWidth a6) => HasProjection "tuplePi6_3" (a1, a2, a3, a4, a5, a6) a4 Source #
Instance details Methods projection :: PiLabel "tuplePi6_3" -> Pi (a1, a2, a3, a4, a5, a6) a4 Source #
(PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5, PersistableWidth a6) => HasProjection "tuplePi6_4" (a1, a2, a3, a4, a5, a6) a5 Source #
Instance details Methods projection :: PiLabel "tuplePi6_4" -> Pi (a1, a2, a3, a4, a5, a6) a5 Source #
(PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5, PersistableWidth a6) => HasProjection "tuplePi6_5" (a1, a2, a3, a4, a5, a6) a6 Source #
Instance details Methods projection :: PiLabel "tuplePi6_5" -> Pi (a1, a2, a3, a4, a5, a6) a6 Source #
(PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5, PersistableWidth a6, PersistableWidth a7) => HasProjection "fst" (a1, a2, a3, a4, a5, a6, a7) a1 Source #
Instance details Methods projection :: PiLabel "fst" -> Pi (a1, a2, a3, a4, a5, a6, a7) a1 Source #
(PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5, PersistableWidth a6, PersistableWidth a7) => HasProjection "pi0" (a1, a2, a3, a4, a5, a6, a7) a1 Source #
Instance details Methods projection :: PiLabel "pi0" -> Pi (a1, a2, a3, a4, a5, a6, a7) a1 Source #
(PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5, PersistableWidth a6, PersistableWidth a7) => HasProjection "pi1" (a1, a2, a3, a4, a5, a6, a7) a2 Source #
Instance details Methods projection :: PiLabel "pi1" -> Pi (a1, a2, a3, a4, a5, a6, a7) a2 Source #
(PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5, PersistableWidth a6, PersistableWidth a7) => HasProjection "pi2" (a1, a2, a3, a4, a5, a6, a7) a3 Source #
Instance details Methods projection :: PiLabel "pi2" -> Pi (a1, a2, a3, a4, a5, a6, a7) a3 Source #
(PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5, PersistableWidth a6, PersistableWidth a7) => HasProjection "pi3" (a1, a2, a3, a4, a5, a6, a7) a4 Source #
Instance details Methods projection :: PiLabel "pi3" -> Pi (a1, a2, a3, a4, a5, a6, a7) a4 Source #
(PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5, PersistableWidth a6, PersistableWidth a7) => HasProjection "pi4" (a1, a2, a3, a4, a5, a6, a7) a5 Source #
Instance details Methods projection :: PiLabel "pi4" -> Pi (a1, a2, a3, a4, a5, a6, a7) a5 Source #
(PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5, PersistableWidth a6, PersistableWidth a7) => HasProjection "pi5" (a1, a2, a3, a4, a5, a6, a7) a6 Source #
Instance details Methods projection :: PiLabel "pi5" -> Pi (a1, a2, a3, a4, a5, a6, a7) a6 Source #
(PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5, PersistableWidth a6, PersistableWidth a7) => HasProjection "pi6" (a1, a2, a3, a4, a5, a6, a7) a7 Source #
Instance details Methods projection :: PiLabel "pi6" -> Pi (a1, a2, a3, a4, a5, a6, a7) a7 Source #
(PersistableWidth a1, PersistableWidth a2, PersistableWidth a3, PersistableWidth a4, PersistableWidth a5, PersistableWidth a6, PersistableWidth a7) => HasProjection "snd" (a1, a2, a3, a4, a5, a6, a7) a2 Source #
Instance details Methods projection :: PiLabel "snd" -> Pi (a1, a2, a3, a4, a5, a6, a7) a2 Source #
(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 Source #
Instance details Methods projection :: PiLabel "tuplePi7_0" -> Pi (a1, a2, a3, a4, a5, a6, a7) a1 Source #
(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 Source #
Instance details Methods projection :: PiLabel "tuplePi7_1" -> Pi (a1, a2, a3, a4, a5, a6, a7) a2 Source #
(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 Source #
Instance details Methods projection :: PiLabel "tuplePi7_2" -> Pi (a1, a2, a3, a4, a5, a6, a7) a3 Source #
(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 Source #
Instance details Methods projection :: PiLabel "tuplePi7_3" -> Pi (a1, a2, a3, a4, a5, a6, a7) a4 Source #
(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 Source #
Instance details Methods projection :: PiLabel "tuplePi7_4" -> Pi (a1, a2, a3, a4, a5, a6, a7) a5 Source #
(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 Source #
Instance details Methods projection :: PiLabel "tuplePi7_5" -> Pi (a1, a2, a3, a4, a5, a6, a7) a6 Source #
(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 Source #
Instance details Methods projection :: PiLabel "tuplePi7_6" -> Pi (a1, a2, a3, a4, a5, a6, a7) a7 Source #