motor
motor copied to clipboard
owickstrom
Type-safe effectful state machines in Haskell
Trying to use `reflectEvents` with the provided example (Door) results in the rather illuminating type error: ``` src/Door.hs:52:1: error: Unsupported type:ForallT [KindedTV n_6989586621679026880 (ConT GHC.Types.Symbol),KindedTV r_6989586621679026881 (AppT (ConT Data.Row.Internal.Row) StarT)]...
On https://hackage.haskell.org/package/motor the link to the door example https://hackage.haskell.org/package/motor-0.4.0/motor-0.4.0/srcexamples/Door.hs is broken.
It would be nice to be able to encode multiple outcomes of an operation, i.e. one that can cause different state changes depending on the result. For instance, if an...
I'm interested in playing with this library, but the fact that stack.yaml has to have `allow-newer` set to accommodate indexed-extra is kind of a no-go for larger projects. I'd think...
Instead of a type `call :: m Empty Empty a -> m r r a`, it would be nice to accept a subset of `r` as input to the inner...