Question

文本Blaze有经营者! 添加属性:

option ! id "bla" ! value "1" ! selected "" $ "Hello!"

My question is how can i make attributes optional ? Right now my code is ugly:

option ! id "bla" ! value "1" ! (if x == val then selected "" else someStupidAttribute "")  $ "Hello!"

这导致每一个html选择要素都没有必要的无关性归属,因为我必须提供这种特性。

EDIT:我接受了hammar的答复。我设立了助手职能:

(!?) :: Attributable h => h -> (Bool,Attribute) -> h
html !? (True, attr) = html ! attr
html !? _ = html

在这里,如何使用:

option ! id "bla" ! value "1" !? ((k == val), selected "") $ "Hello!"

Answer 1

如何界定方便操作者有条件适用属性?

(!?) :: Attributable h => h -> Maybe Attribute -> h
html !? (Just attr) = html ! attr
html !? Nothing = html

因此,你可以举如下例子。

option ! id "bla" ! value "1" !? toMaybe (x == val) (selected "") $ "Hello!"

这里,to Maybe只是建造Maybe的有用助手,但如果你愿意,你可以使用其他东西。

toMaybe :: Bool -> a -> Maybe a
toMaybe False _ = Nothing
toMaybe True  x = Just x

Answer 2

我对原始条件有利的trick计是使用清单的缩略语;[foo × >将评价为[foo] 或 [ ]。我们能够调整这一trick子? 确实,具有适用属性清单的助手职能:

element !. options = foldr (!) element options -- (!.) = foldr (!)

现在,你可以写出与其中之一相对相当的东西(取决于信使):

option ! id "bla" ! value "1" !. [selected "" | x == val] $ "Hello!"
option !. [id "bla", value "1"] ++ [selected "" | x == val] $ "Hello!"

您可能必须添加“!;您可在格西里使用:i !,以了解您为相互协作而重新努力的工作。

Answer 3

我不知道这样做有没有更好的布莱泽具体办法,我知道这是可怕的,但你可以这样做。

(if x == val then (! selected "") else id) (option ! id "bla" ! value "1") $ "Hello!"

Answer 4

这对我来说似乎很有益——我强调:

import Data.Monoid (mempty)
option ! id "bla" ! value "1" ! (if x == val then selected "" else mempty) $ "Hello!"