The issue is that the Haskell's Text type only supports conversions from PostgreSQL's text, char, varchar, and a few other types. So this is why converting to Text first doesn't work. What you really want to do is something like the code that follows. I'll admit that your code is shorter and cleaner; perhaps there is a sensible way to change the FromField interface to make it (or something like it) work. I'm certainly not satisfied with the FromField/FromRow interface yet, but I haven't really worked on ways to improve it further. It'd be nice to develop a corpus of use cases that we want to cover. Best, Leon data X = X Float | Y Float buildX :: B.ByteString -> OK (Float -> X) buildX "x" = pure X buildX "y" = pure Y buildX val = returnError ConversionFailed (ellipsis val) ellipsis :: B.ByteString -> String ellipsis x | B.length x > 25 = take 20 (B.unpack x) ++ "[...]" | otherwise = B.unpack x instance FromField (Float -> X) where fromField f mv | typename f == "x" = case mv of Nothing -> returnError UnexpectedNull "some possibly more informative messgage" Just v -> buildX v | otherwise = returnError TypesIncompatible "some possibly more informative message" instance FromRow X where fromRow = field <*> (field :: RowParser Float) On Sat, Jun 16, 2012 at 3:02 PM, Luke Hoersten wrote:

I'm trying to use postgresql enum types to represent Haskell types like in the code snippet below but an receiving the following error:

"Incompatible {errSQLType = "x", errHaskellType = "Text", errMessage = "types incompatible"}"

In other areas of my code (not shown) I'm successfully using Text to convert to and from Postgersql enum types but it doesn't seem to work in the case below. Any ideas what I'm doing wrong?

Thanks, Luke

import Database.PostgreSQL.Simple.FromField (FromField, fromField)import Database.PostgreSQL.Simple.FromRow (FromRow, field, fromRow)import Database.PostgreSQL.Simple.SqlQQ (sql)

data X = X Float | Y Float

buildX :: Text -> Float -> XbuildX "x" = XbuildX "y" = Y

instance FromField (Float -> X) where fromField f v = buildX <$> fromField f v

instance FromRow X where fromRow = field <*> (field :: RowParser Float)

_______________________________________________ database-devel mailing list database-devel@haskell.org http://www.haskell.org/mailman/listinfo/database-devel