on dev help sign in
remove FromPG
e8344b0Eitan Chatav
squeal-postgresql/src/Squeal/PostgreSQL/Binary.hs−16
@@ -208,7 +208,6 @@ module Squeal.PostgreSQL.Binary
208 , TuplePG
208 , TuplePG
209 , RowPG
209 , RowPG
210 , LabelsPG
210 , LabelsPG
211− , FromPG
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
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
squeal-postgresql/src/Squeal/PostgreSQL/Query.hs−4
@@ -879,10 +879,6 @@ jsonbToRecordSet = unsafeRecordFunction "jsonb_to_record_set"
879FROM clauses
879FROM clauses
880-----------------------------------------}
880-----------------------------------------}
881
881
882−type family FromClause_ schemas params from where
883− FromClause_ schemas params from =
884− FromClause schemas (TuplePG params) (FromPG from)
885−
886{- |
882{- |
887A `FromClause` can be a table name, or a derived table such
883A `FromClause` can be a table name, or a derived table such
888as a subquery, a @JOIN@ construct, or complex combinations of these.
884as a subquery, a @JOIN@ construct, or complex combinations of these.