marcosh/crem
1
1
Fork 0
mirror of https://github.com/marcosh/crem.git synced 2024-08-16 07:50:33 +03:00
Code Issues Packages Projects Releases Wiki Activity
150 Commits 3 Branches 1 Tag 719 KiB
main
Commit Graph

31 Commits

Author SHA1 Message Date
Marco Perone
7d442cc610 added README to extra-source-files 2023-03-20 11:47:39 +01:00
Marco Perone
962504d35e add State Machines category 2023-03-17 11:46:35 +01:00
Marco Perone
5f5331ea0b add changelog 2023-03-17 11:39:04 +01:00
Marco Perone
2b3902701d add errors flag 
also add some more fields in package.yaml
 2023-03-17 11:39:04 +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
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
600a75bcac adopt MIT license 2023-03-01 12:57:28 +01:00
Marco Perone
8181b54720 generate hobbit map 2023-02-28 18:38:33 +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
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
7f51d0b7af move examples to internal package 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
41fd334f17 render all vertices 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
8e3f21b7a4 add Kleisli constructor 2023-02-27 17:05:45 +01:00
Marco Perone
ca4d6826ad StateMachine is a costrong profunctor 
implement that by showing that `StateMachine a b` is isomorhpic to `NonEmpty a -> b`
Also:
- remove singleVertexTopology and use trivialTopology instead
- simplify Demote condition
- generalize trivialTopology for any possible state
 2023-02-27 17:05:45 +01:00
Marco Perone
b9a99914cc run doctests as part of cabal test 2023-01-13 16:19:04 +01:00
Alexei Drake
29014aa0eb prevent the auto-generated module Paths_pkgname from being built 2023-01-12 15:37:44 +01:00
Alex
456dc8161d
introduce GHC version checks for unsupported features (#9) 2023-01-12 15:29:50 +01:00
Marco Perone
5e82980d2e refactor a bit of nix so that we can use wingman on ghc 9.0 2023-01-11 12:07:57 +01:00
Marco Perone
ca55a14e6a A StateMachine is a profunctor 2023-01-10 17:42:41 +01:00
Marco Perone
739f466589 Render a base state machine 
Add tests
Remove Mk from constructors
 2023-01-09 17:53:36 +01:00
Marco Perone
24c4870359 define basic examples 2023-01-05 18:01:15 +01:00
Marco Perone
f1ccb6ebae provide links for GHC extensions documentation 2023-01-05 11:09:29 +01:00
Marco Perone
6c7e7922a0 define Topology for a state machine 2023-01-05 11:09:07 +01:00
Marco Perone
a15084d558 initial setup 2023-01-04 17:33:08 +01:00