Copyright	2017 Kei Hibino
License	BSD3
Maintainer	ex8k.hibino@gmail.com
Stability	experimental
Portability	unknown
Safe Haskell	Safe-Inferred
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, 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, 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, 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, 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, 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 #