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 type-level list of Symbols and implement insertion sort #22

Closed kcsongor closed 7 years ago

kcsongor commented 7 years ago

A type-level list of symbols with an insertion sort implementation (in ascending order). If this makes sense for the typelevel prelude, then I could add reversing and appending of these lists too. (I'm not sure if I correctly followed the coding style)

kcsongor commented 7 years ago

Currently, the Insert and InsertI classes aren't exported - should they be, for the constraint solver to pick up the instances?

paf31 commented 7 years ago

I do think this is interesting and potentially quite useful, but I'm not sure if it's a match for this library. I don't think we'd put the value level equivalent in prelude for example. I assume it go in a separate library easily enough?

kcsongor commented 7 years ago

Yeah, that's perfectly reasonable - I'll close this PR then, thanks!