summaryrefslogtreecommitdiff
path: root/doc/forum/functions_that_yield_properties/comment_4_886daf04a0fa9e6d0dd1e9ef4cc9b63f._comment
blob: aab4f6eddd9631a9665112eea21b696fb656e7d7 (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="joey"
 subject="""comment 4"""
 date="2016-06-06T20:58:37Z"
 content="""
`Maybe a` is a Monoid, so something along that line was what I was
thinking.

----

	withMyAcc
		:: (SingI outer, Cannot_ensureProperty_WithInfo inner ~ 'True,
		    NotSuperset (Targets inner) (Targets outer) ~ 'CanCombine)
		=> Desc
		-> (User -> Property (MetaTypes inner))
		-> Property (MetaTypes outer)

The complicated constraints there are inherited from the use of `ensureProperty`.

A less general form of that is:

	withMyAcc :: Desc -> (User -> Property DebianLike) -> Property DebianLike
"""]]