Opérations conditionnelles avec IO()

Version imprimable

Bonjour,

J’aimerais qu’une opération sous IO () ne soit exécutée que sous une condition donnée.
( l’opération est la création d’un bouton avec fltkhs et la condition est qu’une variable ait une certaine valeur ).

Une question équivalente a été posée ici : https://mail.haskell.org/pipermail/h...ne/093301.html mais je ne comprend pas la réponse.

Code:

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
main :: IO ()
main = do
 window <- windowNew
           (Size (Width 175) (Height 120))
           Nothing
           Nothing
 begin window
 b' <- buttonNew
        (Rectangle (Position (X 15) (Y 30)) (Size (Width 95) (Height 30)))
        (Just "A")
 setLabelsize b' (FontSize 10)
 setCallback b' buttonCb
 
       ----------------------------    ceci qui se trouve entre les droites pointillée ne devrait s'exécuter que sous une condition ( comme x==1 )
 
 c' <- buttonNew
        (Rectangle (Position (X 50) (Y 77)) (Size (Width 95) (Height 30)))
        (Just "C")
 setLabelsize c' (FontSize 10)
 setCallback c' buttonCb
 
      ------------------------------
 
 end window
 showWidget window
 _ <- FL.run
 return ()

merci d'avance,
bb.

Tout simplement ainsi :

Code:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
main :: IO ()
main = do
    ...
    setCallback b' buttonCb
 
    let x = 1
    when (x == 1) $ do
        c' <- buttonNew
                (Rectangle (Position (X 50) (Y 77)) (Size (Width 95) (Height 30)))
                (Just "C")
        setLabelsize c' (FontSize 10)
        setCallback c' buttonCb
 
    end window
    ...

De manière peut-être plus compréhensible vis à vis de la manipulation de monades :

Code:

1
2
3
4
5
6
7
8
9
10
11
12
13
main = do
    ...
    let x = 1
    let conditionalAction = do
            c' <- buttonNew
                    (Rectangle (Position (X 50) (Y 77)) (Size (Width 95) (Height 30)))
                    (Just "C")
            setLabelsize c' (FontSize 10)
            setCallback c' buttonCb
            return () -- Utile ou non selon le type de 'setCallback'.
 
    when (x == 1) conditionalAction
    ...

Ou encore :

Code:

1
2
3
4
5
main = do
    ...
    -- le 'then' et le 'else' doivent avoir le même type (pas nécessairement 'IO ()').
    if x == 1 then conditionalAction else return ()
    ...

03/03/2017, 23h04
bbertrand

Merci beaucoup !

Cela repose donc sur when.

J’avais trouvé une solution proche de la 3em manière, mais non valide parce-que ici, justement le else n’a pas
le même type ( puisqu’il correspond à une non-action ).