search

sdzx-1 / typed-fsm

typed finite-state machine
https://hackage.haskell.org/package/typed-fsm
MIT License
13 stars 1 forks source link

Should dependent-* be removed? #4

Closed sdzx-1 closed 4 months ago

sdzx-1 commented 5 months ago

Should dependent-* be removed? The deriveGEq&deriveGCompare is a good choice? It might be easier to use unsafeCoerce.

sdzx-1 commented 4 months ago

typed-fsm is different from typed-communication-protocol.

The latter can automatically build the status into the message table, but typed-fsm needs to be built manually.

The dependent-map helps us check the correct message function.

Therefore dependent-map cannot be replaced.