VictorCMiraldo/generics-mrsop

Issues

• Rename Holes constructors; make it standard

  #60 opened 5 years ago by VictorCMiraldo
  1

• Bring back `ShowHO` and `EqHO` as we had before

  #58 opened 5 years ago by VictorCMiraldo
  3

• Use `th-abstraction`

  #56 opened 5 years ago by serras
  0

• Support type synonyms in datatypes

  #22 opened 5 years ago by arianvp
  5

• GHC Too Slow

  #6 opened 7 years ago by VictorCMiraldo
  38

• Use Generic Generic Programming to avoid Template Haskell?

  #34 opened 6 years ago by arianvp
  2

• Depend on sop-core

  #41 opened 5 years ago by arianvp
  14

• Better Naming Framework for TH code

  #55 opened 5 years ago by VictorCMiraldo
  0

• Can only derive one datatype per module

  #47 opened 5 years ago by arianvp
  4

• Make Attribute Grammar combinators monadic

  #49 opened 5 years ago by VictorCMiraldo
  1

• Bring Treefixes into mrsop.

  #50 opened 5 years ago by VictorCMiraldo
  1

• Use efficient indexed Sum from Oleg's Freer Monads paper

  #39 opened 6 years ago by arianvp
  3

• Hide examples from documentation

  #48 opened 5 years ago by VictorCMiraldo
  0

• GHC 8.4.3 crashes with hs-elisp parser.

  #51 opened 5 years ago by VictorCMiraldo
  2

• GHC 8.4.3 triggers GHC Bug during Haddock generations :(

  #33 opened 5 years ago by arianvp
  3

• Support GHC-head

  #24 opened 6 years ago by VictorCMiraldo
  2

• Slightly tweak Rep and Fix for pedagogical reasons

  #44 opened 6 years ago by arianvp
  5

• Change Eq1 and Show1 names

  #42 opened 6 years ago by VictorCMiraldo
  1

• Implement Attribute Grammars

  #28 opened 6 years ago by arianvp
  8

• Drop Monad constraint on mapNPM and friends

  #43 opened 6 years ago by arianvp
  1

• TH Generates dupicate pattern synonyms if type is in AST multiple times

  #32 opened 6 years ago by arianvp
  1

• Fix is AnnFix

  #35 opened 6 years ago by VictorCMiraldo
  1

• Create pattern synonyms for `Tag` automatically

  #27 opened 6 years ago by arianvp
  0

• HasDatatypeInfo not powerful enough to recursively analyse datatypes

  #19 opened 6 years ago by arianvp
  1

• elimRep should carry an IsNat constraint

  #20 opened 6 years ago by arianvp
  0

• Logistic Changes

  #11 opened 6 years ago by VictorCMiraldo
  0

• Text is decomposed in parts, instead of treated as Konstant by deriveFamily

  #16 opened 6 years ago by arianvp
  3

• Tuple in a datatype not supported.

  #12 opened 6 years ago by arianvp
  0

• Add Show instances for `Rep`

  #8 opened 6 years ago by arianvp
  3

• [relevant to `victor-dev` branch only] Consistent Naming Effort

  #4 opened 6 years ago by VictorCMiraldo
  0

• Writing the paper

  #2 opened 6 years ago by VictorCMiraldo
  3

• Simple vs. Mutual Recursion

  #5 opened 6 years ago by serras
  5

• Flip Constr arguments so we can implement TestEquality

  #7 opened 6 years ago by arianvp
  2

• Use `cleveref`

  #3 opened 7 years ago by serras
  1

• Shallow Conversion discussion

  #1 opened 7 years ago by VictorCMiraldo
  12