i'v got no solution from Haskell-beginners...
perheaps is there some expert here?
-------- Message transféré --------
Sujet : [Haskell-beginners] monad and variable result
Date : Mon, 10 Dec 2018 11:32:23 +0100
De : Damien Mattei
Répondre à : The Haskell-Beginners Mailing List - Discussion of
primarily beginner-level topics related to Haskell
Pour : The Haskell-Beginners Mailing List - Discussion of primarily
beginner-level topics related to Haskell
have some code that works but want to put it in a simple function
without sucess:
getBD :: Connection -> String -> Float
getBD conn name = noBDfp
where qry_head = "select `N° BD` from sidonie.Coordonnées where Nom =
?" :: Query
bd_rows = do
local_bd_rows <- query conn qry_head (Only (name::String))
return local_bd_rows
i want the variable local_bd_rows accessible in the 'where' clause
how can i do that?
note the goal is to do the same thing of my main function that works :
main :: IO ()
--main :: Int
main =
do
conn <- connect defaultConnectInfo
{ connectHost = "moita",
connectUser = "mattei",
connectPassword = "******",
connectDatabase = "sidonie" }
-- we get all the Double Stars that have angular distance superior to a
threshold of 1 second = 0.000278 degree
rows <- query_ conn "SELECT Nom,distance FROM AngularDistance WHERE
distance > 0.000278"
forM_ rows $ \(name,distance) ->
putStrLn $ Text.unpack name ++ " " ++ show (distance :: Double)
-- we will get the Durchmusterung Number BD from Sidonie and WDS and
compare them for a given name
-- Warning: there could be multiple result in WDS for a given entry name
(due to components)
-- first we get the N°BD from sidonie
let name = "A 20"
-- let qry = "select `N° BD` from Coordonnées where Nom = " ++ name
let qry_head = "select `N° BD` from sidonie.Coordonnées where Nom =
?" :: Query
-- bd_rows <- query_ conn "select `N° BD` from sidonie.Coordonnées
where Nom = 'A 20'"
bd_rows <- query conn qry_head (Only (name::String))
putStrLn $ show bd_rows
putStrLn $ show name
let resLst = Prelude.map fromOnly bd_rows
let noBDtxt = fromOnly (Prelude.head bd_rows) :: Text
-- let noBD2 = _ (Prelude.head bd_rows)
putStrLn $ show resLst
putStrLn $ show noBDtxt
forM_ bd_rows $ \(Only a) ->
putStrLn $ Text.unpack a
let noBDstr = Text.unpack noBDtxt :: String
let noBDfp = read $ noBDstr :: Float
putStr "noBDfp ="
(putStrLn (show noBDfp))
close conn
print "Exit."
for now i have errors in the function:
Prelude> :load UpdateSidonie
[1 of 1] Compiling Main ( UpdateSidonie.hs, interpreted )
UpdateSidonie.hs:47:28: error:
• Ambiguous type variable ‘r0’ arising from a use of ‘query’
prevents the constraint ‘(QueryResults r0)’ from being solved.
Relevant bindings include
bd_rows :: IO [r0] (bound at UpdateSidonie.hs:46:9)
Probable fix: use a type annotation to specify what ‘r0’ should be.
These potential instances exist:
instance Result a => QueryResults (Only a)
-- Defined in ‘Database.MySQL.Simple.QueryResults’
instance (Result a, Result b) => QueryResults (a, b)
-- Defined in ‘Database.MySQL.Simple.QueryResults’
instance (Result a, Result b, Result c) => QueryResults (a, b, c)
-- Defined in ‘Database.MySQL.Simple.QueryResults’
...plus 21 others
(use -fprint-potential-instances to see them all)
• In a stmt of a 'do' block:
local_bd_rows <- query conn qry_head (Only (name :: String))
In the expression:
do local_bd_rows <- query conn qry_head (Only (name :: String))
return local_bd_rows
In an equation for ‘bd_rows’:
bd_rows
= do local_bd_rows <- query conn qry_head (Only (name ::
String))
return local_bd_rows
|
47 | local_bd_rows <- query conn qry_head (Only (name::String))
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Failed, no modules loaded.
--
Damien.Mattei@unice.fr, Damien.Mattei@oca.eu, UNS / OCA / CNRS
_______________________________________________
Beginners mailing list
Beginners@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners
