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

Make the instance rowListAppendNil simple (remove type constraint) #54

Closed matoruru closed 4 years ago

matoruru commented 4 years ago

Hi maintainers,

I think it is more simple. (All I am worrying is if this is coding rule)

hdgarrood commented 4 years ago

I’m not certain, but I don’t think these are the same. See https://blog.infinitenegativeutility.com/2017/1/haskell-type-equality-constraints for how it works in GHC (the part I am not certain about is whether the same applies in PureScript).

matoruru commented 4 years ago

I see, thank you for the review. Then is it better to keep it as it is? If so, I can close this PR.

matoruru commented 4 years ago

And thank you for giving me the article.