cadey
/
propellor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

propellor spin

This commit is contained in:
Joey Hess 2015-01-25 15:08:40 -04:00
parent 73ad89d973
commit 5d8bd485cb
Failed to extract signature
1 changed files with 10 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
doc/todo/RevertableProperty_with_NoInfo.mdwn
View File

@ -17,5 +17,13 @@ Since only 2 places in the propellor source code currently need to deal
with this, it doesn't currently seem worth making the change, unless a less with this, it doesn't currently seem worth making the change, unless a less
intrusive way can be found. intrusive way can be found.
Hmm, if RevertableProperty were made a constructor in the Property GADT, Probably related would be to make RevertableProperty a constructor in the
this would need to be done, and that would also allow for Property GADT, which would allow more property combinators to work on
RevertableProperties. That would look like:
data Propety i where
...
RProp :: Property i1 -> Property i2 -> Property (CInfo i1 i2)
In this case, there's only one Info/NoInfo encompassing both sides, and
so ensureProperty could only be used on it if both sides were NoInfo.