{-# LANGUAGE DataKinds            #-}
{-# LANGUAGE FlexibleContexts     #-}
{-# LANGUAGE FlexibleInstances    #-}
{-# LANGUAGE ScopedTypeVariables  #-}
{-# LANGUAGE TypeFamilies         #-}
{-# LANGUAGE UndecidableInstances #-}

module Database.PostgreSQL.Pure.Internal.Length
  (Length) where

import qualified Data.ByteString                        as BS
import           Data.Functor.Identity                  (Identity)
import           Data.Int                               (Int16, Int32, Int64)
import           Data.Proxy                             (Proxy)
import           Data.Scientific                        (Scientific)
import           Data.Time                              (Day, DiffTime, LocalTime, TimeOfDay, UTCTime)
import           Data.Tuple.OneTuple                    (OneTuple)
import           Data.Tuple.Only                        (Only)
import           Database.PostgreSQL.Pure.Internal.Data (Oid, Raw, SqlIdentifier, TimeOfDayWithTimeZone)
import           GHC.TypeLits                           (Nat)

-- | The number of columns.
type family Length a :: Nat

type instance Length Bool = 1

type instance Length Int = 1

type instance Length Int16 = 1

type instance Length Int32 = 1

type instance Length Int64 = 1

type instance Length Scientific = 1

type instance Length Float = 1

type instance Length Double = 1

type instance Length Oid = 1

type instance Length Char = 1

type instance Length String = 1

type instance Length BS.ByteString = 1

type instance Length Day = 1

type instance Length TimeOfDay = 1

type instance Length TimeOfDayWithTimeZone = 1

type instance Length LocalTime = 1

type instance Length UTCTime = 1

type instance Length DiffTime = 1

type instance Length SqlIdentifier = 1

type instance Length Raw = 1

type instance Length (Maybe a) = 1

-- 0 tuple
type instance Length () = 0

type instance Length (Proxy a) = 0

-- 1 tuple
type instance Length (Identity a) = 1

type instance Length (OneTuple a) = 1

type instance Length (Only a) = 1

---- embed 2

---- embed 3

---- embed 4

---- embed 5

---- embed 6

---- embed 7

---- embed 8

---- embed 9

---- embed 10

---- embed 11

---- embed 12

---- embed 13

---- embed 14

---- embed 15

---- embed 16

---- embed 17

---- embed 18

---- embed 19

---- embed 20

---- embed 21

---- embed 22

---- embed 23

---- embed 24

---- embed 25

---- embed 26

---- embed 27

---- embed 28

---- embed 29

---- embed 30

---- embed 31

---- embed 32

---- embed 33

---- embed 34

---- embed 35

---- embed 36

---- embed 37

---- embed 38

---- embed 39

---- embed 40

---- embed 41

---- embed 42

---- embed 43

---- embed 44

---- embed 45

---- embed 46

---- embed 47

---- embed 48

---- embed 49

---- embed 50

---- embed 51

---- embed 52

---- embed 53

---- embed 54

---- embed 55

---- embed 56

---- embed 57

---- embed 58

---- embed 59

---- embed 60

---- embed 61

---- embed 62