mirror of
https://github.com/marcosh/crem.git
synced 2024-10-26 11:52:20 +03:00
Improve wording on identity transitions decision log
Co-authored-by: Alex <alexei.drake@tweag.io>
This commit is contained in:
parent
4d0905e1ea
commit
5c456bf059
@ -1,13 +1,13 @@
|
||||
name: Always allow identity transitions
|
||||
date: 2023-01-13
|
||||
context: >
|
||||
The topology of a state machine describes which are the allowed transitions.
|
||||
The topology of a state machine lists its allowed transitions.
|
||||
|
||||
Sometimes (like in the implementation of the `Choice` typeclass) we would
|
||||
simply like to say that we are not changing state. This is still seen as a
|
||||
transition by our current implementation.
|
||||
decision: >
|
||||
We decide to consider everytime not changing state as a valid transition.
|
||||
We will always consider not changing state as a valid transition.
|
||||
consequences: >
|
||||
We create a new instance of our `AllowedTransition` typeclass which searches
|
||||
for a proof term indicating that a transition is allowed. Such an instance
|
||||
|
Loading…
Reference in New Issue
Block a user