@@ -208,7 +208,6 @@ module Squeal.PostgreSQL.Binary
208208 , TuplePG
209209 , RowPG
210210 , LabelsPG
211− , FromPG
212211 -- * Storage newtypes
213212 , Money (..)
214213 , Json (..)
@@ -955,18 +954,3 @@ type family ConstructorNamesOf (constructors :: [Type.ConstructorInfo])
955954 ConstructorNamesOf '[] = '[]
956955 ConstructorNamesOf (constructor ': constructors) =
957956 ConstructorNameOf constructor ': ConstructorNamesOf constructors
958−
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)
969−
970−type family FromOf (record :: [(Symbol, Type)]) :: FromType where
971− FromOf '[] = '[]
972− FromOf (tab ::: ty ': record) = tab ::: RowPG ty ': FromOf record