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

remove idea about moving into GADT

This commit is contained in:
Joey Hess 2015-01-25 15:20:11 -04:00
parent cdd88b080a
commit c72fa2bcd8
1 changed files with 0 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
doc/todo/RevertableProperty_with_NoInfo.mdwn
View File

@ -16,14 +16,3 @@ a mouthful!
Since only 2 places in the propellor source code currently need to deal 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.
Probably related would be to make RevertableProperty a constructor in the
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.