ekmett/machines

Issues

• Stricter `foldlT`?

  #114 opened 2 years ago by pkamenarsky
  0

• Extract Moore and Mealy into a dedicated package

  #110 opened 4 years ago by nikita-volkov
  1

• effectful `takingJusts`

  #113 opened 3 years ago by marcosh
  2

• noncanonical monoid instance for mooreT

  #109 opened 4 years ago by cartazio
  2

• On merging Plan with Machine

  #68 opened 9 years ago by ekmett
  11

• Applicative and Monad instances for Mealy are inconsistent

  #103 opened 6 years ago by greenrd
  1

• Documentation refers to 'i'

  #38 opened 9 years ago by ekmett
  0

• A couple Mealy enhancements

  #22 opened 6 years ago by alex404
  0

• runHead function in examples looks shady

  #48 opened 9 years ago by treeowl
  6

• runT is silly; accumulating and simpler version desired

  #50 opened 9 years ago by treeowl
  4

• Monadic Mealy and Moore machines

  #51 opened 9 years ago by treeowl
  9

• Categorical documentation

  #58 opened 9 years ago by treeowl
  0

• Random tiny things

  #60 opened 9 years ago by treeowl
  1

• Use representable Moore and Mealy

  #73 opened 9 years ago by ekmett
  5

• Refl from base

  #88 opened 6 years ago by int-index
  5

• local in PlanT's MonadReader instance only works up to first yield/awaits

  #94 opened 7 years ago by ivan-timokhin
  0

• pass and listen in PlanT's MonadWriter instance are probably invalid

  #95 opened 7 years ago by ivan-timokhin
  2

• Cochoice instance for Mealy

  #98 opened 6 years ago by shachaf
  4

• More complex examples

  #101 opened 6 years ago by jchia
  1

• Runar's talk link is broken

  #92 opened 6 years ago by kozross
  0

• Resource Management Hooks?

  #2 opened 12 years ago by ekmett
  11

• Input Language Transformers?

  #39 opened 9 years ago by ekmett
  1

• machines-0.6 requires distributive < 0.5

  #75 opened 8 years ago by DanBurton
  4

• Consider hand-simplifying `<*>`

  #67 opened 9 years ago by treeowl
  0

• Machines get stuck and don't stop

  #40 opened 9 years ago by greenrd
  9

• Make it easy to write stateful machines

  #59 opened 9 years ago by treeowl
  10

• Test suite build failure with GHC 7.10

  #44 opened 9 years ago by snoyberg
  10

• Composing tees

  #54 opened 9 years ago by treeowl
  1

• Add some additional instances for PlanT

  #52 opened 9 years ago by iand675
  3

• Some types are too general

  #57 opened 9 years ago by treeowl
  10

• starve could be more general

  #53 opened 9 years ago by treeowl
  5

• Test suite build failure with GHC 7.10

  #42 opened 9 years ago by snoyberg
  1

• <|> is not associative

  #41 opened 9 years ago by greenrd
  2

• Benchmark dependencies are oddly specific

  #36 opened 9 years ago by ekmett
  0

• Left-Overs

  #5 opened 9 years ago by ekmett
  6

• Lacking Documentation

  #1 opened 12 years ago by ekmett
  17

• duplicate

  #37 opened 9 years ago by ekmett
  0

• Wow, this is really similar to my BSc thesis

  #17 opened 9 years ago by mitar
  0

• groupBy machine

  #28 opened 9 years ago by statusfailed
  2

• hackage update?

  #29 opened 9 years ago by Javran
  7

• It'd be nice to be able to make pretty mealy machines.

  #13 opened 11 years ago by ekmett
  1

• No Final Result Type

  #6 opened 11 years ago by ekmett
  1

• Is Plan Redundant?

  #14 opened 11 years ago by ekmett
  4

• Monad instance for Mealy machine causes infinite loop

  #8 opened 11 years ago by lambda-fairy
  2

• Is it possible to implement an FSM with Machines?

  #12 opened 11 years ago by rodlogic
  1

• Plan isn't a MonadWriter

  #3 opened 11 years ago by ekmett
  2

• Documentation for Plan references type variable that doesn't exist

  #11 opened 11 years ago by statusfailed
  1

• Annoying extra input parameter is annoying

  #7 opened 12 years ago by ekmett
  0

• Flexible Instance: instance Functor (k i) required for awaits

  #4 opened 12 years ago by ekmett
  1