crem: Compositional representable executable machines
[ control, library, machines, mit, program, state-machines ]
[ Propose Tags ]
[ Report a vulnerability ]
crem
stands for compositional representable executable machines. It allows creating state machines (Mealy machines in fact), compose them to build bigger machines out of smaller ones and then run them and draw their flow and their state space.
library crem
Modules
[Index] [Quick Jump]
library crem:crem-examples
Modules
[Index] [Quick Jump]
- Crem
- Example
- Crem.Example.BooleanStateMachine
- Crem.Example.LockDoor
- Crem.Example.OneState
- Crem.Example.PlusOneUpToFour
- RiskManager
- Crem.Example.RiskManager.Aggregate
- Crem.Example.RiskManager.Application
- Crem.Example.RiskManager.Domain
- Crem.Example.RiskManager.Policy
- Crem.Example.RiskManager.Projection
- Crem.Example.Switch
- Crem.Example.TheHobbit
- Crem.Example.TriangularMachine
- Crem.Example.TwoSwitchesGate
- Crem.Example.Uno
- Example
Flags
Manual Flags
Name | Description | Default |
---|---|---|
errors | enable -Werror | Disabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info
Downloads
- crem-0.1.0.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
Versions [RSS] | 0.1.0.0 |
---|---|
Change log | CHANGELOG.md |
Dependencies | base (>=4.15 && <4.19), crem, profunctors (>=3.2 && <5.7), singletons-base (>=3.0 && <3.3), text (>=1.2 && <2.1) [details] |
Tested with | ghc ==9.0.2, ghc ==9.2.7, ghc ==9.4.4, ghc ==9.6.1 |
License | MIT |
Copyright | 2022 Tweag I/O |
Author | Marco Perone |
Maintainer | marco.perone@tweag.io |
Category | Machines, Control, State Machines |
Home page | https://github.com/tweag/crem |
Bug tracker | https://github.com/tweag/crem/issues |
Uploaded | by marcosh at 2023-03-17T10:48:22Z |
Distributions | |
Executables | hobbit-map, hobbit-game |
Downloads | 95 total (2 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] |