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
"""]]
|
