Marco Perone
|
56491dafa0
|
add some external resources to the README
|
2023-03-16 13:52:12 +01:00 |
|
Marco Perone
|
2e90a50206
|
improve haddock documentation for StateMachine constructors
|
2023-03-16 13:52:12 +01:00 |
|
Marco Perone
|
68baaf0831
|
derive newtype RenderableVertices instances
|
2023-03-16 10:43:49 +01:00 |
|
Marco Perone
|
7841ffec7f
|
update RenderableVertices documentation
|
2023-03-16 10:43:49 +01:00 |
|
Marco Perone
|
900f48423b
|
derive RenderableVertices instances via AllVertices in the examples
|
2023-03-16 10:43:49 +01:00 |
|
Marco Perone
|
0f943e4a22
|
setup RenderableVertices to use deriving via
|
2023-03-16 10:43:49 +01:00 |
|
Marco Perone
|
c70a4cd38e
|
remove unused extension
|
2023-03-15 09:21:19 +01:00 |
|
Marco Perone
|
3b9c1f1fae
|
document used fourmolu version
|
2023-03-15 09:21:19 +01:00 |
|
Marco Perone
|
636943727e
|
apply changes for fourmolu 0.10.1.0
|
2023-03-15 09:21:19 +01:00 |
|
Marco Perone
|
82ed279ea9
|
override fourmolu version in the nix environment
|
2023-03-15 09:21:19 +01:00 |
|
Marco Perone
|
e3b5fe3291
|
add fourmolu check on CI
|
2023-03-15 09:21:19 +01:00 |
|
Marco Perone
|
3ee908de38
|
resize doc image
|
2023-03-14 16:49:48 +01:00 |
|
Marco Perone
|
91fa27645a
|
enable tests for Cabal resolution
|
2023-03-14 16:30:34 +01:00 |
|
Marco Perone
|
6e04590a18
|
no-prepositive-qualified-module everywhere
|
2023-03-14 16:30:34 +01:00 |
|
Marco Perone
|
9f27aabf99
|
test on ghc 9.6.1 and cabal 3.10.0.1
|
2023-03-14 16:30:34 +01:00 |
|
Marco Perone
|
9c9010113c
|
add cabal version constraints
|
2023-03-10 16:16:47 +01:00 |
|
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 |
|