Export translations

Settings

Group

Language

Format

Export for off-line translation

Export in native format

{{DISPLAYTITLE:FP Cvičení 11}}== Složitá datová struktura == 
Uvažujme následující datovou strukturu reprezentující nějaký druh grafického uživatelského rozhraní.

<syntaxhighlight lang="Haskell">
data Point = Point {column::Int,row::Int} deriving (Show)

data Position = Position {leftTopCorner :: Point, width :: Int, height :: Int}

data Component
  = TextBox {name :: String, position :: Position, text :: String}
  | Button {name :: String, position :: Position, text :: String}
  | Container {name :: String, children :: [Component]} 
</syntaxhighlight>

Jako příklad můžeme použít následující datovou strukturu.

<syntaxhighlight lang="Haskell">
gui :: Component
gui =
  Container "My App"
    [ Container "Menu"
        [ Button "btn_new" (Position (Point 0 0) 100 20) "New",
          Button "btn_open" (Position (Point 100 0) 100 20) "Open",
          Button "btn_close" (Position (Point 200 0) 100 20) "Close"
        ],
      Container "Body" [TextBox "textbox_1" (Position (Point 0 20) 300 500) "Some text goes here"],
      Container "Footer" []
    ]
</syntaxhighlight>

* Přidejte typ <code>Component</code> do typove třídy <code>Show</code>.

Výsledek pro naše data z předchozího příkladu by měl vypadat takto.

<syntaxhighlight lang="Haskell" class="myDark">
ghci> gui
Container - My App
        Container - Menu
                (0,0)[100,20] Button[btn_new]: New
                (100,0)[100,20] Button[btn_open]: Open
                (200,0)[100,20] Button[btn_close]: Close
        Container - Body
                (0,20)[300,500] TextBox[textbox_1]: Some text goes here
        Container - Footer
</syntaxhighlight>

<div class="mw-collapsible mw-collapsed" data-collapsetext="Hide solution" data-expandtext="Show solution">
<syntaxhighlight lang="Haskell">
instance Show Position where
    show (Position (Point col row) width height) = "(" ++ show col ++ "," ++ show row ++ ")["++ show width++","++ show height++"]"

instance Show Component where
    show :: Component -> String
    show gui = showIndent "" gui where
        showIndent ind (TextBox name position text) = ind ++ show position ++ " TextBox[" ++ name ++ "]: " ++ text ++"\n" 
        showIndent ind (Button name position text) = ind ++ show position ++ " Button[" ++ name ++ "]: " ++ text ++"\n"
        showIndent ind (Container name children) = let 
            inner = concat[showIndent (ind++"\t") c |c<-children]
            in ind ++ "Container - " ++ name ++ "\n" ++ inner
</syntaxhighlight>
</div>
<div style="clear:both"></div>

* Vytvořte funkci <code>insertInto</code>, která vloží prvek do existujícího kontejneru z GUI. Parametry funkce budou: 
** prvním parametrem bude GUI, do kterého budeme vkládat nový prvek;
** druhým parametrem bude název kontejneru, do kterého vkládáme nový prvek, lze bezpečně předpokládat, že bude vždy existovat. Prvek bude v kontejneru umístěn jako poslední;
** posledním parametrem je vložený prvek.

<syntaxhighlight lang="Haskell">
insertInto :: Component -> String -> Component -> Component
</syntaxhighlight>

<syntaxhighlight lang="Haskell" class="myDark">
ghci> insertInto gui "Footer" (TextBox "Done" (Position (Point 0 500) 300 10) "We are done!")
Container - My App
        Container - Menu
                (0,0)[100,20] Button[btn_new]: New
                (100,0)[100,20] Button[btn_open]: Open
                (200,0)[100,20] Button[btn_close]: Close
        Container - Body
                (0,20)[300,500] TextBox[textbox_1]: Some text goes here
        Container - Footer
                (0,500)[300,10] TextBox[Done]: We are done!
</syntaxhighlight>

<div class="mw-collapsible mw-collapsed" data-collapsetext="Hide solution" data-expandtext="Show solution">
<syntaxhighlight lang="Haskell">
insertInto :: Component -> String -> Component -> Component
insertInto (Container cName children ) toName element 
    | cName == toName = Container cName (children++[element]) 
    | otherwise = Container cName [insertInto c toName element  |c<-children]
insertInto x toName element = x      
</syntaxhighlight>
</div>
<div style="clear:both"></div>

* Create a function <code>deleteFrom</code>, it will delete an element from the existing container from a GUI. The functions parameters will be: 
** first parameter will be the GUI, where we are deleting the element;
** second parameter is the name of the component, that will be removed, you can safely assume, that it will always exist;

<syntaxhighlight lang="Haskell">
deleteFrom :: Component -> String -> Component
</syntaxhighlight>

<syntaxhighlight lang="Haskell" class="myDark">
ghci> deleteFrom gui "btn_close"            
Container - My App
  Container - Menu
    (0,0)[100,20] Button[btn_new]: New
    (100,0)[100,20] Button[btn_open]: Open
  Container - Body
    (0,20)[300,500] TextBox[textbox_1]: Some text goes here
  Container - Footer
</syntaxhighlight>

<div class="mw-collapsible mw-collapsed" data-collapsetext="Hide solution" data-expandtext="Show solution">
<syntaxhighlight lang="Haskell">
deleteFrom :: Component -> String -> Component
deleteFrom (Container x child) target = Container x [deleteFrom c target |c<-child, name c /=target ]
deleteFrom c _ = c
</syntaxhighlight>
</div>
<div style="clear:both"></div>

* Rozšiřte definici tlačítka v našem GUI takto.

<syntaxhighlight lang="Haskell">
data Event = MouseEvent Point
           | KeyEvent {keyPressed::Char} deriving (Show)
...
  | Button {name :: String, position :: Position, text :: String, onClick :: Maybe (Event -> String)}
...
</syntaxhighlight>
Naše '''onClick''' je funkce, která se spustí po kliknutí na tlačítko. Parametrem této funkce jsou data popisující událost, která se osluhu spustila.

<syntaxhighlight lang="Haskell">
...
[ Button "btn_new" (Position (Point 0 0) 100 20) "New" (Just (\event -> "Clicked on new button.")),
  Button "btn_open" (Position (Point 100 0) 100 20) "Open" Nothing,
  Button "btn_close" (Position (Point 200 0) 100 20) "Close" (Just (\event -> "Clicked on close button.")) ]
...
</syntaxhighlight>
* Vytvořte funkci <code>clickOnButton</code>, která dostane naše GUI a nějakou událost. Pokud je parametrem instance <code>MouseEvent</code> a pozice, na kterou jsme klikli, je uvnitř některého z tlačítek GUI, pak vyhodnotí odpovídající funkci <code>onClick</code> a výsledkem bude získáný řetězec. Ve všech ostatních případech bude výsledkem <code>Nothing</code>.

<syntaxhighlight lang="Haskell">
clickOnButton :: Component -> Event -> Maybe String
</syntaxhighlight>

<syntaxhighlight lang="Haskell" class="myDark">
ghci> clickOnButton gui (MouseEvent (Point 5 5))
Just "Clicked on new button."
ghci> clickOnButton gui (MouseEvent (Point 205 5))
Just "Clicked on close button."
ghci> clickOnButton gui (MouseEvent (Point 205 50))
Nothing
</syntaxhighlight>

<div class="mw-collapsible mw-collapsed" data-collapsetext="Hide solution" data-expandtext="Show solution">
<syntaxhighlight lang="Haskell">
isInside :: Point -> Position -> Bool
isInside (Point pCol pRow) (Position (Point cornerCol cornerRow) width height) =
     cornerCol <= pCol && pCol <= cornerCol + width && cornerRow <= pRow && pRow <= cornerRow + height

getFirstOrNothing :: [Maybe a] -> Maybe a
getFirstOrNothing [] = Nothing
getFirstOrNothing (Nothing:xs) = getFirstOrNothing xs
getFirstOrNothing (Just x: xs) = Just x

clickOnButton :: Component -> Event -> Maybe String
clickOnButton (Button {position = pos, onClick = (Just func)}) (MouseEvent point) | isInside point pos = Just (func (MouseEvent point))
clickOnButton (Container {children=inner}) event = getFirstOrNothing [clickOnButton c event |c<-inner]
clickOnButton _ _ = Nothing
</syntaxhighlight>
</div>
<div style="clear:both"></div>

== Doplňková cvičení ==

* Uvažujme následující definici a příklad m-árního stromu.

<syntaxhighlight lang="Haskell">
data MTree a = MTree a [MTree a] 
</syntaxhighlight>

<syntaxhighlight lang="Haskell">
testTree1 :: MTree Int            
testTree1 = MTree 1 [(MTree 2 [(MTree 3 []),(MTree 4 [(MTree 5 []),(MTree 6 [])]), (MTree 7 []),(MTree 8 [])]), (MTree 9 [])]
</syntaxhighlight>

* Vytvořte funkci, která sečte všechny hodnoty uložené ve stromu m-ary.

<syntaxhighlight lang="Haskell">
msum :: MTree Int -> Int
</syntaxhighlight>

* Vytvořte funkci, která extrahuje všechny hodnoty z m-arního strimu do seznamu.

<syntaxhighlight lang="Haskell">
mToList :: MTree a -> [a]
</syntaxhighlight>

* Vytvořte funkci, která spočítá všechny listy v m-arním stromu.
<syntaxhighlight lang="Haskell">
mLeafCount :: MTree a -> Int
</syntaxhighlight>

* Vytvořte funkci, která najde maximální hodnotu uloženou v m-árním stromu.

<syntaxhighlight lang="Haskell">
mMaxTree :: Ord a => MTree a -> a
</syntaxhighlight>

* Vytvoření funkce, která zkontroluje, zda je daný prvek uložen v m-árním 
stromu.

<syntaxhighlight lang="Haskell">
mContains :: Eq a => MTree a -> a -> Bool
</syntaxhighlight>

* Vytvoření funkce, která vrátí počet prvků větších než zadaná hodnota.
<syntaxhighlight lang="Haskell">
mGreaterThan :: Ord a => MTree a -> a -> Int
</syntaxhighlight>

Export translations

Navigation menu

Personal tools

Namespaces

Variants

Views

More

Search

Education

History Entries

Tools