March 2011 - Beginners

Re: [Haskell-beginners] [Haskell-cafe] working off a Yesod example file, need help lifting values from one monad into another. (and probably other things too).
by Michael Litchard 28 Mar '11

28 Mar '11

I just noticed those. I think that came from hpaste. The first mail was a cut and paste from a post I made there. When I went to look at your reply, I had the very same question as you. On Mon, Mar 28, 2011 at 7:51 PM, Luke Palmer <lrpalmer(a)gmail.com> wrote: > On Mon, Mar 28, 2011 at 6:28 PM, Michael Litchard <michael(a)schmong.org> > wrote: >> >> 1 >> 2 >> 3 >> 4 >> 5 >> 6 >> 7 >> 8 >> 9 >> 10 >> 11 >> 12 >> 13 >> 14 >> 15 >> 16 >> 17 >> 18 >> 19 >> 20 >> 21 >> 22 >> 23 >> 24 >> 25 >> 26 >> 27 >> 28 >> 29 >> 30 >> 31 >> 32 >> 33 >> 34 >> 35 >> 36 >> 37 >> 38 >> 39 >> 40 >> 41 >> 42 >> 43 >> 44 >> 45 >> 46 >> 47 >> 48 >> 49 >> 50 >> 51 >> 52 >> 53 >> 54 >> 55 >> 56 >> 57 >> 58 >> 59 >> 60 >> 61 >> 62 >> 63 >> 64 >> 65 >> 66 >> 67 >> 68 >> 69 >> 70 >> 71 >> 72 >> 73 >> 74 >> 75 >> 76 >> 77 >> 78 >> 79 >> 80 >> 81 >> 82 >> 83 >> 84 >> 85 >> 86 >> 87 >> 88 >> 89 >> 90 >> 91 >> 92 >> 93 >> 94 >> 95 >> 96 >> 97 >> 98 >> 99 >> 100 >> 101 >> 102 >> 103 >> 104 >> 105 >> 106 >> 107 >> 108 >> 109 >> 110 >> 111 >> 112 >> 113 >> 114 >> 115 >> 116 >> 117 >> 118 >> 119 >> 120 >> 121 >> 122 >> 123 >> 124 >> 125 >> 126 >> 127 >> 128 >> 129 >> 130 >> 131 >> 132 >> 133 >> 134 >> 135 >> 136 >> 137 >> 138 >> 139 >> 140 >> 141 >> 142 >> 143 >> 144 >> 145 >> 146 >> 147 >> 148 >> 149 >> 150 >> 151 >> 152 >> 153 >> 154 >> 155 >> 156 >> 157 >> 158 >> 159 >> 160 >> 161 >> 162 >> 163 >> 164 >> 165 >> 166 >> 167 >> 168 >> 169 >> 170 >> 171 >> 172 >> 173 >> 174 >> 175 >> 176 >> 177 >> 178 >> 179 >> 180 >> 181 >> 182 >> 183 >> 184 >> 185 >> 186 >> 187 >> 188 >> 189 >> 190 >> 191 >> 192 >> 193 >> 194 >> 195 >> 196 >> 197 >> 198 >> 199 >> 200 >> 201 >> 202 >> 203 >> 204 >> 205 >> 206 >> 207 >> 208 >> 209 >> 210 >> 211 >> 212 >> 213 >> 214 >> 215 >> 216 >> 217 >> 218 >> 219 >> 220 >> 221 >> 222 >> 223 >> 224 >> 225 >> 226 >> 227 >> 228 >> 229 >> 230 >> 231 >> 232 >> 233 >> 234 >> 235 >> 236 >> 237 >> 238 >> 239 >> 240 >> 241 >> 242 >> 243 >> 244 >> 245 >> 246 >> 247 >> 248 >> 249 >> 250 >> 251 >> 252 >> 253 >> 254 >> 255 >> 256 >> 257 >> 258 >> 259 >> 260 >> 261 >> 262 >> 263 >> 264 >> 265 >> 266 >> 267 >> 268 >> 269 >> 270 >> 271 >> 272 >> 273 >> 274 >> 275 >> 276 >> 277 >> 278 >> 279 >> 280 >> 281 >> 282 >> 283 >> 284 >> 285 >> 286 >> 287 >> 288 >> 289 >> 290 >> 291 >> 292 >> 293 >> 294 >> 295 >> 296 >> 297 >> 298 >> 299 >> 300 >> 301 >> 302 >> 303 >> 304 >> 305 >> 306 >> 307 >> 308 >> 309 >> 310 >> 311 >> 312 >> 313 >> 314 >> 315 >> 316 >> 317 >> 318 >> 319 >> 320 >> 321 >> 322 >> 323 >> 324 >> 325 >> 326 >> 327 >> 328 >> 329 >> 330 >> 331 >> 332 >> 333 >> 334 >> 335 >> 336 >> 337 >> 338 >> 339 >> 340 >> 341 >> 342 >> 343 >> 344 >> 345 >> 346 >> 347 >> 348 >> 349 >> 350 >> 351 >> 352 >> 353 >> 354 >> 355 >> 356 >> 357 >> 358 >> 359 >> 360 >> 361 >> 362 >> 363 >> 364 >> 365 >> 366 >> 367 >> 368 > > Ready or not, here I come. > What is the purposes of these 368 numbers? > Luke > >> >> >> I'm working off of a example file from Yesod, ajax.lhs >> I've made an important change in types, and this has resulted in >> having to make the old code conform to the change. I will point out >> the specifics, then present my question. In the event I failed to >> include important information, I will paste in my code as well as the >> prototype. >> >> [Original] >> >> > getHomeR :: Handler () >> > getHomeR = do >> > Ajax pages _ <- getYesod >> > let first = head pages >> > redirect RedirectTemporary $ PageR $ pageSlug first >> >> [Changed] >> >> > getHomeR :: Handler () >> > getHomeR = do >> > Tframe pages _ <- getYesod >> > let first = head pages >> > redirect RedirectTemporary $ PageR $ pageSlug first >> >> Error Message >> >> test.lhs:62:4: >> Constructor `Tframe' should have 2 arguments, but has been given 1 >> In the pattern: Tframe pages >> In a stmt of a 'do' expression: Tframe pages <- getYesod **** >> This is not what I wrote ***** >> In the expression: >> do { Tframe pages <- getYesod; >> content <- widgetToPageContent widget; >> hamletToRepHtml >> (hamlet-0.7.1:Text.Hamlet.Quasi.toHamletValue >> (do { (hamlet-0.7.1:Text.Hamlet.Quasi.htmlToHamletMonad >> . preEscapedString) >> "<!DOCTYPE html><html><head><title>"; >> (hamlet-0.7.1:Text.Hamlet.Quasi.htmlToHamletMonad >> . Text.Blaze.toHtml) >> (Main.pageTitle content); >> .... })) } >> >> As far as I can tell, I only made a cosmetic change. I don't know >> what's going on here. >> >> >> >> [Original] >> >> > data Page = Page >> > { pageName :: String >> > , pageSlug :: String >> > , pageContent :: String ******** I'm going to change this >> > ********** >> > } >> >> [Changed] >> >> > data Page = Page >> > { pageTitle :: String >> > , pageSlug :: String -- ^ used in the URL >> > , pageContent :: IO String ******** This is the change >> > ******* >> > } >> >> >> Here's where I run into trouble >> >> [Original] >> > json page = jsonMap >> > [ ("name", jsonScalar $ pageName page) >> > , ("content", jsonScalar $ pageContent page) ******** I'm going >> > to change this ******** >> > ] >> >> >> >> [My changes] >> >> > json page = jsonMap >> > [ ("name", jsonScalar $ Main.pageTitle page) >> > , ("content", jsonScalar $ liftIO $ pageContent page) ******* This >> > is the change *********** >> > ] >> >> >> Here's the compiler error >> >> test.lhs:107:35: >> Couldn't match expected type `Char' against inferred type `[Char]' >> Expected type: String >> Inferred type: [String] >> In the second argument of `($)', namely `liftIO $ pageContent page' >> In the expression: jsonScalar $ liftIO $ pageContent page >> Failed, modules loaded: none. >> >> >> I'd appreciate a discussion about why this is wrong, and perhaps clues >> as to what is right. >> >> >> Last problem, stemming from the change in type to IO String. I don't >> have a clue as to what change I should make. >> >> test.lhs:100:25: >> No instance for (Text.Blaze.ToHtml (IO String)) >> arising from a use of `Text.Blaze.toHtml' >> at test.lhs:(100,25)-(103,3) >> Possible fix: >> add an instance declaration for (Text.Blaze.ToHtml (IO String)) >> In the second argument of `(.)', namely `Text.Blaze.toHtml' >> In a stmt of a 'do' expression: >> (hamlet-0.7.1:Text.Hamlet.Quasi.htmlToHamletMonad >> . Text.Blaze.toHtml) >> (pageContent page) >> In the first argument of >> `hamlet-0.7.1:Text.Hamlet.Quasi.toHamletValue', nam >> >> ely >> `do { (hamlet-0.7.1:Text.Hamlet.Quasi.htmlToHamletMonad >> . preEscapedString) >> "<h1>"; >> (hamlet-0.7.1:Text.Hamlet.Quasi.htmlToHamletMonad >> . Text.Blaze.toHtml) >> (Main.pageTitle page); >> (hamlet-0.7.1:Text.Hamlet.Quasi.htmlToHamletMonad >> . preEscapedString) >> "</h1><article>"; >> (hamlet-0.7.1:Text.Hamlet.Quasi.htmlToHamletMonad >> . Text.Blaze.toHtml) >> (pageContent page); >> .... }' >> >> >> >> And finally, both files can be found below, if it is necessary to look at >> them. >> >> >> [Original] >> >> <p>We're going to write a very simple AJAX application. It will be a >> simple site with a few pages and a navbar; when you have Javascript, >> clicking on the links will load the pages via AJAX. Otherwise, it will >> use static HTML.</p> >> >> <p>We're going to use jQuery for the Javascript, though anything would >> work just fine. Also, the AJAX responses will be served as JSON. Let's >> get started.</p> >> >> > {-# LANGUAGE ScopedTypeVariables, TypeFamilies, QuasiQuotes, >> > TemplateHaskell, MultiParamTypeClasses #-} >> > import Yesod >> > import Yesod.Helpers.Static >> > import Data.Monoid (mempty) >> >> Like the blog example, we'll define some data first. >> >> > data Page = Page >> > { pageName :: String >> > , pageSlug :: String >> > , pageContent :: String >> > } >> >> > loadPages :: IO [Page] >> > loadPages = return >> > [ Page "Page 1" "page-1" "My first page" >> > , Page "Page 2" "page-2" "My second page" >> > , Page "Page 3" "page-3" "My third page" >> > ] >> >> loadPages :: IO [Page] >> loadPages = do >> >> > >> > data Ajax = Ajax >> > { ajaxPages :: [Page] >> > , ajaxStatic :: Static >> > } >> > type Handler = GHandler Ajax Ajax >> >> Next we'll generate a function for each file in our static folder. >> This way, we get a compiler warning when trying to using a file which >> does not exist. >> >> > staticFiles "static/yesod/ajax" >> >> Now the routes; we'll have a homepage, a pattern for the pages, and >> use a static subsite for the Javascript and CSS files. >> >> > mkYesod "Ajax" [$parseRoutes| >> > / HomeR GET >> > /page/#String PageR GET >> > /static StaticR Static ajaxStatic >> > |] >> >> <p>That third line there is the syntax for a subsite: Static is the >> datatype for the subsite argument; siteStatic returns the site itself >> (parse, render and dispatch functions); and ajaxStatic gets the >> subsite argument from the master argument.</p> >> >> <p>Now, we'll define the Yesod instance. We'll still use a dummy >> approot value, but we're also going to define a default layout.</p> >> >> > instance Yesod Ajax where >> > approot _ = "" >> > defaultLayout widget = do >> > Ajax pages _ <- getYesod >> > content <- widgetToPageContent widget >> > hamletToRepHtml [$hamlet| >> > \<!DOCTYPE html> >> > >> > <html> >> > <head> >> > <title>#{pageTitle content} >> > <link rel="stylesheet" href="@{StaticR style_css}"> >> > <script >> > src="http://ajax.googleapis.com/ajax/libs/jquery/1.4.2/jquery.min.js"> >> > <script src="@{StaticR script_js}"> >> > \^{pageHead content} >> > <body> >> > <ul id="navbar"> >> > $forall page <- pages >> > <li> >> > <a href="@{PageR (pageSlug page)}">#{pageName page} >> > <div id="content"> >> > \^{pageBody content} >> > |] >> >> <p>The Hamlet template refers to style_css and style_js; these were >> generated by the call to staticFiles above. There's nothing >> Yesod-specific about the <a >> href="/static/yesod/ajax/style.css">style.css</a> and <a >> href="/static/yesod/ajax/script.js">script.js</a> files, so I won't >> describe them here.</p> >> >> <p>Now we need our handler functions. We'll have the homepage simply >> redirect to the first page, so:</p> >> >> > getHomeR :: Handler () >> > getHomeR = do >> > Ajax pages _ <- getYesod >> > let first = head pages >> > redirect RedirectTemporary $ PageR $ pageSlug first >> >> And now the cool part: a handler that returns either HTML or JSON >> data, depending on the request headers. >> >> > getPageR :: String -> Handler RepHtmlJson >> > getPageR slug = do >> > Ajax pages _ <- getYesod >> > case filter (\e -> pageSlug e == slug) pages of >> > [] -> notFound >> > page:_ -> defaultLayoutJson (do >> > setTitle $ string $ pageName page >> > addHamlet $ html page >> > ) (json page) >> > where >> > html page = [$hamlet| >> > <h1>#{pageName page} >> > <article>#{pageContent page} >> > |] >> > json page = jsonMap >> > [ ("name", jsonScalar $ pageName page) >> > , ("content", jsonScalar $ pageContent page) >> > ] >> >> <p>We first try and find the appropriate Page, returning a 404 if it's >> not there. We then use the applyLayoutJson function, which is really >> the heart of this example. It allows you an easy way to create >> responses that will be either HTML or JSON, and which use the default >> layout in the HTML responses. It takes four arguments: 1) the title of >> the HTML page, 2) some value, 3) a function from that value to a >> Hamlet value, and 4) a function from that value to a Json value.</p> >> >> <p>Under the scenes, the Json monad is really just using the Hamlet >> monad, so it gets all of the benefits thereof, namely interleaved IO >> and enumerator output. It is pretty straight-forward to generate JSON >> output by using the three functions jsonMap, jsonList and jsonMap. One >> thing to note: the input to jsonScalar must be HtmlContent; this helps >> avoid cross-site scripting attacks, by ensuring that any HTML entities >> will be escaped.</p> >> >> <p>And now our typical main function. We need two parameters to build >> our Ajax value: the pages, and the static loader. We'll load up from a >> local directory.</p> >> >> > main :: IO () >> > main = do >> > >> > pages <- loadPages >> > let s = static "static/yesod/ajax" >> > warpDebug 3000 $ Ajax pages s >> >> >> [My changes] >> > {-# LANGUAGE TypeFamilies, QuasiQuotes, TemplateHaskell, >> > MultiParamTypeClasses >> > #-} >> > import Yesod >> > import Yesod.Helpers.Static >> > import System.Environment >> > import System.IO >> > import System.Directory >> > import System.FilePath.Posix >> > import Control.Applicative >> > import Data.List.Split >> >> >> >> > data Page = Page >> > { pageTitle :: String >> > , pageSlug :: String -- ^ used in the URL >> > , pageContent :: IO String >> > } >> >> >> >> > loadPage :: IO [Page] >> > loadPage = do >> > let directoryPath = "/home/mlitchard/playground/webTests/files" >> > let processedPath = map (directoryPath </>) . filter (`notElem` >> > [".",".."]) >> > pageFileNames <- processedPath <$> getDirectoryContents directoryPath >> > let pageFiles = map readFile pageFileNames >> > return $ zipWith popEntries pageFileNames pageFiles >> >> -- > return $ zipWith popEntries >> >> > popEntries :: FilePath -> IO String -> Page >> > popEntries pageFileName pageFile = >> > let pageT = last $ splitOn "/" pageFileName >> > pageS = "Job" ++ pageT >> > in Page { Main.pageTitle=pageT, >> > pageSlug=pageS, >> > pageContent=pageFile } >> >> > data Tframe = Tframe >> > { tframePages :: [Page] >> > , tframeStatic :: Static >> > } >> >> > type Handler = GHandler Tframe Tframe >> >> > staticFiles "static/yesod/ajax" >> >> Routes >> >> > mkYesod "Tframe" [$parseRoutes| >> > / HomeR GET >> > /page/#String PageR GET >> > /static StaticR Static tframeStatic >> > |] >> >> defining the Yesod instance >> >> > instance Yesod Tframe where >> > approot _ = "" >> > defaultLayout widget = do >> > Tframe pages <- getYesod >> > content <- widgetToPageContent widget >> > hamletToRepHtml [$hamlet| >> > \<!DOCTYPE html> >> > >> > <html> >> > <head> >> > <title>#{Main.pageTitle content} >> > <link rel="stylesheet" href="@{StaticR style_css}"> >> > <script >> > src="http://ajax.googleapis.com/ajax/libs/jquery/1.4.2/jquery.min.js"> >> > <script src="@{StaticR script_js}"> >> > \^{pageHead content} >> > <body> >> > <ul id="navbar"> >> > $forall page <- pages >> > <li> >> > <a href="@{PageR (pageSlug page)}">#{Main.pageTitle page} >> > <div id="content"> >> > \^{pageBody content} >> > |] >> >> >> > getHomeR :: Handler () >> > getHomeR = do >> > Tframe pages _ <- getYesod >> > let first = head pages >> > redirect RedirectTemporary $ PageR $ pageSlug first >> >> > getPageR :: String -> Handler RepHtmlJson >> > getPageR slug = do >> > Tframe pages _ <- getYesod >> > case filter (\e -> pageSlug e == slug) pages of >> > [] -> notFound >> > page:_ -> defaultLayoutJson (do >> > setTitle $ string $ Main.pageTitle page >> > addHamlet $ html page >> > ) (json page) >> > where >> > html page = [$hamlet| >> > <h1>#{Main.pageTitle page} >> > <article>#{pageContent page} >> > |] >> >> > json page = jsonMap >> > [ ("name", jsonScalar $ Main.pageTitle page) >> > , ("content", jsonScalar $ liftIO $ pageContent page) >> > ] >> >> > main :: IO () >> > main = do >> > >> > pages <- loadPage >> > let s = static "static/yesod/ajax" >> > warpDebug 3000 $ Tframe pages s >> >> >> If you've read to the bottom, thanks for your patience. I appreciate >> any illumination you can send my way. >> >> >> Michael >> >> _______________________________________________ >> Haskell-Cafe mailing list >> Haskell-Cafe(a)haskell.org >> http://www.haskell.org/mailman/listinfo/haskell-cafe > >

1 0

working off a Yesod example file, need help lifting values from one monad into another. (and probably other things too).
by Michael Litchard 28 Mar '11

28 Mar '11

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306 307 308 309 310 311 312 313 314 315 316 317 318 319 320 321 322 323 324 325 326 327 328 329 330 331 332 333 334 335 336 337 338 339 340 341 342 343 344 345 346 347 348 349 350 351 352 353 354 355 356 357 358 359 360 361 362 363 364 365 366 367 368 I'm working off of a example file from Yesod, ajax.lhs I've made an important change in types, and this has resulted in having to make the old code conform to the change. I will point out the specifics, then present my question. In the event I failed to include important information, I will paste in my code as well as the prototype. [Original] > getHomeR :: Handler () > getHomeR = do > Ajax pages _ <- getYesod > let first = head pages > redirect RedirectTemporary $ PageR $ pageSlug first [Changed] > getHomeR :: Handler () > getHomeR = do > Tframe pages _ <- getYesod > let first = head pages > redirect RedirectTemporary $ PageR $ pageSlug first Error Message test.lhs:62:4: Constructor `Tframe' should have 2 arguments, but has been given 1 In the pattern: Tframe pages In a stmt of a 'do' expression: Tframe pages <- getYesod **** This is not what I wrote ***** In the expression: do { Tframe pages <- getYesod; content <- widgetToPageContent widget; hamletToRepHtml (hamlet-0.7.1:Text.Hamlet.Quasi.toHamletValue (do { (hamlet-0.7.1:Text.Hamlet.Quasi.htmlToHamletMonad . preEscapedString) "<!DOCTYPE html><html><head><title>"; (hamlet-0.7.1:Text.Hamlet.Quasi.htmlToHamletMonad . Text.Blaze.toHtml) (Main.pageTitle content); .... })) } As far as I can tell, I only made a cosmetic change. I don't know what's going on here. [Original] > data Page = Page > { pageName :: String > , pageSlug :: String > , pageContent :: String ******** I'm going to change this ********** > } [Changed] > data Page = Page > { pageTitle :: String > , pageSlug :: String -- ^ used in the URL > , pageContent :: IO String ******** This is the change ******* > } Here's where I run into trouble [Original] > json page = jsonMap > [ ("name", jsonScalar $ pageName page) > , ("content", jsonScalar $ pageContent page) ******** I'm going to change this ******** > ] [My changes] > json page = jsonMap > [ ("name", jsonScalar $ Main.pageTitle page) > , ("content", jsonScalar $ liftIO $ pageContent page) ******* This is the change *********** > ] Here's the compiler error test.lhs:107:35: Couldn't match expected type `Char' against inferred type `[Char]' Expected type: String Inferred type: [String] In the second argument of `($)', namely `liftIO $ pageContent page' In the expression: jsonScalar $ liftIO $ pageContent page Failed, modules loaded: none. I'd appreciate a discussion about why this is wrong, and perhaps clues as to what is right. Last problem, stemming from the change in type to IO String. I don't have a clue as to what change I should make. test.lhs:100:25: No instance for (Text.Blaze.ToHtml (IO String)) arising from a use of `Text.Blaze.toHtml' at test.lhs:(100,25)-(103,3) Possible fix: add an instance declaration for (Text.Blaze.ToHtml (IO String)) In the second argument of `(.)', namely `Text.Blaze.toHtml' In a stmt of a 'do' expression: (hamlet-0.7.1:Text.Hamlet.Quasi.htmlToHamletMonad . Text.Blaze.toHtml) (pageContent page) In the first argument of `hamlet-0.7.1:Text.Hamlet.Quasi.toHamletValue', nam ely `do { (hamlet-0.7.1:Text.Hamlet.Quasi.htmlToHamletMonad . preEscapedString) "<h1>"; (hamlet-0.7.1:Text.Hamlet.Quasi.htmlToHamletMonad . Text.Blaze.toHtml) (Main.pageTitle page); (hamlet-0.7.1:Text.Hamlet.Quasi.htmlToHamletMonad . preEscapedString) "</h1><article>"; (hamlet-0.7.1:Text.Hamlet.Quasi.htmlToHamletMonad . Text.Blaze.toHtml) (pageContent page); .... }' And finally, both files can be found below, if it is necessary to look at them. [Original] <p>We're going to write a very simple AJAX application. It will be a simple site with a few pages and a navbar; when you have Javascript, clicking on the links will load the pages via AJAX. Otherwise, it will use static HTML.</p> <p>We're going to use jQuery for the Javascript, though anything would work just fine. Also, the AJAX responses will be served as JSON. Let's get started.</p> > {-# LANGUAGE ScopedTypeVariables, TypeFamilies, QuasiQuotes, TemplateHaskell, MultiParamTypeClasses #-} > import Yesod > import Yesod.Helpers.Static > import Data.Monoid (mempty) Like the blog example, we'll define some data first. > data Page = Page > { pageName :: String > , pageSlug :: String > , pageContent :: String > } > loadPages :: IO [Page] > loadPages = return > [ Page "Page 1" "page-1" "My first page" > , Page "Page 2" "page-2" "My second page" > , Page "Page 3" "page-3" "My third page" > ] loadPages :: IO [Page] loadPages = do > > data Ajax = Ajax > { ajaxPages :: [Page] > , ajaxStatic :: Static > } > type Handler = GHandler Ajax Ajax Next we'll generate a function for each file in our static folder. This way, we get a compiler warning when trying to using a file which does not exist. > staticFiles "static/yesod/ajax" Now the routes; we'll have a homepage, a pattern for the pages, and use a static subsite for the Javascript and CSS files. > mkYesod "Ajax" [$parseRoutes| > / HomeR GET > /page/#String PageR GET > /static StaticR Static ajaxStatic > |] <p>That third line there is the syntax for a subsite: Static is the datatype for the subsite argument; siteStatic returns the site itself (parse, render and dispatch functions); and ajaxStatic gets the subsite argument from the master argument.</p> <p>Now, we'll define the Yesod instance. We'll still use a dummy approot value, but we're also going to define a default layout.</p> > instance Yesod Ajax where > approot _ = "" > defaultLayout widget = do > Ajax pages _ <- getYesod > content <- widgetToPageContent widget > hamletToRepHtml [$hamlet| > \<!DOCTYPE html> > > <html> > <head> > <title>#{pageTitle content} > <link rel="stylesheet" href="@{StaticR style_css}"> > <script src="http://ajax.googleapis.com/ajax/libs/jquery/1.4.2/jquery.min.js"> > <script src="@{StaticR script_js}"> > \^{pageHead content} > <body> > <ul id="navbar"> > $forall page <- pages > <li> > <a href="@{PageR (pageSlug page)}">#{pageName page} > <div id="content"> > \^{pageBody content} > |] <p>The Hamlet template refers to style_css and style_js; these were generated by the call to staticFiles above. There's nothing Yesod-specific about the <a href="/static/yesod/ajax/style.css">style.css</a> and <a href="/static/yesod/ajax/script.js">script.js</a> files, so I won't describe them here.</p> <p>Now we need our handler functions. We'll have the homepage simply redirect to the first page, so:</p> > getHomeR :: Handler () > getHomeR = do > Ajax pages _ <- getYesod > let first = head pages > redirect RedirectTemporary $ PageR $ pageSlug first And now the cool part: a handler that returns either HTML or JSON data, depending on the request headers. > getPageR :: String -> Handler RepHtmlJson > getPageR slug = do > Ajax pages _ <- getYesod > case filter (\e -> pageSlug e == slug) pages of > [] -> notFound > page:_ -> defaultLayoutJson (do > setTitle $ string $ pageName page > addHamlet $ html page > ) (json page) > where > html page = [$hamlet| > <h1>#{pageName page} > <article>#{pageContent page} > |] > json page = jsonMap > [ ("name", jsonScalar $ pageName page) > , ("content", jsonScalar $ pageContent page) > ] <p>We first try and find the appropriate Page, returning a 404 if it's not there. We then use the applyLayoutJson function, which is really the heart of this example. It allows you an easy way to create responses that will be either HTML or JSON, and which use the default layout in the HTML responses. It takes four arguments: 1) the title of the HTML page, 2) some value, 3) a function from that value to a Hamlet value, and 4) a function from that value to a Json value.</p> <p>Under the scenes, the Json monad is really just using the Hamlet monad, so it gets all of the benefits thereof, namely interleaved IO and enumerator output. It is pretty straight-forward to generate JSON output by using the three functions jsonMap, jsonList and jsonMap. One thing to note: the input to jsonScalar must be HtmlContent; this helps avoid cross-site scripting attacks, by ensuring that any HTML entities will be escaped.</p> <p>And now our typical main function. We need two parameters to build our Ajax value: the pages, and the static loader. We'll load up from a local directory.</p> > main :: IO () > main = do > > pages <- loadPages > let s = static "static/yesod/ajax" > warpDebug 3000 $ Ajax pages s [My changes] > {-# LANGUAGE TypeFamilies, QuasiQuotes, TemplateHaskell, MultiParamTypeClasses > #-} > import Yesod > import Yesod.Helpers.Static > import System.Environment > import System.IO > import System.Directory > import System.FilePath.Posix > import Control.Applicative > import Data.List.Split > data Page = Page > { pageTitle :: String > , pageSlug :: String -- ^ used in the URL > , pageContent :: IO String > } > loadPage :: IO [Page] > loadPage = do > let directoryPath = "/home/mlitchard/playground/webTests/files" > let processedPath = map (directoryPath </>) . filter (`notElem` [".",".."]) > pageFileNames <- processedPath <$> getDirectoryContents directoryPath > let pageFiles = map readFile pageFileNames > return $ zipWith popEntries pageFileNames pageFiles -- > return $ zipWith popEntries > popEntries :: FilePath -> IO String -> Page > popEntries pageFileName pageFile = > let pageT = last $ splitOn "/" pageFileName > pageS = "Job" ++ pageT > in Page { Main.pageTitle=pageT, > pageSlug=pageS, > pageContent=pageFile } > data Tframe = Tframe > { tframePages :: [Page] > , tframeStatic :: Static > } > type Handler = GHandler Tframe Tframe > staticFiles "static/yesod/ajax" Routes > mkYesod "Tframe" [$parseRoutes| > / HomeR GET > /page/#String PageR GET > /static StaticR Static tframeStatic > |] defining the Yesod instance > instance Yesod Tframe where > approot _ = "" > defaultLayout widget = do > Tframe pages <- getYesod > content <- widgetToPageContent widget > hamletToRepHtml [$hamlet| > \<!DOCTYPE html> > > <html> > <head> > <title>#{Main.pageTitle content} > <link rel="stylesheet" href="@{StaticR style_css}"> > <script src="http://ajax.googleapis.com/ajax/libs/jquery/1.4.2/jquery.min.js"> > <script src="@{StaticR script_js}"> > \^{pageHead content} > <body> > <ul id="navbar"> > $forall page <- pages > <li> > <a href="@{PageR (pageSlug page)}">#{Main.pageTitle page} > <div id="content"> > \^{pageBody content} > |] > getHomeR :: Handler () > getHomeR = do > Tframe pages _ <- getYesod > let first = head pages > redirect RedirectTemporary $ PageR $ pageSlug first > getPageR :: String -> Handler RepHtmlJson > getPageR slug = do > Tframe pages _ <- getYesod > case filter (\e -> pageSlug e == slug) pages of > [] -> notFound > page:_ -> defaultLayoutJson (do > setTitle $ string $ Main.pageTitle page > addHamlet $ html page > ) (json page) > where > html page = [$hamlet| > <h1>#{Main.pageTitle page} > <article>#{pageContent page} > |] > json page = jsonMap > [ ("name", jsonScalar $ Main.pageTitle page) > , ("content", jsonScalar $ liftIO $ pageContent page) > ] > main :: IO () > main = do > > pages <- loadPage > let s = static "static/yesod/ajax" > warpDebug 3000 $ Tframe pages s If you've read to the bottom, thanks for your patience. I appreciate any illumination you can send my way. Michael

1 0

scoped typed variable
by Rustom Mody 27 Mar '11

27 Mar '11

Reading the other thread on scoped typed variable I see in http://www.haskell.org/ghc/docs/7.0.2/html/users_guide/other-type-extension… forall a. ST s Bool I guess it is forall s. ST s Bool ?

2 1

Re: [Haskell-beginners] Cannot Install Yi - Haskell
by Sayth Renshaw 27 Mar '11

27 Mar '11

On Sun, Mar 27, 2011 at 10:12 AM, Daniel Fischer < daniel.is.fischer(a)googlemail.com> wrote: > On Saturday 26 March 2011 23:49:05, Sayth Renshaw wrote: > > > > I have found pkg-config http://pkg-config.freedesktop.org/wiki/ due to > > the sparse documentation though its not clear how to install or use it. > > Don't know if that's any easier to install: > http://ftp.gnome.org/pub/gnome/binaries/win32/dependencies/pkg- > config_0.25-1_win32.zip > > as linked by aditya siram in > http://www.haskell.org/pipermail/beginners/2011-January/006204.html > > > > > Maybe I got the wrong idea of this but I thought Yi aim was becoming the > > default haskell editor, sort of like the idle of python. > > That might be the aim, if it is, it's still not there. I don't see myself > switching from kate/kwrite anytime soon, others swear by emacs or vi(m). > Many use leksah or eclipseFP which seem to be decent IDEs. > > > If it isn't which is the best option for haskell, > > Depends on what type of coder you are. Maybe you should take a look at > leksah and eclipseFP if you're looking for something IDEish, or any text > editor with decent syntax highliting might do. > > > if it is should it really be this hard to install? > > Probably not. But Windows is different and most package authors have no > access to a Windows box, so installing stuff on Windows is often a pain, > unfortunately. > > However, you'll probably need pkg-config also for some other packages, so > it's worth some effort. > > > > > Sayth > First thanks for all the help. If there is no standard ide for haskell then I already use geany so I will use that and check out elipseFP as you suggested. Thanks Sayth

2 1

Re: [Haskell-beginners] Cannot Install Yi - Haskell
by Sayth Renshaw 26 Mar '11

26 Mar '11

On Sat, Mar 26, 2011 at 10:00 PM, <beginners-request(a)haskell.org> wrote: > Send Beginners mailing list submissions to > beginners(a)haskell.org > > To subscribe or unsubscribe via the World Wide Web, visit > http://www.haskell.org/mailman/listinfo/beginners > or, via email, send a message with subject or body 'help' to > beginners-request(a)haskell.org > > You can reach the person managing the list at > beginners-owner(a)haskell.org > > When replying, please edit your Subject line so it is more specific > than "Re: Contents of Beginners digest..." > > > Today's Topics: > > 1. Cannot Install Yi - Haskell 2011.02.0.0 (Sayth Renshaw) > 2. Re: Cannot Install Yi - Haskell 2011.02.0.0 (Jeff Wheeler) > 3. Re: Cannot Install Yi - Haskell 2011.02.0.0 (Sayth Renshaw) > > > ---------------------------------------------------------------------- > > Message: 1 > Date: Sat, 26 Mar 2011 18:59:52 +1100 > From: Sayth Renshaw <flebber.crue(a)gmail.com> > Subject: [Haskell-beginners] Cannot Install Yi - Haskell 2011.02.0.0 > To: beginners(a)haskell.org > Message-ID: > <AANLkTikKe=2acBD-mNaVPkX77WmfPOdF8Xxh9MEVpfia(a)mail.gmail.com> > Content-Type: text/plain; charset="iso-8859-1" > > Hi I am on Windows XP SP3. The unix chain fails to install and therefore i > cannot install Yi. > > This is how it is failing. Any ideas on how to get it working? > > Registering dyre-0.8.6... > Installing library in C:\Documents and Settings\renshaw\Application > Data\cabal\dyre-0.8.6\ghc-7.0.2 > Registering dyre-0.8.6... > cabal: Error: some packages failed to install: > terminfo-0.3.1.3 failed during the configure step. The exception was: > ExitFailure 1 > unix-2.4.2.0 failed during the configure step. The exception was: > ExitFailure 1 > vty-4.6.0.6 depends on unix-2.4.2.0 which failed to install. > yi-0.6.3.0 depends on unix-2.4.2.0 which failed to install. >

2 1

Cannot Install Yi - Haskell 2011.02.0.0
by Sayth Renshaw 26 Mar '11

26 Mar '11

Hi I am on Windows XP SP3. The unix chain fails to install and therefore i cannot install Yi. This is how it is failing. Any ideas on how to get it working? Registering dyre-0.8.6... Installing library in C:\Documents and Settings\renshaw\Application Data\cabal\dyre-0.8.6\ghc-7.0.2 Registering dyre-0.8.6... cabal: Error: some packages failed to install: terminfo-0.3.1.3 failed during the configure step. The exception was: ExitFailure 1 unix-2.4.2.0 failed during the configure step. The exception was: ExitFailure 1 vty-4.6.0.6 depends on unix-2.4.2.0 which failed to install. yi-0.6.3.0 depends on unix-2.4.2.0 which failed to install.

3 3

how to feel free of the Implementation of Data structure
by 吴兴博 25 Mar '11

25 Mar '11

1. To use the Data.List is so easy as it's in the 'prelude'. but when I want to get some elements by index, I need to use Array, or sometime I want to use ByteString for some good reason. We all know It's some 'linear ordered things'. Is there some method for me to use just one form of 'list' with every possible function on it. 2. f1 :: (Integral a) => a -> String f2 :: (Integral a) => String -> a pipe = f1 . f2 It is clear that pipe is String -> String, but.(1)How can I know what instance that 'a' is. (2)How can I determine what instance of 'a' is. -- ---------------- 吴兴博

4 4

:kind (->) - What do the question marks imply?
by Amitava Shee 24 Mar '11

24 Mar '11

Hello Haskell gurus, I am trying to understand "kind" Prelude> :k Maybe Maybe :: * -> * Prelude> :k (->) (->) :: ?? -> ? -> * What are the question marks? Why are they different from *? How is this related to rank-2 polymorphism? Thanks in advance, Regards, Amitava Shee

2 1

Exporting constructors
by Patrick LeBoutillier 24 Mar '11

24 Mar '11

Hi all, Is it possible to export constructors from a module in a way that they can be used for pattern matching but not for creating types? Patrick -- ===================== Patrick LeBoutillier Rosemère, Québec, Canada

3 2

cabal dependencies question
by Rob Nikander 23 Mar '11

23 Mar '11

Hi, I was unable to normally install the "mime" package -- I got an error that it needed "base <= 4". I have 4.3.1.0. So I ran `cabal unpack mime`, edited mime.cabal to say "base <= 4.3.1.0" and from that file's directory ran `cabal install'. It appeared to install it okay. But when I try to install another package that needs mime, I get the same kind of error: > cabal install http-server Resolving dependencies... cabal: cannot configure mime-0.3.2. It requires base >=3 && <=4 For the dependency on base >=3 && <=4 there are these packages: base-3.0.3.1 and base-3.0.3.2. However none of them are available. base-3.0.3.1 was excluded because base-4.3.1.0 was selected instead I'm wondering why it thinks the mime package wants base <= 4 when I just installed with a .cabal file that says base <= 4.3.1.0. ?? thanks, Rob

2 1