diff options
| author | Joey Hess <joeyh@joeyh.name> | 2015-01-25 15:08:40 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2015-01-25 15:08:40 -0400 |
| commit | 5d8bd485cbd4c88bcc09146118d1431d13a152cc (patch) | |
| tree | 14df376d415c47424606dfa6a810b296923defce | |
| parent | 73ad89d9734bace04b68e078fa1d46ccee6a396b (diff) | |
propellor spin
| -rw-r--r-- | doc/todo/RevertableProperty_with_NoInfo.mdwn | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/doc/todo/RevertableProperty_with_NoInfo.mdwn b/doc/todo/RevertableProperty_with_NoInfo.mdwn index e778ff85..e9c1eb5d 100644 --- a/doc/todo/RevertableProperty_with_NoInfo.mdwn +++ b/doc/todo/RevertableProperty_with_NoInfo.mdwn @@ -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 intrusive way can be found. -Hmm, if RevertableProperty were made a constructor in the Property GADT, -this would need to be done, and that would also allow for +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. |