Skip to content

Commit

Permalink
Extend FromRow and ToRow out to tuples of size 18
Browse files Browse the repository at this point in the history
  • Loading branch information
@BardurArantsson
BardurArantsson committed Nov 8, 2017
1 parent df6ab5c commit b2d657d
Show file tree
Hide file tree
Showing 2 changed files with 195 additions and 0 deletions.
127 changes: 127 additions & 0 deletions src/Database/PostgreSQL/Simple/FromRow.hs
View file
Original file line number Diff line number Diff line change
Expand Up @@ -238,6 +238,133 @@ instance (FromField a, FromField b, FromField c, FromField d, FromField e,
null *> null *> null *> null *> null *> pure Nothing)
<|> (Just <$> fromRow)

instance (FromField a, FromField b, FromField c, FromField d, FromField e,
FromField f, FromField g, FromField h, FromField i, FromField j,
FromField k) =>
FromRow (a,b,c,d,e,f,g,h,i,j,k) where
fromRow = (,,,,,,,,,,) <$> field <*> field <*> field <*> field <*> field
<*> field <*> field <*> field <*> field <*> field
<*> field

instance (FromField a, FromField b, FromField c, FromField d, FromField e,
FromField f, FromField g, FromField h, FromField i, FromField j,
FromField k) =>
FromRow (Maybe (a,b,c,d,e,f,g,h,i,j,k)) where
fromRow = (null *> null *> null *> null *> null *>
null *> null *> null *> null *> null *>
null *> pure Nothing)
<|> (Just <$> fromRow)

instance (FromField a, FromField b, FromField c, FromField d, FromField e,
FromField f, FromField g, FromField h, FromField i, FromField j,
FromField k, FromField l) =>
FromRow (a,b,c,d,e,f,g,h,i,j,k,l) where
fromRow = (,,,,,,,,,,,) <$> field <*> field <*> field <*> field <*> field
<*> field <*> field <*> field <*> field <*> field
<*> field <*> field

instance (FromField a, FromField b, FromField c, FromField d, FromField e,
FromField f, FromField g, FromField h, FromField i, FromField j,
FromField k, FromField l) =>
FromRow (Maybe (a,b,c,d,e,f,g,h,i,j,k,l)) where
fromRow = (null *> null *> null *> null *> null *>
null *> null *> null *> null *> null *>
null *> null *> pure Nothing)
<|> (Just <$> fromRow)

instance (FromField a, FromField b, FromField c, FromField d, FromField e,
FromField f, FromField g, FromField h, FromField i, FromField j,
FromField k, FromField l, FromField m) =>
FromRow (a,b,c,d,e,f,g,h,i,j,k,l,m) where
fromRow = (,,,,,,,,,,,,) <$> field <*> field <*> field <*> field <*> field
<*> field <*> field <*> field <*> field <*> field
<*> field <*> field <*> field

instance (FromField a, FromField b, FromField c, FromField d, FromField e,
FromField f, FromField g, FromField h, FromField i, FromField j,
FromField k, FromField l, FromField m) =>
FromRow (Maybe (a,b,c,d,e,f,g,h,i,j,k,l,m)) where
fromRow = (null *> null *> null *> null *> null *>
null *> null *> null *> null *> null *>
null *> null *> null *> pure Nothing)
<|> (Just <$> fromRow)

instance (FromField a, FromField b, FromField c, FromField d, FromField e,
FromField f, FromField g, FromField h, FromField i, FromField j,
FromField k, FromField l, FromField m, FromField n) =>
FromRow (a,b,c,d,e,f,g,h,i,j,k,l,m,n) where
fromRow = (,,,,,,,,,,,,,) <$> field <*> field <*> field <*> field <*> field
<*> field <*> field <*> field <*> field <*> field
<*> field <*> field <*> field <*> field

instance (FromField a, FromField b, FromField c, FromField d, FromField e,
FromField f, FromField g, FromField h, FromField i, FromField j,
FromField k, FromField l, FromField m, FromField n) =>
FromRow (Maybe (a,b,c,d,e,f,g,h,i,j,k,l,m,n)) where
fromRow = (null *> null *> null *> null *> null *>
null *> null *> null *> null *> null *>
null *> null *> null *> null *> pure Nothing)
<|> (Just <$> fromRow)

instance (FromField a, FromField b, FromField c, FromField d, FromField e,
FromField f, FromField g, FromField h, FromField i, FromField j,
FromField k, FromField l, FromField m, FromField n, FromField o) =>
FromRow (a,b,c,d,e,f,g,h,i,j,k,l,m,n,o) where
fromRow = (,,,,,,,,,,,,,,) <$> field <*> field <*> field <*> field <*> field
<*> field <*> field <*> field <*> field <*> field
<*> field <*> field <*> field <*> field <*> field

instance (FromField a, FromField b, FromField c, FromField d, FromField e,
FromField f, FromField g, FromField h, FromField i, FromField j,
FromField k, FromField l, FromField m, FromField n, FromField o) =>
FromRow (Maybe (a,b,c,d,e,f,g,h,i,j,k,l,m,n,o)) where
fromRow = (null *> null *> null *> null *> null *>
null *> null *> null *> null *> null *>
null *> null *> null *> null *> null *> pure Nothing)
<|> (Just <$> fromRow)

instance (FromField a, FromField b, FromField c, FromField d, FromField e,
FromField f, FromField g, FromField h, FromField i, FromField j,
FromField k, FromField l, FromField m, FromField n, FromField o,
FromField p) =>
FromRow (a,b,c,d,e,f,g,h,i,j,k,l,m,n,o,p) where
fromRow = (,,,,,,,,,,,,,,,) <$> field <*> field <*> field <*> field <*> field
<*> field <*> field <*> field <*> field <*> field
<*> field <*> field <*> field <*> field <*> field
<*> field

instance (FromField a, FromField b, FromField c, FromField d, FromField e,
FromField f, FromField g, FromField h, FromField i, FromField j,
FromField k, FromField l, FromField m, FromField n, FromField o,
FromField p) =>
FromRow (Maybe (a,b,c,d,e,f,g,h,i,j,k,l,m,n,o,p)) where
fromRow = (null *> null *> null *> null *> null *>
null *> null *> null *> null *> null *>
null *> null *> null *> null *> null *>
null *> pure Nothing)
<|> (Just <$> fromRow)

instance (FromField a, FromField b, FromField c, FromField d, FromField e,
FromField f, FromField g, FromField h, FromField i, FromField j,
FromField k, FromField l, FromField m, FromField n, FromField o,
FromField p, FromField q, FromField r) =>
FromRow (a,b,c,d,e,f,g,h,i,j,k,l,m,n,o,p,q,r) where
fromRow = (,,,,,,,,,,,,,,,,,) <$> field <*> field <*> field <*> field <*> field
<*> field <*> field <*> field <*> field <*> field
<*> field <*> field <*> field <*> field <*> field
<*> field <*> field <*> field

instance (FromField a, FromField b, FromField c, FromField d, FromField e,
FromField f, FromField g, FromField h, FromField i, FromField j,
FromField k, FromField l, FromField m, FromField n, FromField o,
FromField p, FromField q, FromField q, FromField r) =>
FromRow (Maybe (a,b,c,d,e,f,g,h,i,j,k,l,m,n,o,p,q,r)) where
fromRow = (null *> null *> null *> null *> null *>
null *> null *> null *> null *> null *>
null *> null *> null *> null *> null *>
null *> null *> null *> pure Nothing)
<|> (Just <$> fromRow)

instance FromField a => FromRow [a] where
fromRow = do
n <- numFieldsRemaining
Expand Down
68 changes: 68 additions & 0 deletions src/Database/PostgreSQL/Simple/ToRow.hs
View file
Original file line number Diff line number Diff line change
Expand Up @@ -89,6 +89,74 @@ instance (ToField a, ToField b, ToField c, ToField d, ToField e, ToField f,
[toField a, toField b, toField c, toField d, toField e, toField f,
toField g, toField h, toField i, toField j]

instance (ToField a, ToField b, ToField c, ToField d, ToField e, ToField f,
ToField g, ToField h, ToField i, ToField j, ToField k)
=> ToRow (a,b,c,d,e,f,g,h,i,j,k) where
toRow (a,b,c,d,e,f,g,h,i,j,k) =
[toField a, toField b, toField c, toField d, toField e, toField f,
toField g, toField h, toField i, toField j, toField k]

instance (ToField a, ToField b, ToField c, ToField d, ToField e, ToField f,
ToField g, ToField h, ToField i, ToField j, ToField k, ToField l)
=> ToRow (a,b,c,d,e,f,g,h,i,j,k,l) where
toRow (a,b,c,d,e,f,g,h,i,j,k,l) =
[toField a, toField b, toField c, toField d, toField e, toField f,
toField g, toField h, toField i, toField j, toField k, toField l]

instance (ToField a, ToField b, ToField c, ToField d, ToField e, ToField f,
ToField g, ToField h, ToField i, ToField j, ToField k, ToField l,
ToField m)
=> ToRow (a,b,c,d,e,f,g,h,i,j,k,l,m) where
toRow (a,b,c,d,e,f,g,h,i,j,k,l,m) =
[toField a, toField b, toField c, toField d, toField e, toField f,
toField g, toField h, toField i, toField j, toField k, toField l,
toField m]

instance (ToField a, ToField b, ToField c, ToField d, ToField e, ToField f,
ToField g, ToField h, ToField i, ToField j, ToField k, ToField l,
ToField m, ToField n)
=> ToRow (a,b,c,d,e,f,g,h,i,j,k,l,m,n) where
toRow (a,b,c,d,e,f,g,h,i,j,k,l,m,n) =
[toField a, toField b, toField c, toField d, toField e, toField f,
toField g, toField h, toField i, toField j, toField k, toField l,
toField m, toField n]

instance (ToField a, ToField b, ToField c, ToField d, ToField e, ToField f,
ToField g, ToField h, ToField i, ToField j, ToField k, ToField l,
ToField m, ToField n, ToField o)
=> ToRow (a,b,c,d,e,f,g,h,i,j,k,l,m,n,o) where
toRow (a,b,c,d,e,f,g,h,i,j,k,l,m,n,o) =
[toField a, toField b, toField c, toField d, toField e, toField f,
toField g, toField h, toField i, toField j, toField k, toField l,
toField m, toField n, toField o]

instance (ToField a, ToField b, ToField c, ToField d, ToField e, ToField f,
ToField g, ToField h, ToField i, ToField j, ToField k, ToField l,
ToField m, ToField n, ToField o, ToField p)
=> ToRow (a,b,c,d,e,f,g,h,i,j,k,l,m,n,o,p) where
toRow (a,b,c,d,e,f,g,h,i,j,k,l,m,n,o,p) =
[toField a, toField b, toField c, toField d, toField e, toField f,
toField g, toField h, toField i, toField j, toField k, toField l,
toField m, toField n, toField o, toField p]

instance (ToField a, ToField b, ToField c, ToField d, ToField e, ToField f,
ToField g, ToField h, ToField i, ToField j, ToField k, ToField l,
ToField m, ToField n, ToField o, ToField p, ToField q)
=> ToRow (a,b,c,d,e,f,g,h,i,j,k,l,m,n,o,p,q) where
toRow (a,b,c,d,e,f,g,h,i,j,k,l,m,n,o,p,q) =
[toField a, toField b, toField c, toField d, toField e, toField f,
toField g, toField h, toField i, toField j, toField k, toField l,
toField m, toField n, toField o, toField p, toField q]

instance (ToField a, ToField b, ToField c, ToField d, ToField e, ToField f,
ToField g, ToField h, ToField i, ToField j, ToField k, ToField l,
ToField m, ToField n, ToField o, ToField p, ToField q, ToField r)
=> ToRow (a,b,c,d,e,f,g,h,i,j,k,l,m,n,o,p,q,r) where
toRow (a,b,c,d,e,f,g,h,i,j,k,l,m,n,o,p,q,r) =
[toField a, toField b, toField c, toField d, toField e, toField f,
toField g, toField h, toField i, toField j, toField k, toField l,
toField m, toField n, toField o, toField p, toField q, toField r]

instance (ToField a) => ToRow [a] where
toRow = map toField

Expand Down

0 comments on commit b2d657d

Please sign in to comment.