<div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div class="gmail_default" style="font-size:large">i had filtered a  [Maybe Text] type to remove Nothing from the list and now i want to put the result in a  [Text] type but the compiler complains about the incompatible type :</div><div class="gmail_default" style="font-size:large"><br></div><div class="gmail_default" style="font-size:large"> (bd_rows_WDS :: [Only (Maybe Text)]) <- query conn qry_head_WDS (Only (name::String))</div><div class="gmail_default" style="font-size:large"><br></div><div class="gmail_default" style="font-size:large">-- remove the records having N°BD NULL<br>    let fltWDS :: [Only Text] = Prelude.filter (\(Only a) -><br>                                    case a of<br>                                      Nothing -> False<br>                                      Just a -> True)<br>                 bd_rows_WDS</div><div class="gmail_default" style="font-size:large"><br></div><div class="gmail_default" style="font-size:large">Prelude> :load UpdateSidonie<br>[1 of 1] Compiling Main             ( UpdateSidonie.hs, interpreted )<br><br>UpdateSidonie.hs:282:33: error:<br>    • Couldn't match type ‘Maybe Text’ with ‘Text’<br>      Expected type: [Only Text]<br>        Actual type: [Only (Maybe Text)]<br>    • In the expression:<br>        Prelude.filter<br>          (\ (Only a)<br>             -> case a of<br>                  Nothing -> False<br>                  Just a -> True)<br>          bd_rows_WDS<br>      In a pattern binding:<br>        fltWDS :: [Only Text]<br>          = Prelude.filter<br>              (\ (Only a)<br>                 -> case a of<br>                      Nothing -> False<br>                      Just a -> True)<br>              bd_rows_WDS<br>      In the expression:<br>        do conn <- connect<br>                     defaultConnectInfo<br>                       {connectHost = "moita", connectUser = "mattei",<br>                        connectPassword = "sidonie2", connectDatabase = "sidonie"}<br>           (rows :: [(Text, Double)]) <- query_<br>                                           conn<br>                                           "SELECT Nom,distance FROM AngularDistance WHERE distance > 0.000278"<br>           (names :: [Only Text]) <- query_<br>                                       conn<br>                                       "SELECT Nom FROM AngularDistance WHERE distance > 0.000278"<br>           let resLstNames = Prelude.map fromOnly names<br>           ....<br>    |<br>282 |     let fltWDS :: [Only Text] = Prelude.filter (\(Only a) -><br>    |                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^...<br>Failed, no modules loaded.<br></div><div class="gmail_default" style="font-size:large"><br></div><div class="gmail_default" style="font-size:large">how can id do the type conversion,now i'm sure there is no more Nothing values?<br></div></div></div></div></div>