eric-corumdigital

Proposal: Compiler-Solved TypeName Constraint

4

``` class TypeName (a ∷ Type) (name ∷ Symbol) | a → name, name → a ``` For all types there is an instance of TypeName which bijectively maps types...

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,...

FIX: build for 0.12

1

CHG: As part of 0.12 changes, creating an EventListener is an effect and Purview handles this now. CHG: render/applyPatch refactored such that applyPatch is now internal; users can apply patches...

catchException catches all exceptions rather than just Error exceptions

6

It seems clear that this package is intended to catch `Error` exceptions. However, `catchException` does this: ``` try { return t(); } catch (e) { if (e instanceof Error ||...