on dev help sign in
remove FromPG
commite8344b0ef71ce4cdcb67f23b4cab4c009e5ebbef authorEitan Chatav <eitan@Eitans-MacBook-Pro.local> dateTue 19 Mar 2019, 11:48 (8 years ago) parent582d0d7
2 files changed−20
squeal-postgresql/src/Squeal/PostgreSQL/Binary.hs−16 squeal-postgresql/src/Squeal/PostgreSQL/Query.hs−4
squeal-postgresql/src/Squeal/PostgreSQL/Binary.hs−16
@@ -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
squeal-postgresql/src/Squeal/PostgreSQL/Query.hs−4
@@ -879,10 +879,6 @@ jsonbToRecordSet = unsafeRecordFunction "jsonb_to_record_set"
879879FROM clauses
880880-----------------------------------------}
881881
882−type family FromClause_ schemas params from where
883− FromClause_ schemas params from =
884− FromClause schemas (TuplePG params) (FromPG from)
885−
886882{- |
887883A `FromClause` can be a table name, or a derived table such
888884as a subquery, a @JOIN@ construct, or complex combinations of these.