search

purescript / purescript-typelevel-prelude

Types and kinds for basic type-level programming
BSD 3-Clause "New" or "Revised" License
63 stars 21 forks source link

Add new module Type.RowList #48

Closed hdgarrood closed 5 years ago

hdgarrood commented 5 years ago

Refs #43, fixes #46.

RowList-related types and classes have been removed from Type.Row and moved into Type.RowList, in order to prepare for an upcoming compiler change whereby a module will no longer be allowed to re-export both a type and a class of the same name; see purescript/purescript#3502

hdgarrood commented 5 years ago

Thanks! Yeah it was @LiamGoodacre's idea, and I think this was definitely the right move given that we had to break it anyway.