purescript / purescript-typelevel-prelude

Types and kinds for basic type-level programming

purescript/purescript-typelevel-prelude Issues

RowListIntersection?
Updated 2 years ago2
Feature Request: RowCompose
Closed 2 years ago1
Bundle up some examples?
Updated 2 years ago
Document Undecidable Instance
Updated 2 years ago1
Feature Request: Symbol Reverse
Updated 2 years ago3
Add Equals to Type.Data.Boolean?
Updated 2 years ago4
Add `#` operator to the `Type.Function`
Closed 3 years ago2
Exports of Ordering and Boolean Kinds Missing
Closed 4 years ago2
Add `TypeTypeApply` and `TypeRowApply` aliases?
Closed 5 years ago4
need major version increment after recent change removing export of Type.Row
Closed 5 years ago4
Type.Row exports both a type and a class called Cons
Closed 5 years ago8
Add "row mixin" operator
Closed 6 years ago
Can you tell me why this simple function doesn't type check?
Closed 6 years ago
Multiple `RowLacks`?
Closed 7 years ago3
Add RowListProxy?
Closed 7 years ago3
RowLabels type class and LabelList
Closed 7 years ago2
Version compatibility
Closed 7 years ago2