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]

Crem

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

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

Package maintainers

marcosh

For package maintainers and hackage trustees

edit package information

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	94 total (7 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]