typed-fsm: A framework for strongly typed FSM

[ control, library, mit ] [ Propose Tags ]

FSM stands for Finite State Machine. The typed-fsm is used to define and execute FSM.

Advantages of type-fsm:

  • Focus on the right message.

  • Top-to-bottom design for easy refactoring.

  • Conducive to building complex state machine systems:

  • * Type guarantees will not produce incorrect function calls when written.

  • * With the help of the type system, we can define many state processing functions and then call each other recursively with confidence.

  • There is a sanity check. If you miss some items for pattern matching, the compiler will issue a warning, and there will also be a warning for invalid items.

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.1.0.0, 0.1.0.1, 0.2.0.0, 0.2.0.1, 0.3.0.0
Change log CHANGELOG.md
Dependencies base (>=4.20.0.0 && <5), dependent-map (>=0.4.0.0 && <0.5), dependent-sum (>=0.7.2.0 && <0.8), mtl (>=2.3.1 && <2.4), singletons-base (>=3.4 && <3.5) [details]
License MIT
Author sdzx-1
Maintainer shangdizhixia1993@163.com
Category Control
Source repo head: git clone https://github.com/sdzx-1/typed-fsm
Uploaded by sdzx at 2024-07-22T14:16:05Z
Distributions
Downloads 60 total (60 in the last 30 days)
Rating 2.0 (votes: 1) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]