Marco Perone
|
cc6c2b7c15
|
decision log on cabal in CI
|
2023-03-09 17:40:03 +01:00 |
|
Marco Perone
|
531dc418ba
|
remove nix build from README
|
2023-03-09 17:40:03 +01:00 |
|
Marco Perone
|
e1bd0b3177
|
add CI badge on README
|
2023-03-09 17:40:03 +01:00 |
|
Marco Perone
|
8d0714421f
|
enable CI also for GHC 9.4.4
|
2023-03-09 17:40:03 +01:00 |
|
Marco Perone
|
a63e79d519
|
use directly cabal instead of nix in CI
|
2023-03-09 17:40:03 +01:00 |
|
Marco Perone
|
9c0a65d019
|
try building doctests on examples
|
2023-03-09 17:40:03 +01:00 |
|
Marco Perone
|
2b01fd6cbb
|
document how to open haddock docs
|
2023-03-07 17:55:19 +01:00 |
|
Marco Perone
|
7cff7bdb24
|
remove open-haddock
|
2023-03-07 17:55:19 +01:00 |
|
Marco Perone
|
1ccb45abdc
|
substitute inotify with fswatch for darwin compatibility
|
2023-03-07 12:03:27 +01:00 |
|
Marco Perone
|
4ae216adfa
|
use correctly identity edges when computing the product graph for machines
|
2023-03-06 16:10:42 +01:00 |
|
Marco Perone
|
86c6f32e57
|
add documentation for maybeM and EitherM
|
2023-03-06 16:02:07 +01:00 |
|
Marco Perone
|
4eb63937b2
|
improve readme
|
2023-03-02 15:51:29 +01:00 |
|
Marco Perone
|
600a75bcac
|
adopt MIT license
|
2023-03-01 12:57:28 +01:00 |
|
Marco Perone
|
a95e0d2995
|
add logo to readme
|
2023-03-01 11:15:24 +01:00 |
|
Marco Perone
|
065a1bd6b8
|
add crem logo
|
2023-03-01 10:53:41 +01:00 |
|
Marco Perone
|
8181b54720
|
generate hobbit map
|
2023-02-28 18:38:33 +01:00 |
|
Marco Perone
|
8d940555c8
|
switches start in OffState
|
2023-02-28 16:01:47 +01:00 |
|
Marco Perone
|
9e16ebc1c9
|
comment out crem-examples doctests
|
2023-02-27 17:48:16 +01:00 |
|
Marco Perone
|
84a25535b4
|
can not use overloaded string when generating Enum instance with singletons
|
2023-02-27 17:26:03 +01:00 |
|
Marco Perone
|
1dcce3a673
|
execute doctests also on examples
|
2023-02-27 17:05:45 +01:00 |
|
Marco Perone
|
2484a7ad30
|
complete literate example
|
2023-02-27 17:05:45 +01:00 |
|
Marco Perone
|
b740fa8142
|
start literate example on library usage
|
2023-02-27 17:05:45 +01:00 |
|
Marco Perone
|
2a6954df0d
|
add operations to lift a BaseMachine over Maybe and Either
|
2023-02-27 17:05:45 +01:00 |
|
Marco Perone
|
fbf578cded
|
improve haddock documentation
|
2023-02-27 17:05:45 +01:00 |
|
Marco Perone
|
3cc5b668ba
|
disable global OverloadedStrings
|
2023-02-27 17:05:45 +01:00 |
|
Marco Perone
|
8025e592df
|
improve readme
|
2023-02-27 17:05:45 +01:00 |
|
Marco Perone
|
7f51d0b7af
|
move examples to internal package
|
2023-02-27 17:05:45 +01:00 |
|
Marco Perone
|
432cf8ad6c
|
Decider can be rebuilt out of its own outputs
|
2023-02-27 17:05:45 +01:00 |
|
Marco Perone
|
657141b8d5
|
implentation of Uno Decider
|
2023-02-27 17:05:45 +01:00 |
|
Marco Perone
|
ffd9614358
|
Decider should be pure, hence we remove effects
|
2023-02-27 17:05:45 +01:00 |
|
Marco Perone
|
281b54a935
|
define Decider and interpret it as a machine
|
2023-02-27 17:05:45 +01:00 |
|
Marco Perone
|
6cec6b9f57
|
document usage of Arrow for composing machines
|
2023-02-27 17:05:45 +01:00 |
|
Marco Perone
|
14faa0ce89
|
use explicit names for profunctor operations
|
2023-02-27 17:05:45 +01:00 |
|
Marco Perone
|
064d2cb31e
|
implement Arrow and ArrowChoice for StateMachine
|
2023-02-27 17:05:45 +01:00 |
|
Marco Perone
|
1e3b8cbde1
|
how to render a machine
|
2023-02-27 17:05:45 +01:00 |
|
Marco Perone
|
63eee6db1a
|
how to run a machine
|
2023-02-27 17:05:45 +01:00 |
|
Marco Perone
|
936f5e89c5
|
how to compose machines
|
2023-02-27 17:05:45 +01:00 |
|
Marco Perone
|
4d4f6b5751
|
documentation index
|
2023-02-27 17:05:45 +01:00 |
|
Marco Perone
|
1dc4ea8449
|
remove commented code
|
2023-02-27 17:05:45 +01:00 |
|
Marco Perone
|
d488b9baba
|
rename Compose to Sequential
|
2023-02-27 17:05:45 +01:00 |
|
Marco Perone
|
380ed98093
|
rename CRM to Crem
|
2023-02-27 17:05:45 +01:00 |
|
Marco Perone
|
b5cb36c0a9
|
use Mermaid diagrams for documentation
|
2023-02-27 17:05:45 +01:00 |
|
Marco Perone
|
bc7a599bdd
|
document RenderableVertices
|
2023-02-27 17:05:45 +01:00 |
|
Marco Perone
|
41fd334f17
|
render all vertices of a machine
|
2023-02-27 17:05:45 +01:00 |
|
Marco Perone
|
bfb19e9923
|
render the flow of a machine
|
2023-02-27 17:05:45 +01:00 |
|
Marco Perone
|
c8ebe67973
|
also executables should avoid generating Paths_crm
|
2023-02-27 17:05:45 +01:00 |
|
Marco Perone
|
748c60b950
|
executable to plain Hobbit game
|
2023-02-27 17:05:45 +01:00 |
|
Marco Perone
|
99a85c1727
|
move examples into the main package
|
2023-02-27 17:05:45 +01:00 |
|
Marco Perone
|
bb1430eba9
|
explain Basic constructor constraints
|
2023-02-27 17:05:45 +01:00 |
|
Marco Perone
|
0f1fe42893
|
improvements from Alex code review
|
2023-02-27 17:05:45 +01:00 |
|