On 20.11.2014 16:58, Jon Fairbairn wrote:
Using the WASH preprocessor, or the straight Haskell Monad syntax?
I meant the plain haskell one, not the preprocessor (would probably be quotations these days). But I've had anotehr look, maybe it's just the way you use it with +++ between lines.
The reason that I don’t have a Monad is that HTML with its nesting restrictions isn’t a Monad, and I couldn’t find Monads for Flow, Inline or Block either. Perhaps one could have separate Monads for Inline that has <a> in it and Inline that doesn’t and so on, but that would give too many Monads to be usable.
WASH is not monadic, and I don't think it can be made monadic, no way to restrict the initial FSM state (return), nor possible transitions (bind). By the way, can a type class be parametrized by a type class? -- Wojtek