PTI891: Deklarative Programmierung

Size: px

Start display at page:

Download "PTI891: Deklarative Programmierung"

Abel Nicholson
8 years ago
Views:

1 PTI891: Deklarative Programmierung Web-Applikation mit Happstack Framework Lizenz: Author: Verfechter: Home page: Dokumentation: Package & repositories BSD3 Happstack team, HAppS LLC Happstack team Hackage - Darcs

BSD3 Happstack team, HAppS LLC Happstack team <happs@googlegroups.

2 Hallo Welt! module Main where import Happstack.Server (nullconf, simplehttp, toresponse, ok) main :: IO () main = simplehttp nullconf $ ok "Hello, World!"

3 Hallo Welt! Was ist Passiert? Die Funktion Simple HTTP lauscht auf einen Request, ab den Moment, wo das Programm gestartet wird. simplehttp :: (ToMessage a) => Conf -> ServerPartT IO a -> IO ()

4 Hallo Welt! Was ist Passiert? Die Funktion Simple HTTP lauscht auf einen Request, ab den Moment, wo das programm gestartet wird. simplehttp :: (ToMessage a) => Conf -> ServerPartT IO a -> IO () Die Konfiguration setzt die Eigenschaften des Servers: data Conf = Conf { port :: Int, validator :: Maybe (Response -> IO Response), logaccess :: forall t. FormatTime t => Maybe (String -> String -> t -> String -> Int -> Integer -> String -> String -> IO ()), timeout :: Int }

simplehttp :: (ToMessage a) => Conf -> ServerPartT IO a -> IO () Die Konfiguration setzt die Eigenschaften des

5 Statische Routen I module Main where import Control.Monad import Happstack.Server (nullconf, simplehttp, ok, dir) main :: IO () main = simplehttp nullconf $ msum [ ok "Hello, World!", ok "Unreachable ServerPartT" ]

6 Statische Routen II module Main where import Control.Monad (msum) import Happstack.Server (nullconf, simplehttp, ok, dir) main :: IO () main = simplehttp nullconf $ msum [ dir "hello" $ ok "Hello, World!", dir "goodbye" $ dir "world" $ ok "Goodbye, World!" ]

7 Statische Routen II module Main where import Control.Monad (msum) import Happstack.Server (nullconf, simplehttp, ok, dir) main :: IO () main = simplehttp nullconf $ msum [ dir "hello" $ ok "Hello, World!", dir "goodbye" $ dir "world" $ ok "Goodbye, World!" dirs "hello/haskell" $ ok "Hello, Haskell!" ]

8 Statiche Routen III module Main where import Control.Monad (msum) import Happstack.Server (nullconf, simplehttp, ok, dir, path) main :: IO () main = simplehttp nullconf $ msum [ dir "hello" $ path $ \s -> ok $ "Hello, " ++ s ]

9 Request unterscheiden module Main where import Control.Monad (msum) import Happstack.Server (Method(GET, POST), dir, methodm, nullconf, ok, simplehttp) main :: IO () main = simplehttp nullconf $ msum [ do methodm GET ok $ "You did a GET request.\n", do methodm POST ok $ "You did a POST request.\n", dir "foo" $ do methodm GET ok $ "You did a GET request on /foo\n" ]

$\n", do methodm POST ok $ "You did a POST request.$

10 HTML <html> <head> <title>hello, HSP!</title> <meta content="text/html;charset=utf-8" http-equiv="content-type"> </head> <body> <h1>hello HSP!</h1> <p>we can insert Haskell expression such as this: <% sum [1.. (10 :: Int)] %></p> <p>we can use the ServerPartT monad too. Your request method was: <% getmethod %></p> </body> </html> H.html $ do H.head $ do H.title "Hello Blaze HTML!" H.meta! A.httpEquiv "Content-Type"! A.content "text/html;charset=utf-8" sequence_ headers H.body $ do H.h1 $ "Hello Blaze HTML!" H.p $ "We can insert Haskell expression such as this: <% sum [1.. (10 :: Int)] %>" H.p $ "Symbols like & or > will be escape!"

Your request method was: <% getmethod %></p> </body> </html> H.html $ do H.head $ do H.title "Hello Blaze HTML!" H.meta! A.

11 HTML HSX/HSP <html> <head> <title>hello, HSP!</title> <meta content="text/html;charset=utf-8" http-equiv="content-type"> </head> <body> <h1>hello HSP!</h1> <p>we can insert Haskell expression such as this: <% sum [1.. (10 :: Int)] %></p> <p>we can use the ServerPartT monad too. Your request method was: <% getmethod %></p> </body> </html> BlazeHtml H.html $ do H.head $ do H.title "Hello Blaze HTML!" H.meta! A.httpEquiv "Content-Type"! A.content "text/html;charset=utf-8" sequence_ headers H.body $ do H.h1 $ "Hello Blaze HTML!" H.p $ "We can insert Haskell expression such as this: <% sum [1.. (10 :: Int)] %>" H.p $ "Symbols like & or > will be escape!"

Your request method was: <% getmethod %></p> </body> </html> BlazeHtml H.html $ do H.head $ do H.title "Hello Blaze HTML!" H.meta! A.

12 HTML HSX/HSP <html> <head> <title>hello, HSP!</title> <meta content="text/html;charset=utf-8" http-equiv="content-type"> </head> <body> <h1>hello HSP!</h1> <p>we can insert Haskell expression such as this: <% sum [1.. (10 :: Int)] %></p> <p>we can use the ServerPartT monad too. Your request method was: <% getmethod %></p> </body> </html> BlazeHtml H.html $ do H.head $ do H.title "Hello Blaze HTML!" H.meta! A.httpEquiv "Content-Type"! A.content "text/html;charset=utf-8" sequence_ headers H.body $ do H.h1 $ "Hello Blaze HTML!" H.p $ "We can insert Haskell expression such as this: <% sum [1.. (10 :: Int)] %>" H.p $ "Symbols like & or > will be escape!" Es gibt noch aber auch noch: Hamlet, HStringTemplate, Heist,...

13 HSX/HSP Durch das Vorkompiliren wandelt "trhsx" den XML-Code in Haskell-Ausdrücke um: aus: foo :: XMLGenT (ServerPartT IO) XML foo = <span class="bar">foo</span> wird: foo :: XMLGenT (ServerPartT IO) XML foo = genelement (Nothing, "span") [ asattr ("class" := "bar") ] [aschild ("foo")]

<span class="bar">foo</span> wird: foo :: XMLGenT (ServerPartT IO) XML

14 MVC Controller Model View

15 MVC Controller Model View

16 MVC Controller main :: IO () main = simplehttp nullconf $ msum [ -- Seiten-Navigation dir "helloworld" helloworld, dir "mvc" mvc, dir "defaultlayout" defaultlayout, dir "login" login, startpage ]

17 MVC View startpage :: ServerPart Response startpage = ok $ toresponse $ apptemplate "Deklarative Programmierung!" [H.meta! A.name "keywords"! A.content "happstack, StartUp, html"] (H.img!A.class_ "teaser"!a.src "/public/image/dual_neurons.png"!a.alt "teaser") (H.div!A.class_ "content" $ "Lorem ipsum dolor sit amet, consetetur sadipscing elitr, sed diam nonumy eirmod tempor invidunt ut labore et dolore magna rebum. Stet clita kasd gubergren, no sea takimata sanctus est Lorem ipsum dolor sit amet. \ \Duis autem vel eum iriure dolor in hendrerit in vulputate velit esse molestie consequat, vel illum dolore eu feugiat nulla laoreet dolore magna aliquam erat volutpat." )

$\ \Duis autem vel eum iriure dolor in hendrerit in vulputate velit esse molestie consequat, vel illum dolore eu feugiat nulla laoreet dolore magna aliquam erat volutpat.$

18 Template (default Layout) apptemplate :: String -> [H.Html] -> H.Html -> H.Html apptemplate title headers body = H.html $ do H.head $ do H.title (H.toHtml title) H.meta! A.httpEquiv "Content-Type"! A.content "text/html;charset=utf-8" sequence_ headers H.body $ do body

19 Quellen umentation orks April/ html

org/haskellwiki/web/framew orks http://jaspervdj.

TRADING PLAN. Lorem ipsum dolor

TRADING PLAN. Lorem ipsum dolor Lorem ipsum dolor Sit amet, consetetur sadipscing elitr, sed diam nonumy eirmod tempor invidunt ut labore et dolore magna gubergren, no sea takimata sanctus est Lorem ipsum dolor sit amet. Insert Name