summaryrefslogtreecommitdiff
path: root/doc/forum/howto_mapM_RevertableProperty/comment_2_1327f1f218433ce262f871771c43452c._comment
blob: 20f6e640f8c6ca03b8e7050bf8160c699de1af8f (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
[[!comment format=mdwn
 username="picca"
 subject="comment 2"
 date="2016-02-10T06:41:49Z"
 content="""
Thanks a lot joey :)

I am learning haskell for now and I am not very confortable yet with the haskell Monoid, functor, applicative and monad.

So what you are saying is that it would be great to do something like

    instance monoid Property where
         mempty = doNothing
         mappend p1 p2 = combineProperty [p1, p2]
         mconcat ps = combineProperty ps

in order to combine properties.
my question is why did you choose to create combineProperty instead of a Monoid at first ?

thanks

Frederic
"""]]