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 CompareSymbol and AppendSymbol #2

Closed LiamGoodacre closed 7 years ago

LiamGoodacre commented 7 years ago

Adding here as we depend on Type.Data.Ordering for CompareSymbol. We could also merge purescript-symbols into here in the same PR?

paf31 commented 7 years ago

I think this is good as-is for now, thanks. I don't think we should merge symbols just yet since generics-rep depends on it, for example.