@@ -208,7 +208,6 @@ module Squeal.PostgreSQL.Binary
208 , TuplePG
208 , TuplePG
210 , LabelsPG
210 , LabelsPG
212 -- * Storage newtypes
211 -- * Storage newtypes
213 , Money (..)
212 , Money (..)
214 , Json (..)
213 , Json (..)
@@ -955,18 +954,3 @@ type family ConstructorNamesOf (constructors :: [Type.ConstructorInfo])
955 ConstructorNamesOf '[] = '[]
954 ConstructorNamesOf '[] = '[]
956 ConstructorNamesOf (constructor ': constructors) =
955 ConstructorNamesOf (constructor ': constructors) =
957 ConstructorNameOf constructor ': ConstructorNamesOf constructors
956 ConstructorNameOf constructor ': ConstructorNamesOf constructors
959−type family FromPG (hask :: Type) :: FromType where
960− FromPG (hask1, hask2) = Join (FromPG hask1) (FromPG hask2)
961− FromPG (hask1, hask2, hask3) =
962− Join (FromPG hask1) (FromPG (hask2, hask3))
963− FromPG (hask1, hask2, hask3, hask4) =
964− Join (FromPG hask1) (FromPG (hask2, hask3, hask4))
965− FromPG (hask1, hask2, hask3, hask4, hask5) =
966− Join (FromPG hask1) (FromPG (hask2, hask3, hask4, hask5))
967− FromPG (P (col ::: hask)) = '[col ::: RowPG hask]
968− FromPG hask = FromOf (RecordCodeOf hask)
970−type family FromOf (record :: [(Symbol, Type)]) :: FromType where
972− FromOf (tab ::: ty ': record) = tab ::: RowPG ty ': FromOf record