feat: Implement AutomatonM instance for StateMachineT (#83)

[blackheaven]

Ciao @marcosh

I'm missing your code reviews :)

Not sure how the whole thing is working, let me know what kind of tests could be relevant.

[blackheaven]

Not my errors:

[ 2 of 18] Compiling Data.Machine.Plan ( src/Data/Machine/Plan.hs, dist/build/Data/Machine/Plan.o, dist/build/Data/Machine/Plan.dyn_o )

src/Data/Machine/Plan.hs:179:14: error:
Error:     • Couldn't match type: PlanT k1 o0 m0 a0
                     with: forall (m :: * -> *). PlanT k o m ()
      Expected: Maybe o -> Plan k o ()
        Actual: Maybe o -> PlanT k1 o0 m0 a0
    • In the expression: maybe stop yield
      In an equation for ‘maybeYield’: maybeYield = maybe stop yield
    • Relevant bindings include
        maybeYield :: Maybe o -> Plan k o ()
          (bound at src/Data/Machine/Plan.hs:179:1)
    |
179 | maybeYield = maybe stop yield
    |              ^^^^^^^^^^^^^^^^

src/Data/Machine/Plan.hs:179:25: error:
Error:     • Couldn't match type: forall (m :: * -> *). PlanT k0 o m ()
                     with: PlanT k1 o0 m0 a0
      Expected: o -> PlanT k1 o0 m0 a0
        Actual: o -> Plan k0 o ()
    • In the second argument of ‘maybe’, namely ‘yield’
      In the expression: maybe stop yield
      In an equation for ‘maybeYield’: maybeYield = maybe stop yield
    • Relevant bindings include
        maybeYield :: Maybe o -> Plan k o ()
          (bound at src/Data/Machine/Plan.hs:179:1)
    |
179 | maybeYield = maybe stop yield
    |                         ^^^^^

src/Data/Machine/Plan.hs:203:28: error:
Error:     • Couldn't match type: forall (m1 :: * -> *). PlanT k2 a m1 ()
                     with: PlanT k a m a1
      Expected: Maybe a -> PlanT k a m a1
        Actual: Maybe a -> Plan k2 a ()
    • In the second argument of ‘(>>=)’, namely ‘maybeYield’
Error: cabal: Failed to build machines-0.7 (which is required by
test:crem-spec from crem-0.1.0.0 and test:crem-doctests from crem-0.1.0.0).
See the build log above for details.

      In a stmt of a 'do' block: (lift f >>= maybeYield)
      In the expression:
        do (lift f >>= maybeYield)
           exhaust f
    • Relevant bindings include
        f :: m (Maybe a) (bound at src/Data/Machine/Plan.hs:203:9)
        exhaust :: m (Maybe a) -> PlanT k a m ()
          (bound at src/Data/Machine/Plan.hs:203:1)
    |
203 | exhaust f = do (lift f >>= maybeYield); exhaust f
    |                            ^^^^^^^^^^
Error: Process completed with exit code 1.

[blackheaven]

I can disable it for GHC <= 9.0.*

[marcosh]

thanks a lot @blackheaven!