> "Marko" == Marko Schuetz <[EMAIL PROTECTED]> writes:
> "Andy" == Andy Gill <[EMAIL PROTECTED]> writes:
Andy> instance (HTML a) => HTML ([HtmlAttr] -> a) where
Andy> html f = html (f [])
Marko> Wouldn't
>> instance (HTML b, MonadPlus a) => HTML (a -> b) where
>> html f = html (f mzero
> "Andy" == Andy Gill <[EMAIL PROTECTED]> writes:
Andy> instance (HTML a) => HTML ([HtmlAttr] -> a) where
Andy> html f = html (f [])
Wouldn't
> instance (HTML b, MonadPlus a) => HTML (a -> b) where
> html f = html (f mzero)
work as well?
Marko
--
Marko Schütz[EMAIL P
Thanks for all you comments about optional parameters.
Heres the solution I finally adopted.
In HTML, tags nest more HTML. So, one model is to represent tags using
functions. so we might have
small :: Html -> Html
italics :: Html -> Html
paragraph :: Html -> Html
Some Html objects do not have e
