summaryrefslogtreecommitdiff
path: root/ws2015/ffp/blaetter/11/FFP_U11-2_Yesod.hs
blob: 83f7945943c858c2a6363d9af5762c1bdab057a0 (plain)
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
-- Fortgeschrittene Funktionale Programmierung, 
--   LMU, TCS, Wintersemester 2015/16
--   Steffen Jost, Alexander Isenko
--
-- Übungsblatt 11. 13.01.2016
--
-- Teilaufgabe 
-- A11-2 Yesod Grundlagen (Routing & Handling)
--

{-# LANGUAGE ViewPatterns #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE OverloadedStrings     #-}
{-# LANGUAGE TypeFamilies          #-}
{-# LANGUAGE TemplateHaskell, QuasiQuotes #-}

module Main where

import Yesod
import qualified Data.Text as T

{-
  Ausgehend von dem minimalen Yesod Beispielen auf Folie 09-12,
  erstellen Sie eine kleine Webseite mit Yesod, welche Integer-Zahlen
  addieren und multiplizieren kann.
  Zur Übung der Grundlagen des Routings möchten wir dies
  unsinnigerweise über die URL-Pfade der Webseite machen:

  * http://localhost:3000/24/plus/373/ist
    zeigt eine Seite an, welche die Zahl 397 anzeigt.

  * http://localhost:3000/5/mal/-13/ist
    zeigt eine Seite an, welche die Zahl -65 anzeigt.

  * http://localhost:3000/5/plus/-1foo3/ist
    zeigt eine Hilfseite an, welche darauf hinweist, dass nur ganze Zahlen erlaubt sind.

  * jeder unsinniger Pfad wie etwa
      http://localhost:3000/5/foo/-13/ist
    zeigt eine Hilfseite an, die sagt welche Rechenoperationen erlaubt sind.
    
    
  Hinweis: Yesod verwendet Data.Text, ein effizienter Ersatz für den ineffizienten Typ String.
  Modul Data.Text stellt Methoden zur Bearbeitung von Werte dieses Typs bereit, hier eine Auswahl davon:
    pack   :: String -> Text
    unpack :: Text -> String
    append :: Text -> Text -> Text
    strip  :: Text -> Text
    null   :: Text -> Bool
    length :: Text -> Int
-}


{- LÖSUNGSVORSCHLAG -}

main :: IO ()
main = warp 3000 CalcApp

data CalcApp = CalcApp

instance Yesod CalcApp

mkYesod "CalcApp" [parseRoutes|
  / HomeR   GET
|]


getHomeR :: Handler Html
getHomeR = defaultLayout $ do
    setTitle "Hello!"
    let x = 2
    let y = 3        
    toWidget [whamlet|
        <h2>Hello World!
        <p> Some text that is <i>displayed</i> here.
        <p> We have #{show x}+#{show y}=#{show $ x + y}!
      |]





-- 
-- Weiter geht es mit der Datei FFP_U11-3_Yesod.hs
--