ertes 2017-02-05 10:45:30
yes, but not in the sense that they will check standards compliance
ertes 2017-02-05 10:45:44
only that you can't have unescaped HTML fragments, unless you ask for it
hpc 2017-02-05 10:46:06
you could probably try writing one that does check standards compliance
hpc 2017-02-05 10:46:10
but the standards are pretty heinous
fendor 2017-02-05 10:46:38
ertes: well, thats better than nothing, but i can still provide undefined elements?
fendor 2017-02-05 10:47:06
hpc: i see, it is css and html after all
ertes 2017-02-05 11:04:25
fendor: to be honest HTML/CSS compliance has never worried me as much as some of the more important things like security
ertes 2017-02-05 11:04:56
similarly there was a period when people were going crazy about statically checked routes
ertes 2017-02-05 11:05:25
when ultimately it's one of the least important things, and the least likely to ever bite you in practice
ertes 2017-02-05 11:06:37
libraries like web-routes make it reasonably practical, but personally i wouldn't bother even with that anymore
Koterpillar 2017-02-05 11:07:18
it's nice to have typed routes though
ertes 2017-02-05 11:07:26
it is however very important to get stuff like forms right both to validate user inputs properly and to prevent some of the more common web vulnerabilities like CSRF
ertes 2017-02-05 11:08:16
and for that we have libraries like digestive-functors
ertes 2017-02-05 11:08:36
(or rather its backends)
pikajude 2017-02-05 11:19:24
hi, i want to use the Generic default implementation for web-routes toPathSegments, but I want to override it for one constructor of my ADT
pikajude 2017-02-05 11:19:35
gToPathSegments isn't exported though :(
pikajude 2017-02-05 11:19:40
is there any way to do this
filthyCausual 2017-02-05 11:37:34
@pl f v = g <$> v
lambdabot 2017-02-05 11:37:34
f = (g <$>)
filthyCausual 2017-02-05 11:37:45
@pl f v = g <$> h v
lambdabot 2017-02-05 11:37:45
f = (g <$>) . h
erisco 2017-02-05 11:41:13
how do you import * with DataKinds ?
erisco 2017-02-05 11:44:16
ah, import Data.Kind (type (*))
erisco 2017-02-05 11:44:42
little odd that you cannot just use *
