packages feed

typed-fsm 0.3.0.0 → 0.3.0.1

raw patch · 3 files changed

+5/−2 lines, 3 filesPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

API changes (from Hackage documentation)

- TypedFsm.Driver.Common: getSomeOperateSing :: forall ts (m :: Type -> Type) a (r :: ts). SingKind ts => SomeOperate ts m a -> Sing r
+ TypedFsm.Driver.Common: getSomeOperateSing :: forall ts (m :: Type -> Type) a (r :: ts). SomeOperate ts m a -> Sing r

Files

CHANGELOG.md view
@@ -1,5 +1,8 @@ # Revision history for typed-fsm +## 0.3.0.1-- 2024-8-04+* Fix getSomeOperateSing remvoe (SingKind ts) Constraint+ ## 0.3.0.0-- 2024-7-25 * Remove the SingI constraints from SomeMsg and AnyMsg. * Modify the definition of LiftM and remove the SingI constraints.
src/TypedFsm/Driver/Common.hs view
@@ -15,7 +15,7 @@   = forall (i :: ts) (o :: ts).     SomeOperate (Sing i) (Operate m (At a o) i) -getSomeOperateSing :: (SingKind ts) => SomeOperate ts m a -> Sing (r :: ts)+getSomeOperateSing :: SomeOperate ts m a -> Sing (r :: ts) getSomeOperateSing (SomeOperate si (_ :: Operate m ia i)) =   unsafeCoerce si
typed-fsm.cabal view
@@ -20,7 +20,7 @@ -- PVP summary:     +-+------- breaking API changes --                  | | +----- non-breaking API additions --                  | | | +--- code changes with no API change-version:            0.3.0.0+version:            0.3.0.1  -- A short (one-line) description of the package. synopsis: A framework for strongly typed FSM