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

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

NameDescriptionDefault
errors

enable -Werror

Disabled

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info

Downloads

Maintainer's Corner

Package maintainers

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]