VinylRecords/Vinyl

Issues

• how does Vinyl fare on B2T2?

  #172 opened 5 months ago by shriram
  1

• restrictCoRec is unsound

  #171 opened a year ago by samuel-gelineau-at-well-dot
  1

• GHC mainline testing with Horizon

  #169 opened 2 years ago by locallycompact
  0

• Lazy Take?

  #167 opened 2 years ago by treeowl
  0

• Data instance?

  #161 opened 3 years ago by locallycompact
  1

• Hashable instance?

  #158 opened 3 years ago by adamConnerSax
  2

• ToARec class not exported

  #157 opened 3 years ago by msakai
  5

• Newest master doesn't compile with GHC 9.2.1

  #156 opened 3 years ago by Mikolaj
  3

• RElem and RSubset interaction

  #133 opened 5 years ago by torgeirsh
  6

• Surprising accessor performance for ARec

  #150 opened 4 years ago by Philonous
  5

• toARec doesn't inline properly

  #153 opened 4 years ago by Philonous
  6

• ARec: Type of aput, alens unsound

  #151 opened 4 years ago by Philonous
  3

• A way to get a Generic instance equivalent to that of plain haskell record?

  #148 opened 4 years ago by YPares
  3

• Switch from Travis to other CI

  #145 opened 4 years ago by treeowl
  1

• Sort out ARec strictness

  #146 opened 4 years ago by treeowl
  1

• IsoHKD for composite's field type.

  #142 opened 4 years ago by locallycompact
  1

• missing non-unicode equivalent for ∈

  #143 opened 4 years ago by MMesch
  1

• Stackage LTS-15 release

  #138 opened 5 years ago by baskaransri
  6

• How to build?

  #140 opened 5 years ago by malte-v
  4

• GHC-8.2.2 fails to compile vinyl-0.12.1

  #135 opened 5 years ago by msakai
  6

• First Class Type Families

  #134 opened 5 years ago by BebeSparkelSparkel
  3

• Build failure with ghc 8.4

  #114 opened 7 years ago by DanBurton
  2

• implement FromJSON typeclass

  #129 opened 5 years ago by clojurians-org
  1

• ARec can't be grown/shrunk

  #128 opened 6 years ago by typedrat
  6

• Build CoRec ElField value

  #127 opened 6 years ago by vdorr
  2

• Vinyl to plain record conversion

  #124 opened 6 years ago by gagandeepb
  7

• Match on `CoRec ElField`

  #125 opened 6 years ago by jwoudenberg
  1

• instance Generic (Rec f rs) ?

  #123 opened 6 years ago by ocramz
  0

• ElField missing instances

  #121 opened 6 years ago by bmabsout
  3

• Restricting and weakening CoRec

  #120 opened 6 years ago by ElvishJerricco
  5

• Is it possible to eliminate Compose and Identity like in Idris?

  #118 opened 7 years ago by michaelmesser
  19

• Easy way to go from (f (Rec Identity xs)) to (Rec f xs)?

  #117 opened 7 years ago by michaelmesser
  1

• Offer a flipped version

  #116 opened 7 years ago by treeowl
  3

• Allow test suite to be built against hspec-2.5

  #115 opened 7 years ago by DanBurton
  1

• Mapping over a record under a constraint

  #113 opened 7 years ago by Lysxia
  6

• Compilation time and GHC's fsimpl-tick-factor

  #112 opened 7 years ago by YPares
  6

• More convenient construction

  #111 opened 7 years ago by heptahedron
  4

• Misleading benchmark results

  #110 opened 7 years ago by larskuhtz
  2

• Non-constant access time to record fields?

  #108 opened 7 years ago by schernichkin
  2

• Helper for records using type-level strings

  #101 opened 7 years ago by guaraqe
  13

• Is it possible to construct record from function?

  #102 opened 7 years ago by michaelmesser
  11

• Make a Rec a functor, applicative, and monad?

  #103 opened 7 years ago by michaelmesser
  3

• Since Corec f [] is uninhabitable why do match and match' exist?

  #105 opened 7 years ago by juliapath
  4

• What is the significance of η in rmap?

  #100 opened 8 years ago by codygman
  2

• Does rapply and rmap work with ElField?

  #96 opened 8 years ago by michaelmesser
  5

• RIndex thoughts

  #88 opened 9 years ago by echatav
  29

• Updated readme with talks/examples about Vinyl

  #99 opened 8 years ago by codygman
  2

• How about rfold

  #97 opened 8 years ago by andrewthad
  2

• What does El mean?

  #92 opened 8 years ago by louispan
  4

• Tutorial module produces redundant import warnings

  #91 opened 8 years ago by treeowl
  1