purescript-typelevel-prelude

purescript-typelevel-prelude copied to clipboard

Fix comment typos

1

i-am-the-slime

Add Mirror and Snoc type classes to Symbol

10

This PR adds Type-Classes for Mirroring Symbols ("Test" ~> "tseT") and Snoc ("Tes" "t" ~> "Test"). These Type-Classes can be useful when parsing Symbols to Numbers. If this is to...

csicar

RowListIntersection?

2

Small utility I wrote for some demos that I think could maybe be useful for others, like when you want to figure out what fields are unique from another row...

justinwoo

I think it'd be good to have some examples of usages of this library, like the posts Liam has made, links from the [Reddit thread](https://www.reddit.com/r/purescript/comments/6mss5o/new_in_purescript_0116_rowtolist/), or maybe a few of...

justinwoo

Document Undecidable Instance

1

I ran into an issue using multiple `delete`s to compose a `Builder` because of the underlying `Type.Row` constraints: http://try.purescript.org/?gist=c566077f18d0d9ddbd99d3c79d1cfd4a @paf31 came up with these explicit annotations to fix it: http://try.purescript.org/?gist=faf2fd6edfa06949831b0be85d91af43...

maddie927

Feature Request: Symbol Reverse

3

``` class Reverse (s :: Symbol) (r :: Symbol) | s -> r, r -> s instance reverseNil :: Reverse "" "" else instance reverseCons :: (Symbol.Cons h t s,...

eric-corumdigital

Add Equals to Type.Data.Boolean?

4

We have `Type.Data.Ordering.Equals` and `Type.Data.Symbol.Equals` but no `Type.Data.Boolean.Equals`. Is there any reason for not wanting or needing this class? I assume it would be implemented like this: ```purs class Equals...

kl0tl

TypeEqualsBool class can assert type inequality.

3

Depends on Instance Chains. This moves the type equality test here from `purescript-type-equality`, which would be deprecated if this proposal were to be accepted. I don't really see a way...

matthewleon

WIP: added Compare classes to Ordering

3

This PR adds a Typelevel Compare Type-Class, which can be used for comparing custom types (like Typelevel Numbers). The PR also adds helper classes like `Lte a b isLte`

csicar